default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SCAI 1991: Roskilde, Denmark
- Brian H. Mayoh:
Third Scandinavian Conference on Artificial Intelligence, SCAI 1991, Roskilde, Denmark, May 21-24, 1991, Proceedings. Frontiers in Artificial Intelligence and Applications 12, IOS Press 1991, ISBN 90-5199-056-1 - Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf:
Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991: 4-18 - Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI 1991: 19-39 - Yoav Shoham:
Theories of Agenthood. SCAI 1991: 40-46 - Geraldine Legendre, Yoshiro Miyata, Paul Smolensky:
Distributed Recursive Structure Processing. SCAI 1991: 47-53 - V. Richard Benjamins, Ameen Abu-Hanna, Wouter N. H. Jansweijer:
Models in Model Based Diagnosis: Classification and Construction. SCAI 1991: 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. SCAI 1991: 62-70 - Abhay B. Bulsari, Henrik Saxén:
A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System. SCAI 1991: 71-76 - Ulla Dindorp:
Literature Analysis for Knowledge Acquisition. SCAI 1991: 77-83 - Enrico Giunchiglia:
A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. SCAI 1991: 84-89 - Henning Herrestad:
AI and Law: Will the Marriage Last? SCAI 1991: 90-98 - Juha Hynynen:
DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling. SCAI 1991: 99-106 - Peter Jackson:
Computing Minimal Refutations. SCAI 1991: 107-118 - Jaidev, N. Parameswaran:
Coding Plan Logic in a Dependency Net: The PLANET System. SCAI 1991: 119-130 - Jørgen Karpf:
Categorical Modelling in Law. SCAI 1991: 131-137 - Nada Lavrac, Saso Dzeroski, Vladimir Pirnat, Viljem Krizman:
Learning Rules for Early Diagnosis of Rheumatic Diseases. SCAI 1991: 138-149 - Cyrus F. Nourani:
Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning. SCAI 1991: 150-157 - G. Ravi Prakash, Eswaran Subrahmanian, Hosaker N. Mahabala:
Verification of OPS5-Based AI Applications. SCAI 1991: 158-169 - Kim Trans:
An Expert System Shell for Planning with Automatic Feedback Learning. SCAI 1991: 170-176 - Finn Verner Jensen:
Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications. SCAI 1991: 176-186 - Lars Asker:
Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL. SCAI 1991: 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. SCAI 1991: 193-204 - Michael Egmont-Petersen:
Mental Models as Cognitive Entities. SCAI 1991: 205-210 - Peter W. Eklund:
Negotiating Inheritance Taxonomies in Conceptual Structures. SCAI 1991: 211-221 - Bogdan Filipic:
Reducing Search Complexity by Start Node Selection. SCAI 1991: 222-228 - Fausto Giunchiglia, Luciano Serafini:
Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991: 228-240 - Eero Hyvönen:
Global Consistency in Interval Constraint Satisfaction. SCAI 1991: 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. SCAI 1991: 252-257 - Jacek Malec:
How to Pass an Intersetcion, or Automata Theory Is Still Useful. SCAI 1991: 258-265 - Takenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka:
Class Directed Generalization. SCAI 1991: 266-276 - Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
A Practical Introduction to Well Founded Semantics. SCAI 1991: 277-288 - Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Hypothetical Reasoning with Well Founded Semantics. SCAI 1991: 289-300 - Mehdi Sagheb-Tehrani:
Knowledge Elicitation: Some Implications for Research and Practice. SCAI 1991: 301-306 - Fabrizio Sebastiani, Umberto Straccia:
A Computationally Tractable Terminological Logic. SCAI 1991: 307-315 - Dimitrios Thanassas:
Nonmonotonicity as the Resolution of Contradictions. SCAI 1991: 316-321 - Wiebe van der Hoek:
Qualitative Modalities. SCAI 1991: 322-327 - Jørgen Villadsen:
Combinatory Categorial Grammar for Intensional Fragment of Natural Language. SCAI 1991: 328-339
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-17 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
