3. SCAI 1991: Roskilde, Denmark

• Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf: Reasoning about Knowledge: The Meta-Level Approach. 4-18 BibTeX
• Dov M. Gabbay: Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. 19-39 BibTeX
• Yoav Shoham: Theories of Agenthood. 40-46 BibTeX
• Geraldine Legendre, Yoshiro Miyata, Paul Smolensky: Distributed Recursive Structure Processing. 47-53 BibTeX
• V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer: Models in Model Based Diagnosis: Classification and Construction. 54-61 BibTeX
• Abhay B. Bulsari, Bjørn Saxén, Henrik Saxén: Application of the Symmetric Logarithmoid as a Activation Function for Neurons in a Feed-Forward Neural Network. 62-70 BibTeX
• Abhay B. Bulsari, Henrik Saxén: A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System. 71-76 BibTeX
• Ulla Dindorp: Literature Analysis for Knowledge Acquisition. 77-83 BibTeX
• Enrico Giunchiglia: A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. 84-89 BibTeX
• Henning Herrestad: AI and Law: Will the Marriage Last? 90-98 BibTeX
• Juha Hynynen: DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling. 99-106 BibTeX
• Peter Jackson: Computing Minimal Refutations. 107-118 BibTeX
• Jaidev Parameswaran, N. Parameswaran: Coding Plan Logic in a Dependency Net: The PLANET System. 119-130 BibTeX
• Jørgen Karpf: Categorical Modelling in Law. 131-137 BibTeX
• Nada Lavrac, Saso Dzeroski, Vladimir Pirnat, Viljem Krizman: Learning Rules for Early Diagnosis of Rheumatic Diseases. 138-149 BibTeX
• Cyrus F. Nourani: Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning. 150-157 BibTeX
• G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala: Verification of OPS5-Based AI Applications. 158-169 BibTeX
• Kim Trans: An Expert System Shell for Planning with Automatic Feedback Learning. 170-176 BibTeX
• Finn Verner Jensen: Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications. 176-186 BibTeX
• Lars Asker: Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL. 187-192 BibTeX
• Arvind K. Bansal, Dilip S. Poduval: Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems. 193-204 BibTeX
• Michael Egmont-Petersen: Mental Models as Cognitive Entities. 205-210 BibTeX
• Peter W. Eklund: Negotiating Inheritance Taxonomies in Conceptual Structures. 211-221 BibTeX
• Bogdan Filipic: Reducing Search Complexity by Start Node Selection. 222-228 BibTeX
• Fausto Giunchiglia, Luciano Serafini: Mulitlanguage First Order Theories of Propositional Attitudes. 228-240 BibTeX
• Eero Hyvönen: Global Consistency in Interval Constraint Satisfaction. 241-251 BibTeX
• Carl Gustaf Jansson, Henrik Boström, Peter Idestam-Almquist: Optimizing Horn Clause Logic Programs for Particular Modes of Use: An Analysis of Explanation-Based Learning and Partial Evaluation. 252-257 BibTeX
• Jacek Malec: How to Pass an Intersetcion, or Automata Theory Is Still Useful. 258-265 BibTeX
• Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka: Class Directed Generalization. 266-276 BibTeX
• Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício: A Practical Introduction to Well Founded Semantics. 277-288 BibTeX
• Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes: Hypothetical Reasoning with Well Founded Semantics. 289-300 BibTeX
• Mehdi Sagheb-Tehrani: Knowledge Elicitation: Some Implications for Research and Practice. 301-306 BibTeX
• Fabrizio Sebastiani, Umberto Straccia: A Computationally Tractable Terminological Logic. 307-315 BibTeX
• Dimitrios Thanassas: Nonmonotonicity as the Resolution of Contradictions. 316-321 BibTeX
• Wiebe van der Hoek: Qualitative Modalities. 322-327 BibTeX
• Jørgen Villadsen: Combinatory Categorial Grammar for Intensional Fragment of Natural Language. 328-339 BibTeX