8. ISMIS 1994: Charlotte, North Carolina, USA

@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

• William J. Campbell: Distributed Earth Science Validation Centers for Mission to Planet Earth. 1-12 BibTeX
• B. Chandrasekaran: Causal Understanding in Reasoning About the World. 13-26 BibTeX
• Edward A. Fox: How to Make Intelligent Digital Libraries. 27-38 BibTeX
• Robert Meersman: Some Methodology and Representation Problems for the Semantics of Prosaic Application Domains (Extended Abstract). 39-45 BibTeX

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

• Attilio Giordana, Filippo Neri, Lorenza Saitta: Formal Models of Selection in Genetic Algorithms. 124-133 BibTeX
• Zbigniew Michalewicz, Jaroslaw Arabas: Genetic Algorithms for the 0/1 Knapsack Problem. 134-143 BibTeX

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

• Anastasia Analyti, Sakti Pramanik: Declarative Semantics for Contradictory Modular Logic Programs. 245-254 BibTeX
• Vittorio Brusoni, Luca Console, Barbara Pernici, Paolo Terenziani: LaTeR: A General Purpose Manager of Temporal Information. 255-264 BibTeX
• Honghua Gan: Understanding a Story With Causal Relationships. 265-274 BibTeX
• Paolo Terenziani: Dealing with Qualitative and Quantitative Temporal Information Concerning Periodic Events. 275-284 BibTeX
• Yang Xiang: Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. 285-294 BibTeX

Methodologies

• Jacques Calmet, Indra A. Tjandra: Building Bridges Between Knowledge Representation and Algebraic Specification. 295-304 BibTeX
• Joachim Hertzberg, Sylvie Thiébaux: Turning an Action Formalism Into a Planner - Essentials of a Case Study. 305-314 BibTeX
• Henryk Jan Komorowski, Silvia Trcek: Towards Refinement of Definite Logic Programs. 315-325 BibTeX
• Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Scientific Subroutine Libraries. 326-335 BibTeX

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