3. SCAI 1991:
Roskilde,
Denmark
Brian H. Mayoh (Ed.):
Third Scandinavian Conference on Artificial Intelligence 1991,
Roskilde,
Denmark,
May 21-24,
1991,
Proceedings. Frontiers in Artificial Intelligence and Applications,
Volume 12,
IOS Press 1991,
ISBN 90-5199-056-1
- Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf:
Reasoning about Knowledge: The Meta-Level Approach.
4-18
- Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories.
19-39
- Yoav Shoham:
Theories of Agenthood.
40-46
- Geraldine Legendre, Yoshiro Miyata, Paul Smolensky:
Distributed Recursive Structure Processing.
47-53
- V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer:
Models in Model Based Diagnosis: Classification and Construction.
54-61
- 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
- Abhay B. Bulsari, Henrik Saxén:
A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System.
71-76
- Ulla Dindorp:
Literature Analysis for Knowledge Acquisition.
77-83
- Enrico Giunchiglia:
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic.
84-89
- Henning Herrestad:
AI and Law: Will the Marriage Last?
90-98
- Juha Hynynen:
DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling.
99-106
- Peter Jackson:
Computing Minimal Refutations.
107-118
- Jaidev Parameswaran, N. Parameswaran:
Coding Plan Logic in a Dependency Net: The PLANET System.
119-130
- Jørgen Karpf:
Categorical Modelling in Law.
131-137
- Nada Lavrac, Saso Dzeroski, Vladimir Pirnat, Viljem Krizman:
Learning Rules for Early Diagnosis of Rheumatic Diseases.
138-149
- Cyrus F. Nourani:
Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning.
150-157
- G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala:
Verification of OPS5-Based AI Applications.
158-169
- Kim Trans:
An Expert System Shell for Planning with Automatic Feedback Learning.
170-176
- Finn Verner Jensen:
Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications.
176-186
- Lars Asker:
Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL.
187-192
- 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
- Michael Egmont-Petersen:
Mental Models as Cognitive Entities.
205-210
- Peter W. Eklund:
Negotiating Inheritance Taxonomies in Conceptual Structures.
211-221
- Bogdan Filipic:
Reducing Search Complexity by Start Node Selection.
222-228
- Fausto Giunchiglia, Luciano Serafini:
Mulitlanguage First Order Theories of Propositional Attitudes.
228-240
- Eero Hyvönen:
Global Consistency in Interval Constraint Satisfaction.
241-251
- 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
- Jacek Malec:
How to Pass an Intersetcion, or Automata Theory Is Still Useful.
258-265
- Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka:
Class Directed Generalization.
266-276
- Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
A Practical Introduction to Well Founded Semantics.
277-288
- Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Hypothetical Reasoning with Well Founded Semantics.
289-300
- Mehdi Sagheb-Tehrani:
Knowledge Elicitation: Some Implications for Research and Practice.
301-306
- Fabrizio Sebastiani, Umberto Straccia:
A Computationally Tractable Terminological Logic.
307-315
- Dimitrios Thanassas:
Nonmonotonicity as the Resolution of Contradictions.
316-321
- Wiebe van der Hoek:
Qualitative Modalities.
322-327
- Jørgen Villadsen:
Combinatory Categorial Grammar for Intensional Fragment of Natural Language.
328-339
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Last update Fri May 25 08:35:50 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
