1991 share record
persistent URL:
Luigia Carlucci Aiello , Daniele Nardi , Marco Schaerf : Reasoning about Knowledge: The Meta-Level Approach. SCAI 1991 : 4-18 share record
persistent URL:
Lars Asker : Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL. SCAI 1991 : 187-192 share record
persistent URL:
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 share record
persistent URL:
V. Richard Benjamins , Ameen Abu-Hanna , Wouter N. H. Jansweijer : Models in Model Based Diagnosis: Classification and Construction. SCAI 1991 : 54-61 share record
persistent URL:
Abhay B. Bulsari , Henrik Saxén : A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System. SCAI 1991 : 71-76 share record
persistent URL:
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 share record
persistent URL:
Ulla Dindorp : Literature Analysis for Knowledge Acquisition. SCAI 1991 : 77-83 export record
dblp key:
conf/scai/Egmont-Petersen91 share record
persistent URL:
Michael Egmont-Petersen : Mental Models as Cognitive Entities. SCAI 1991 : 205-210 share record
persistent URL:
Peter W. Eklund : Negotiating Inheritance Taxonomies in Conceptual Structures. SCAI 1991 : 211-221 share record
persistent URL:
Bogdan Filipic : Reducing Search Complexity by Start Node Selection. SCAI 1991 : 222-228 share record
persistent URL:
Dov M. Gabbay : Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI 1991 : 19-39 share record
persistent URL:
Enrico Giunchiglia : A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. SCAI 1991 : 84-89 share record
persistent URL:
Fausto Giunchiglia , Luciano Serafini : Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991 : 228-240 share record
persistent URL:
Henning Herrestad : AI and Law: Will the Marriage Last? SCAI 1991 : 90-98 share record
persistent URL:
Wiebe van der Hoek : Qualitative Modalities. SCAI 1991 : 322-327 share record
persistent URL:
Juha Hynynen : DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling. SCAI 1991 : 99-106 share record
persistent URL:
Eero Hyvönen : Global Consistency in Interval Constraint Satisfaction. SCAI 1991 : 241-251 share record
persistent URL:
Peter Jackson : Computing Minimal Refutations. SCAI 1991 : 107-118 share record
persistent URL:
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 share record
persistent URL:
Finn Verner Jensen : Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications. SCAI 1991 : 176-186 share record
persistent URL:
Jørgen Karpf : Categorical Modelling in Law. SCAI 1991 : 131-137 share record
persistent URL:
Nada Lavrac , Saso Dzeroski , Vladimir Pirnat , Viljem Krizman : Learning Rules for Early Diagnosis of Rheumatic Diseases. SCAI 1991 : 138-149 share record
persistent URL:
Geraldine Legendre , Yoshiro Miyata , Paul Smolensky : Distributed Recursive Structure Processing. SCAI 1991 : 47-53 share record
persistent URL:
Jacek Malec : How to Pass an Intersetcion, or Automata Theory Is Still Useful. SCAI 1991 : 258-265 share record
persistent URL:
Cyrus F. Nourani : Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning. SCAI 1991 : 150-157 share record
persistent URL:
Takenao Ohkawa , Toshiaki Mori , Noboru Babaguchi , Yoshikazu Tezuka : Class Directed Generalization. SCAI 1991 : 266-276 export record
dblp key:
conf/scai/ParameswaranP91 share record
persistent URL:
Jaidev , N. Parameswaran : Coding Plan Logic in a Dependency Net: The PLANET System. SCAI 1991 : 119-130 share record
persistent URL:
Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício : A Practical Introduction to Well Founded Semantics. SCAI 1991 : 277-288 share record
persistent URL:
Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes : Hypothetical Reasoning with Well Founded Semantics. SCAI 1991 : 289-300 share record
persistent URL:
G. Ravi Prakash , Eswaran Subrahmanian , Hosaker N. Mahabala : Verification of OPS5-Based AI Applications. SCAI 1991 : 158-169