Logic programming and knowledge representation---The A-Prolog perspective
type: Item
instance of: scholarly article
title: Logic programming and knowledge representation---The A-Prolog perspective
zbMATH Open document ID: 0995.68022
DOI: 10.1016/S0004-3702(02)00207-2
author: Michael Gelfond
author: N. Leone
published in: Artificial Intelligence
publication date: 2002-07-15T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1767929
zbMATH Keywords: logic programming
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: default reasoning
zbMATH Keywords: answer set programming
describes a project that uses: Datalog
describes a project that uses: LUPS
describes a project that uses: Smodels
MaRDI profile type: Publication
cites work: Q4537432
cites work: LUPS -- A language for updating logic programs
cites work: Proving termination of general Prolog programs
cites work: Logic programming and negation: A survey
cites work: Logic programming and knowledge representation
cites work: Reasoning agents in dynamic domains
cites work: Propositional semantics for disjunctive logic programs
cites work: General logical databases and programs: Default logic semantics and stratification
cites work: Negation by default and unstratifiable logic programs
cites work: Tabulated resolution for the well-founded semantics
cites work: An abstract, argumentation-theoretic approach to default reasoning
cites work: Q4858040
cites work: Efficient top-down computation of queries under the well-founded semantics
cites work: Completeness of SLDNF-resolution for nonfloundering queries
cites work: Declarative problem-solving using the DLV system
cites work: Preference Logic Grammars: Fixed point semantics and application to data standardization
cites work: On the computational cost of disjunctive logic programming: Propositional case
cites work: Expressive power and complexity of partial models for disjunctive deductive databases
cites work: A rational reconstruction of nonmonotonic truth maintenance systems
cites work: Q2767107
cites work: A kripke-kleene semantics for logic programs*
cites work: Census Data Repair: A Challenging Application of Disjunctive Logic Programming
cites work: Q3703316
cites work: Q3983043
cites work: Representing action and change by logic programs
cites work: Q4217936
cites work: Fixed-parameter complexity in AI and nonmonotonic reasoning
cites work: Q5649989
cites work: Q4843185
cites work: A note on the stable model semantics for logic programs
cites work: A comparative study of open default theories
cites work: Q4051550
cites work: Q3862380
cites work: Negation in logic programming
cites work: Q3493328
cites work: Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
cites work: Closed-world databases and circumscription
cites work: Q5750390
cites work: Q4514010
cites work: Answer set programming and plan generation
cites work: Q4296747
cites work: Q4391449
cites work: Q4285787
cites work: Annotated revision programs
cites work: Autoepistemic logic
cites work: Q4702577
cites work: Q4273952
cites work: Q5633670
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Q3939270
cites work: Q4934653
cites work: Introduction to logic-based artificial intelligence
cites work: Semantical considerations on nonmonotonic logic
cites work: Constructible falsity
cites work: Q3125203
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Q3998267
cites work: Q3221403

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Q4713273

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: From here to there: Stable negation in logic programming

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Q3348437

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: A logic for default reasoning

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: A procedural semantics for well-founded negation in logic programs

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Completed logic programs and their consistency

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Prioritized logic programming and its application to commonsense reasoning

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Extending and implementing the stable model semantics

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Classifying the computational complexity of problems

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: A Completeness Result for SLDNF-Resolution

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Representing actions in logic programs and default theories a situation calculus approach

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Order-consistent programs are cautiously monotonic

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: The Semantics of Predicate Logic as a Programming Language

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: The well-founded semantics for general logic programs

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: Logic Programming with Strong Negation and Inexact Predicates

Logic programming and knowledge representation---The A-Prolog perspective (cites work)
cites work: A three-valued semantics for deductive databases and logic programs

Logic programming and knowledge representation---The A-Prolog perspective (full work available at URL)
full work available at URL: s0004-3702(02)00207-2

Logic programming and knowledge representation---The A-Prolog perspective (OpenAlex ID)
OpenAlex ID: W2043673291