Journal of Logic Programming
Foundations of logic programming
Foundations of logic programming
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Journal of Logic Programming
The British Nationality Act as a logic program
Communications of the ACM
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
A theory of diagnosis from first principles
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Journal of Logic Programming
A logical framework for default reasoning
Artificial Intelligence
Signed data dependencies in logic programs
Journal of Logic Programming
Generalized stable models, truth maintenance and conflict resolution
Logic programming
Extended stable semantics for normal and disjunctive programs
Logic programming
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A spectrum of logical definitions of model-based diagnosis
Computational Intelligence
Preferred extensions are partial stable models
Journal of Logic Programming
Skeptical reason maintenance and belief revision
Artificial Intelligence
Representing actions in logic programming and its applications in database updates
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Scenario semantics of extended logic programs
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Minimal belief and negation as failure
Artificial Intelligence
Contributions to the stable model semantics of logic programs with negation
Theoretical Computer Science
Iterative belief revision in extended logic programming
Theoretical Computer Science
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Contradiction Removal Semantics with Explicit Negation
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
PDL-based framework for reasoning about actions
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Reasoning with infinite stable models
Artificial Intelligence
On the existence of stable models of non-stratified logic programs
Theory and Practice of Logic Programming
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
Computing ideal sceptical argumentation
Artificial Intelligence
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Interleaving belief updating and reasoning in abductive logic programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Gorgias-C: Extending Argumentation with Constraint Solving
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A theory of diagnosis for incomplete causal models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A causal theory of ramifications and qualifications
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
Theory and Practice of Logic Programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Using argumentation logic for firewall policy specification and analysis
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Nonmonotonic reasoning in FLORA-2
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Semantic web policies – a discussion of requirements and research issues
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Hi-index | 0.00 |
Logic programming has been deployed to support nonmonotonic reasoning since the late '80s. In this paper, we review semantics, formalisms and computational mechanisms for logic programming for non-monotonic reasoning. We also discuss some formalisms that have emerged from the cross fertilization between the two areas and some applications in as diverse areas as reasoning about dynamic domains, security, diagnosis and legal reasoning.