Semantical considerations on nonmonotonic logic
Artificial Intelligence
Closed-world databases and circumscription
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Journal of Logic Programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of logic programs with negation
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Signed data dependencies in logic programs
Journal of Logic Programming
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A rational reconstruction of nonmonotonic truth maintenance systems (research note)
Artificial Intelligence
Completed logic programs and their consistency
Journal of Logic Programming
Generalized stable models, truth maintenance and conflict resolution
Logic programming
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
General logical databases and programs: default logic semantics and stratification
Information and Computation
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
A procedural semantics for well-founded negation in logic programs
Journal of Logic Programming
Extended logic programs as autoepistemic theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Reflexive autoepistemic logic and logic programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal knowledge + negation as failure = only knowing (sometimes)
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Complexity and expressive power of disjunctive logic programming (research overview)
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
A comparative study of open default theories
Artificial Intelligence
From logic programming to Prolog
From logic programming to Prolog
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
ACM Transactions on Database Systems (TODS)
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
A note on the stable model semantics for logic programs
Artificial Intelligence
Foundations of logic programming
Principles of knowledge representation
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
Project report on LP+: a second generation logic programming language
AI Communications - Special issue on AI research in the Benelux
Logic-based artificial intelligence
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic for Problem Solving
Logic, Programming, and PROLOG
Logic, Programming, and PROLOG
Reasoning with Logic Programming
Reasoning with Logic Programming
Logic for Applications
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Answer set programming and plan generation
Artificial Intelligence
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
LUPS---a language for updating logic programs
Artificial Intelligence
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Proving Termination of General Prolog Programs
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Stable Model Checking Made Easy
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
Belief operations for motivated BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Information Sharing Agents in a Peer Data Exchange System
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Annals of Mathematics and Artificial Intelligence
A solver for QBFs in negation normal form
Constraints
Quo Vadis Answer Set Programming?
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Answer sets for logic programs with arbitrary abstract constraint atoms
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
An ASP-Based System for e-Tourism
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Properties of programs with monotone and convex constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
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
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Properties and applications of programs with monotone and convex constraints
Journal of Artificial Intelligence Research
Answer sets for logic programs with arbitrary abstract constraint atoms
Journal of Artificial Intelligence Research
Complexity results for checking equivalence of stratified logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Theory and Practice of Logic Programming
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
On solution correspondences in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Negotiation using logic programming with consistency restoring rules
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
A parallel ASP instantiator based on DLV
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
Relativized hyperequivalence of logic programs for modular programming
Theory and Practice of Logic Programming
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
On Testing Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Effectively reasoning about infinite sets in answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
ASP at work: spin-off and applications of the DLV system
Logic programming, knowledge representation, and nonmonotonic reasoning
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Stepping through an answer-set program
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
Using answer set programming for a decision support system
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Argonauts: a working system for motivated cooperative agents
Annals of Mathematics and Artificial Intelligence
cc⊤: a correspondence-checking tool for logic programs under the answer-set semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Using answer set programming for the automatic compilation of assessment tests
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Building business process description and reasoning meta-model Mbp in a-prolog
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Equivalence between extended datalog programs -- a brief survey
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Belief base change operations for answer set programming
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Answer set programming: language, applications and development tools
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a `feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logic programming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications.