Fixpoint 3-valued semantics for autoepistemic logic
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
Artificial Intelligence Review
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Constraints on extensions on a default theory
Journal of Computer Science and Technology
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
An argument-based approach to reasoning with specificity
Artificial Intelligence
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
The Connectionist Inductive Learning and Logic Programming System
Applied Intelligence
Exception Handling in Workflow Systems
Applied Intelligence
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
Fixed-parameter complexity of semantics for logic programs
ACM Transactions on Computational Logic (TOCL)
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Fundamenta Informaticae
Propositional default logics made easier: computational complexity of model checking
Theoretical Computer Science
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Computing Stable Models: Worst-Case Performance Estimates
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Analysis of multi-interpretable ecological monitoring information
Applications of Uncertainty Formalisms
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Capturing Stationary and Regular Extensions with Reiter's Extensions
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
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Default Reasoning via Blocking Sets
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
On the expressive power of semi-normal defaults in some semantic variants of default logic
AI Communications - Special issue on Artificial intelligence advances in China
Expressing default abduction problems as quantified Boolean formulas
AI Communications
ACM Transactions on Computational Logic (TOCL)
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
Computing stable models: worst-case performance estimates
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Computing large and small stable models
Theory and Practice of Logic Programming
Nonmonotonic proof systems: algebraic foundations
Fundamenta Informaticae
A nonmonotonic observation logic
Artificial Intelligence - Special issue on nonmonotonic reasoning
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
On the complexity of extension checking in default logic
Information Processing Letters
Computing minimal models, stable models and answer sets
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
On the expressive power of semi-normal defaults in some semantic variants of default logic
AI Communications - Artificial Intelligence Advances in China
Expressing default abduction problems as quantified Boolean formulas
AI Communications
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
Prioritized conditional imperatives: problems and a new proposal
Autonomous Agents and Multi-Agent Systems
Using Temporal Consistency to Improve Robot Localisation
RoboCup 2006: Robot Soccer World Cup X
Rough Sets and Approximation Schemes
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Default Logics with Preference Order: Principles and Characterisations
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Quo Vadis Answer Set Programming?
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Approximation Schemes in Logic and Artificial Intelligence
Transactions on Rough Sets IX
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Complexity of prioritized default logics
Journal of Artificial Intelligence Research
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Preferred arguments are harder to compute than stable extensions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Model checking for nonmonotonic logics: algorithms and complexity
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On specificity in default logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Constrained and rational default logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
On the complexity of extension checking in default logic
Information Processing Letters
Reconciling description logics and rules
Journal of the ACM (JACM)
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Logic programs with abstract constraint atoms: the role of computations
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Logic-based knowledge representation
Artificial intelligence today
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Effectively reasoning about infinite sets in answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Relating truth, knowledge and belief in epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Answer set programming at a glance
Communications of the ACM
Proof complexity of propositional default logic
Archive for Mathematical Logic
On the intertranslatability of argumentation semantics
Journal of Artificial Intelligence Research
Default reasoning with preference within only knowing logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A fault-tolerant default logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The relationship between reasoning about privacy and default logics
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Proof complexity of propositional default logic
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Four-Valued semantics for default logic
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Book review: The Logic of Knowledge Bases
Artificial Intelligence in Medicine
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae
Fundamenta Informaticae
On the Complexity of Perfect Models of Logic Programs
Fundamenta Informaticae
Computation of Extensions of Seminormal Default Theories
Fundamenta Informaticae
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Approximating the Stable Model Semantics is Hard
Fundamenta Informaticae
An Approach To Context-Based Default Reasoning
Fundamenta Informaticae
The complexity of theorem proving in autoepistemic logic
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Strong equivalence of qualitative optimization problems
Journal of Artificial Intelligence Research
Hi-index | 0.02 |