Logic programming and knowledge representation---The A-Prolog perspective
From MaRDI portal
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.
Recommendations
Cites work
- A comparative study of open default theories
- A Completeness Result for SLDNF-Resolution
- A kripke-kleene semantics for logic programs*
- A logic for default reasoning
- A note on the stable model semantics for logic programs
- A procedural semantics for well-founded negation in logic programs
- A rational reconstruction of nonmonotonic truth maintenance systems
- A three-valued semantics for deductive databases and logic programs
- An abstract, argumentation-theoretic approach to default reasoning
- Annotated revision programs
- Answer set programming and plan generation
- Autoepistemic logic
- Census data repair: a challenging application of disjunctive logic programming
- Circumscription - a form of non-monotonic reasoning
- Classifying the computational complexity of problems
- Closed-world databases and circumscription
- Completed logic programs and their consistency
- Completeness of SLDNF-resolution for nonfloundering queries
- Constructible falsity
- Declarative problem-solving using the DLV system
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Efficient top-down computation of queries under the well-founded semantics
- Expressive power and complexity of partial models for disjunctive deductive databases
- Extending and implementing the stable model semantics
- Fixed-parameter complexity in AI and nonmonotonic reasoning
- From here to there: Stable negation in logic programming
- General logical databases and programs: Default logic semantics and stratification
- scientific article; zbMATH DE number 1696838 (Why is no real title available?)
- scientific article; zbMATH DE number 992300 (Why is no real title available?)
- scientific article; zbMATH DE number 3888913 (Why is no real title available?)
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 3755910 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 49478 (Why is no real title available?)
- scientific article; zbMATH DE number 3466489 (Why is no real title available?)
- scientific article; zbMATH DE number 1222413 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 534879 (Why is no real title available?)
- scientific article; zbMATH DE number 592368 (Why is no real title available?)
- scientific article; zbMATH DE number 1158758 (Why is no real title available?)
- scientific article; zbMATH DE number 1531964 (Why is no real title available?)
- scientific article; zbMATH DE number 1761412 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 9973 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- scientific article; zbMATH DE number 824740 (Why is no real title available?)
- scientific article; zbMATH DE number 1390361 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3380160 (Why is no real title available?)
- scientific article; zbMATH DE number 4185010 (Why is no real title available?)
- Introduction to logic-based artificial intelligence
- Logic programming and knowledge representation
- Logic programming and negation: A survey
- Logic Programming with Strong Negation and Inexact Predicates
- Logic programs with stable model semantics as a constraint programming paradigm
- LUPS -- A language for updating logic programs
- Negation by default and unstratifiable logic programs
- Negation in logic programming
- Non-monotonic logic. I
- Nonmonotonic Logic II
- On the computational cost of disjunctive logic programming: Propositional case
- Order-consistent programs are cautiously monotonic
- Preference Logic Grammars: Fixed point semantics and application to data standardization
- Prioritized logic programming and its application to commonsense reasoning
- Propositional semantics for disjunctive logic programs
- Proving termination of general Prolog programs
- Reasoning agents in dynamic domains
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- Semantical considerations on nonmonotonic logic
- Tabulated resolution for the well-founded semantics
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
Cited in
(55)- A solver for QBFs in negation normal form
- Set based logic programming
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- Conflict-driven answer set solving: from theory to practice
- Building a knowledge base: An example
- Disjunctive logic programs, answer sets, and the cut rule
- Handling and measuring inconsistency in non-monotonic logics
- A general approach to reasoning with probabilities
- Strong inconsistency
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
- Logic programming in the 1970s
- Here and there among logics for logic programming
- Team-building with answer set programming in the Gioia-Tauro seaport
- Belief Base Change Operations for Answer Set Programming
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Inconsistency measurement
- The Design of the Sixth Answer Set Programming Competition
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
- Logic programming with social features
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Automata and Answer Set Programming
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
- Justifications for logic programs under answer set semantics
- Answer Set Programming: A Primer
- Some (in)translatability results for normal logic programs and propositional theories
- Relativized hyperequivalence of logic programs for modular programming
- A new term representation method for prolog
- Logic programming and knowledge representation
- ASP for minimal entailment in a rational extension of SROEL
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 2090558 (Why is no real title available?)
- Personal perspective on the development of logic programming based KR languages
- A logical approach to A-Prolog
- scientific article; zbMATH DE number 1407683 (Why is no real title available?)
- The Seventh Answer Set Programming Competition: Design and Results
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- A system Z-like approach for first-order default reasoning
- Parallel instantiation of ASP programs: techniques and experiments
- Logic Programming in Knowledge Domains
- Quo Vadis Answer Set Programming?
- Relativized Hyperequivalence of Logic Programs for Modular Programming
- Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Weight constraint programs with evaluable functions
- Logic programming
- Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation
- Aggregate semantics for propositional answer set programs
- Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck
- \textsc{Argonauts}: a working system for motivated cooperative agents
- Logic programming with infinite sets
- Answer set based design of knowledge systems
- An axiomatic analysis of structured argumentation with priorities
- Design and results of the Fifth Answer Set Programming Competition
- Logic programs with abstract constraint atoms: the role of computations
This page was built for publication: Logic programming and knowledge representation---The A-Prolog perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603731)
