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 
Invited Talks
- William J. Campbell:
Distributed Earth Science Validation Centers for Mission to Planet Earth.
1-12
- B. Chandrasekaran:
Causal Understanding in Reasoning About the World.
13-26
- Edward A. Fox:
How to Make Intelligent Digital Libraries.
27-38
- Robert Meersman:
Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract).
39-45
Approximate Reasoning
- Hasan M. Jamil, Fereidoon Sadri:
Recognizing Credible Experts in Inaccurate Databases.
46-55
- Sukhamay Kundu, Jianhua Chen:
Fuzzy Logic or Lukasiewicz Logic: A Clarification.
56-64
- Tsau Young Lin, Qing Liu, Y. Y. Yao:
Logics Systems for Approximate Reasoning: Approximation via Rough Sets and Topological Spaces.
65-74
- James J. Lu, Neil V. Murray, Erik Rosenthal:
Signed Formulas and Fuzzy Operator Logics.
75-84
- Lech Polkowski, Andrzej Skowron:
Rough Mereology.
85-94
- ShengLi Shi, M. Elizabeth C. Hull, David A. Bell:
A New Rule for Updating Evidence.
95-104
- Zhiwei Wang, S. K. Michael Wong:
A Global Measure of Ambiguity for Classification.
105-113
- Shlomo Zilberstein:
Meta-Level Control of Approximate Reasoning: A Decision Theoretic Approach.
114-123
Evolutionary Computation
Intelligent Information Systems
- Troels Andreasen, Olivier Pivert:
On the Weakening of Fuzzy Relational Queries.
144-153
- 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
- David Wai-Lok Cheung, Ada Wai-Chee Fu, Jiawei Han:
A Case-Based Reasoning Approach for Associative Query Answering.
164-173
- Stephen E. Cross, Donald F. Roberts, Alice M. Mulvehill, J. Allen Sears:
Case-Based Reasoning Applied to A Force Generation Decision Aid.
174-182
- Gilles Fouqué, Wesley W. Chu, Henrick Yau:
A Case-Based Reasoning Approach for Associative Query Answering.
183-192
- Sergio Greco, Carlo Zaniolo:
Efficient Execution of Recursive Queries Through Controlled Binding Propagation.
193-202
- Emmanuelle Le Strugeon, René Mandiau, Gaetan Libert:
Towards a Dynamic Multi-Agent Organization.
203-212
- Jonathan M. Lever, Barry Richards:
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints.
213-222
- Mohamed Quafafou:
GAITS II: An Intelligent System for Computer-Aided Education.
223-232
- Ning Zhong, Setsuo Ohsuga:
The GLS Discovery System: Its Goal, Architecture and Current Results.
233-244
Knowledge Representation
Methodologies
Learning and Adaptive Systems
- Hilde Adé, Bart Malfait, Luc De Raedt:
RUTH: an ILP Theory Revision System.
336-345
- Jan G. Bazan, Andrzej Skowron, Piotr Synak:
Dynamic Reducts as a Tool for Extracting Laws from Decisions Tables.
346-355
- Marco Botta:
Learning First Order Theories.
356-365
- Christoph F. Eick, Ema Toto:
Evaluation and Enhancement of Bayesian Rule-Sets in a Genetic Algorithm Learning Environment for Classification Tasks.
366-375
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Traps and Pitfalls when Learning Logical Definitions from Relations.
376-385
- Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko:
DBROUGH: A Rough Set Based Knowledge Discovery System.
386-395
- Alex Lopez-Suarez, Mohamed S. Kamel:
Restructuring Rule Bases to Improve Performance.
396-405
- T. L. McCluskey, J. M. Porteous:
Learning Heuristics for Ordering Plan Goals through Static Operator Analysis.
406-415
- Ryszard S. Michalski, Ibrahim F. Imam:
Learning Problem-Oriented Decision Structures from Decision Rule: The AQDT-2 System.
416-426
- 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
- Molly Troxel, Kim Swarm, Jan M. Zytkow:
Concept Hierarchies: A Restricted Form of Knowledge Derived From Regularities.
437-447
- Jianping Zhang, Hsueh-Hsiang Lu:
A Data-Driven Approach to Feature Construction.
448-457
Logic for Artificial Intelligence
- Nicholas Asher:
Reasoning About Action and Time with Epistemic Conditionals.
458-467
- Sasa Buvac, Vanja Buvac, Ian A. Mason:
The Semantics of Propositional Contexts.
468-477
- Jianhua Chen:
The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications.
478-487
- Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones:
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition.
488-499
- Yannis Dimopoulos:
Classical Methods in Nonmonotonic Reasoning.
500-510
- Jürgen Dix, Martin Müller:
Partial Evaluation and Relevance for Approximations of Stable Semantics.
511-520
- Patrick Doherty, Witold Lukaszewicz:
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.
521-530
- Suryanil Ghosh:
Paraconsistency and Beyond: A New Approach to Inconsistency Handling.
531-540
- Jean Goubault, Joachim Posegga:
BDDs and Automated Deduction.
541-550
- Yen-Teh Hsia:
A Possibility-Based Propositional Logic of Conditionals.
551-560
- Yan-Nong Huang, Verónica Dahl, Jiawei Han:
Incremental Processing of Logic Database Relations.
561-570
- Y. J. Jiang, Yongyuth Aramkulchai:
On the Relationship between Assumption-based Framework and Autoepistemic Logic.
571-583
- Torsten Schaub:
Computing Queries from Prioritized Default Theories.
584-593
- Kwang Mong Sim:
Beliefs and Bilattices.
594-603
- Zbigniew Stachniak:
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.
604-613
Copyright © Mon Mar 15 03:43:54 2010
by Michael Ley (ley@uni-trier.de)
