Generality in artificial intelligence
Communications of the ACM
Some computational aspects of circumscription
Journal of the ACM (JACM)
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
On the role of prototypes in appellate legal argument (abstract)
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Provably correct theories of action
Journal of the ACM (JACM)
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
ACM Transactions on Database Systems (TODS)
Artificial Intelligence Review
Commonsense reasoning in Prolog
CSC '87 Proceedings of the 15th annual conference on Computer Science
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
An argument-based approach to reasoning with specificity
Artificial Intelligence
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Spatial Cognition and Computation
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
IEEE Annals of the History of Computing
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
A Deductive Database Approach to A.I. Planning
Journal of Intelligent Information Systems
Reliability Measure Theory: A Nonmonotonic Semantics
IEEE Transactions on Knowledge and Data Engineering
Supporting Inheritance Mechanisms in Ontology Representation
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
An Application of Action Theory to the Space Shuttle
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Context and Relevance: A Pragmatic Approach
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Solving the Qualification Problem
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modeling Paraconsistent Reasoning by Classical Logic
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
General Preferential Entailments as Circumscriptions
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
How to Reason Credulously and Skeptically within a Single Extension
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The Complexity of Minimal Satisfiability Problems
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Smallest Equivalent Sets for Finite Propositional Formula Circumscription
CL '00 Proceedings of the First International Conference on Computational Logic
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Logical Deduction Using the Local Computation Framework
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Overcoming the Christmas Tree Syndrome
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Paraconsistent Circumscription: First-Order Case
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
The complexity of minimal satisfiability problems
Information and Computation
Explaining default intuitions using maximum entropy
Journal of Applied Logic - Special issue on combining probability and logic
Temporal representation of state transitions
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Mathematical Structures in Computer Science
The Knowledge Engineering Review
Symbolic diagnosis and its formalisation
The Knowledge Engineering Review
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
A critical evaluation of commensurable abduction models for semantic interpretation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Disambiguation by prioritized circumscription
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Introduction to the special issue on temporal information processing
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Artificial Intelligence - Special issue on nonmonotonic reasoning
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
About the fusion of legal knowledge with exceptions
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
An incremental algorithm for generating all minimal models
Artificial Intelligence
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Consequence finding and computing answers with defaults
Journal of Intelligent Information Systems
Loop formulas for circumscription
Artificial Intelligence
Any-world assumptions in logic programming
Theoretical Computer Science
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Generality in artificial intelligence
ACM Turing award lectures
Artificial Intelligence
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Mathematical Structures in Computer Science
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards Context Sensitive Defeasible Rules
Computational Logic in Multi-Agent Systems
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computing Argumentation Semantics in Answer Set Programming
New Frontiers in Artificial Intelligence
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Loop formulas for circumscription
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Learning partially observable action schemas
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
The semantics of variables in action descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Change, change, change: three approaches
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
A theorem prover for prioritized circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Things that change by themselves
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Negative reasoning using inheritance
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Explanation in the situation calculus
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Epistemic extension of propositional preference logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Statistical foundations for default reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
A cumulative-model semantics for dynamic preferences on assumptions
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Logic-based subsumption architecture
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
An analysis of psychological experiments on non-monotonic reasoning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Relating default logic and circumscription
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Intended models, circumscription and commonsense reasoning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Constructive second-order proofs in logical databases
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Weak conditional logics of normality
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Inaccessible worlds and irrelevance preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Query answering in circumscription
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
A circumscriptive formalization of the qualification problem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Grounded models as a basis for intuitive reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Learning partially observable deterministic action models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the representation of nonmoniomc relations in the theory of evidence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A simple formalization of actions using circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An incremental algorithm for generating all minimal models
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A hybrid plan recognition model for Alzheimer's patients: Interleaved-erroneous dilemma
Web Intelligence and Agent Systems
Design Problems, Frames and Innovative Solutions
Proceedings of the 2009 conference on Design Problems, Frames and Innovative Solutions
On integrating event definition and event detection
Knowledge and Information Systems
Challenges for action theories
Challenges for action theories
A linear transformation from prioritized circumscription to disjunctive logic programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Integrating rules and description logics with circumscription for the semantic web
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Fo(fd): Extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming
Reasoning in the presence of inconsistency
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Simple causal minimizations for temporal persistence and projection
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Circumscriptive theories: a logic-based framework for knowledge representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A declarative approach to bias in concept learning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Reasoning in the presence of inconsistency
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Possible worlds and the qualification problem
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Simple causal minimizations for temporal persistence and projection
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Circumscriptive theories: a logic-based framework for knowledge representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A declarative approach to bias in concept learning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
A qualitative model for temporal reasoning with incomplete information
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Causal theories for nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A circumscriptive theory for causal and evidential support
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Nonmonotonicity and the scope of reasoning: preliminary report
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A maximum entropy approach to nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Provably correct theories of action
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
System-Z+: a formalism for reasoning with variable-strength defaults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Combining circumscription and modal logic
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Counterexample guided abstraction refinement algorithm for propositional circumscription
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Formalizing narratives using nested circumscription
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
On the range of applicability of baker's approach to the frame problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology
Artificial Intelligence
Thirteen definitions of a stable model
Fields of logic and computation
Answer set programming's contributions to classical logic: an analysis of ASP methodology
Logic programming, knowledge representation, and nonmonotonic reasoning
On the minimality of stable models
Logic programming, knowledge representation, and nonmonotonic reasoning
Predicate completion for non-Horn clause sets
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
An experimental comparison of numerical and qualitative probabilistic reasoning
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
The predicate-minimizing logic MIN
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A logic of inductive implication or artificial intelligence meets philosophy of science II
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
International Journal of Approximate Reasoning
In memoriam: John McCarthy, 1927-2011
Artificial Intelligence in Medicine
Formalizing retrieval goal change by prioritized abduction
IHI'04 Proceedings of the 2004 international conference on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
Negation, opposition, and possibility in logical concept analysis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Datalog programs and their stable models
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Gibbs sampling with deterministic dependencies
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
First-order stable model semantics and first-order loop formulas
Journal of Artificial Intelligence Research
Unfounded sets and well-founded semantics of answer set programs with aggregates
Journal of Artificial Intelligence Research
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
Construction and maintenance of a fuzzy temporal ontology from news stories
International Journal of Metadata, Semantics and Ontologies
From turner's logic of universal causation to the logic of GK
Correct Reasoning
Correct Reasoning
A New Method Of Circumscribing Beliefs The Propositional Case
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Circumscription And Generic Mathematical Objects
Fundamenta Informaticae
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Relational theories with null values and non-herbrand stable models
Theory and Practice of Logic Programming
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.02 |