Conferences in DBLP
Luigia Carlucci Aiello , Daniele Nardi , Marco Schaerf Reasoning about Knowledge: The Meta-Level Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Dov M. Gabbay Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Shoham Theories of Agenthood. [Citation Graph (0, 0)][DBLP ] Conf ] Geraldine Legendre , Yoshiro Miyata , Paul Smolensky Distributed Recursive Structure Processing. [Citation Graph (0, 0)][DBLP ] Conf ] V. Richard Benjamins , Ameen Abu-Hanna , Wouter N. H. Jansweijer Models in Model Based Diagnosis: Classification and Construction. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Abhay B. Bulsari , Henrik Saxén A Feed-Forward Neural Network as a Chemical Reactor Seletcion Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Ulla Dindorp Literature Analysis for Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Herrestad AI and Law: Will the Marriage Last? [Citation Graph (0, 0)][DBLP ] Conf ] Juha Hynynen DUKPIE: The BREAD 'n' BUTTER for Finite Capacity Activity Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jackson Computing Minimal Refutations. [Citation Graph (0, 0)][DBLP ] Conf ] Jaidev Parameswaran , N. Parameswaran Coding Plan Logic in a Dependency Net: The PLANET System. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Karpf Categorical Modelling in Law. [Citation Graph (0, 0)][DBLP ] Conf ] Nada Lavrac , Saso Dzeroski , Vladimir Pirnat , Viljem Krizman Learning Rules for Early Diagnosis of Rheumatic Diseases. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrus F. Nourani Planning and Plausible Reasoning in Artificial Intelligence: Diagrams, Planning, and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] G. Ravi Prakash , Eswaran Subrahmanian , Hosaker N. Mahabala Verification of OPS5-Based AI Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Trans An Expert System Shell for Planning with Automatic Feedback Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Finn Verner Jensen Calculation in HUGIN of Probabilities for Specific Configurations: A Trick with Many Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Asker Using Partial Explanations: An Approach to Solving the Incomplete Theory Problem in EBL. [Citation Graph (0, 0)][DBLP ] Conf ] Arvind K. Bansal , Dilip S. Poduval Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Egmont-Petersen Mental Models as Cognitive Entities. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. Eklund Negotiating Inheritance Taxonomies in Conceptual Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Filipic Reducing Search Complexity by Start Node Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Fausto Giunchiglia , Luciano Serafini Mulitlanguage First Order Theories of Propositional Attitudes. [Citation Graph (0, 0)][DBLP ] Conf ] Eero Hyvönen Global Consistency in Interval Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Malec How to Pass an Intersetcion, or Automata Theory Is Still Useful. [Citation Graph (0, 0)][DBLP ] Conf ] Takenao Ohkawa , Toshiaki Mori , Noboru Babaguchi , Yoshikazu Tezuka Class Directed Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício A Practical Introduction to Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Hypothetical Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Mehdi Sagheb-Tehrani Knowledge Elicitation: Some Implications for Research and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Sebastiani , Umberto Straccia A Computationally Tractable Terminological Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitrios Thanassas Nonmonotonicity as the Resolution of Contradictions. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek Qualitative Modalities. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Villadsen Combinatory Categorial Grammar for Intensional Fragment of Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] 