8. ISMIS 1994:
Charlotte,
North Carolina,
USA
Zbigniew W. Ras, Maria Zemankova (Eds.):
Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings.
Lecture Notes in Computer Science 869 Springer 1994, ISBN 3-540-58495-1 BibTeX
@proceedings{DBLP:conf/ismis/1994,
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Methodologies for Intelligent Systems, 8th International Symposium,
ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994,
Proceedings},
booktitle = {ISMIS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {869},
year = {1994},
isbn = {3-540-58495-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Approximate Reasoning
- Hasan M. Jamil, Fereidoon Sadri:
Recognizing Credible Experts in Inaccurate Databases.
46-55 BibTeX
- Sukhamay Kundu, Jianhua Chen:
Fuzzy Logic or Lukasiewicz Logic: A Clarification.
56-64 BibTeX
- Tsau Young Lin, Qing Liu, Y. Y. Yao:
Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces.
65-74 BibTeX
- James J. Lu, Neil V. Murray, Erik Rosenthal:
Signed Formulas and Fuzzy Operator Logics.
75-84 BibTeX
- Lech Polkowski, Andrzej Skowron:
Rough Mereology.
85-94 BibTeX
- ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
A New Rule for Updating Evidence.
95-104 BibTeX
- Zhiwei Wang, S. K. Michael Wong:
A Global Measure of Ambiguity for Classification.
105-113 BibTeX
- Shlomo Zilberstein:
Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach.
114-123 BibTeX
Evolutionary Computation
Intelligent Information Systems
- Troels Andreasen, Olivier Pivert:
On the Weakening of Fuzzy Relational Queries.
144-153 BibTeX
- Yahui Chang, Louiqa Raschid, Bonnie J. Dorr:
Transforming Queries from a Relational Schema to an Equivalent Object Schema: A Prototype Based on F-logic.
154-163 BibTeX
- David Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han:
A Case-Based Reasoning Approach for Associative Query Answering.
164-173 BibTeX
- Stephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears:
Case-Based Reasoning Applied to A Force Generation Decision Aid.
174-182 BibTeX
- Gilles Fouqué, Wesley W. Chu, Henrick Yau:
A Case-Based Reasoning Approach for Associative Query Answering.
183-192 BibTeX
- Sergio Greco, Carlo Zaniolo:
Efficient Execution of Recursive Queries Through Controlled Binding Propagation.
193-202 BibTeX
- Emmanuelle Le Strugeon, René Mandiau, Gaetan Libert:
Towards a Dynamic Multi-Agent Organization.
203-212 BibTeX
- Jonathan M. Lever, Barry Richards:
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.
213-222 BibTeX
- Mohamed Quafafou:
GAITS II: An Intelligent System for Computer-Aided Education.
223-232 BibTeX
- Ning Zhong, Setsuo Ohsuga:
The GLS Discovery System: Its Goal, Architecture and Current Results.
233-244 BibTeX
Knowledge Representation
Methodologies
Learning and Adaptive Systems
- Hilde Adé, Bart Malfait, Luc De Raedt:
RUTH: an ILP Theory Revision System.
336-345 BibTeX
- Jan G. Bazan, Andrzej Skowron, Piotr Synak:
Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables.
346-355 BibTeX
- Marco Botta:
Learning First Order Theories.
356-365 BibTeX
- Christoph F. Eick, Ema Toto:
Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks.
366-375 BibTeX
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Traps and Pitfalls when Learning Logical Definitions from Relations.
376-385 BibTeX
- Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko:
DBROUGH: A Rough Set Based Knowledge Discovery System.
386-395 BibTeX
- Alex Lopez-Suarez, Mohamed S. Kamel:
Restructuring Rule Bases to Improve Performance.
396-405 BibTeX
- T. L. McCluskey, J. M. Porteous:
Learning Heuristics for Ordering Plan Goals through Static Operator Analysis.
406-415 BibTeX
- Ryszard S. Michalski, Ibrahim F. Imam:
Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System.
416-426 BibTeX
- Ephraim Nissan, Hava Sigelmann, Alex Galperin, Shuky Kimhi:
Towards Full Automation of the Discovery of Heuristics in a Nuclear Engineering Project: Integration With a Neural Information Language.
427-436 BibTeX
- Molly Troxel, Kim Swarm, Jan M. Zytkow:
Concept Hierarchies: A Restricted Form of Knowledge Derived From Regularities.
437-447 BibTeX
- Jianping Zhang, Hsueh-Hsiang Lu:
A Data-Driven Approach to Feature Construction.
448-457 BibTeX
Logic for Artificial Intelligence
- Nicholas Asher:
Reasoning About Action and Time with Epistemic Conditionals.
458-467 BibTeX
- Sasa Buvac, Vanja Buvac, Ian A. Mason:
The Semantics of Propositional Contexts.
468-477 BibTeX
- Jianhua Chen:
The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications.
478-487 BibTeX
- Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition.
488-499 BibTeX
- Yannis Dimopoulos:
Classical Methods in Nonmonotonic Reasoning.
500-510 BibTeX
- Jürgen Dix, Martin Müller:
Partial Evaluation and Relevance for Approximations of Stable Semantics.
511-520 BibTeX
- Patrick Doherty, Witold Lukaszewicz:
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.
521-530 BibTeX
- Suryanil Ghosh:
Paraconsistency and Beyond: A New Approach to Inconsistency Handling.
531-540 BibTeX
- Jean Goubault, Joachim Posegga:
BDDs and Automated Deduction.
541-550 BibTeX
- Yen-Teh Hsia:
A Possibility-Based Propositional Logic of Conditionals.
551-560 BibTeX
- Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Incremental Processing of Logic Database Relations.
561-570 BibTeX
- Y. J. Jiang, Yongyuth Aramkulchai:
On the Relationship between Assumption-based Framework and Autoepistemic Logic.
571-583 BibTeX
- Torsten Schaub:
Computing Queries from Prioritized Default Theories.
584-593 BibTeX
- Kwang Mong Sim:
Beliefs and Bilattices.
594-603 BibTeX
- Zbigniew Stachniak:
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.
604-613 BibTeX
Copyright © Sat May 16 23:25:50 2009
by Michael Ley (ley@uni-trier.de)