Logic programming and knowledge representation---The A-Prolog perspective
From MaRDI portal
Publication:1603731
DOI10.1016/S0004-3702(02)00207-2zbMath0995.68022OpenAlexW2043673291MaRDI QIDQ1603731
Publication date: 15 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00207-2
Related Items (38)
The Design of the Sixth Answer Set Programming Competition ⋮ Parallel instantiation of ASP programs: techniques and experiments ⋮ Team-building with answer set programming in the Gioia-Tauro seaport ⋮ Characterizations of stable model semantics for logic programs with arbitrary constraint atoms ⋮ Belief Base Change Operations for Answer Set Programming ⋮ Answer set based design of knowledge systems ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ The Semantics of Consistency and Trust in Peer Data Exchange Systems ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ An axiomatic analysis of structured argumentation with priorities ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Weight constraint programs with evaluable functions ⋮ Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs ⋮ Inconsistency Measurement ⋮ Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs ⋮ Conflict-driven answer set solving: from theory to practice ⋮ A System Z-like Approach for First-Order Default Reasoning ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Automata and Answer Set Programming ⋮ A general approach to reasoning with probabilities ⋮ Justifications for logic programs under answer set semantics ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ A solver for QBFs in negation normal form ⋮ Answer Set Programming: A Primer ⋮ Set based logic programming ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Relativized hyperequivalence of logic programs for modular programming ⋮ \textsc{Argonauts}: a working system for motivated cooperative agents ⋮ Strong inconsistency ⋮ Disjunctive logic programs, answer sets, and the cut rule ⋮ Quo Vadis Answer Set Programming? ⋮ Relativized Hyperequivalence of Logic Programs for Modular Programming ⋮ Logic programming with infinite sets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Negation by default and unstratifiable logic programs
- Semantical considerations on nonmonotonic logic
- Closed-world databases and circumscription
- A note on the stable model semantics for logic programs
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- General logical databases and programs: Default logic semantics and stratification
- Expressive power and complexity of partial models for disjunctive deductive databases
- A three-valued semantics for deductive databases and logic programs
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- An abstract, argumentation-theoretic approach to default reasoning
- Prioritized logic programming and its application to commonsense reasoning
- Answer set programming and plan generation
- Fixed-parameter complexity in AI and nonmonotonic reasoning
- LUPS -- A language for updating logic programs
- Preference Logic Grammars: Fixed point semantics and application to data standardization
- Annotated revision programs
- Extending and implementing the stable model semantics
- A comparative study of open default theories
- On the computational cost of disjunctive logic programming: Propositional case
- Propositional semantics for disjunctive logic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- A rational reconstruction of nonmonotonic truth maintenance systems
- Census Data Repair: A Challenging Application of Disjunctive Logic Programming
- Efficient top-down computation of queries under the well-founded semantics
- Completeness of SLDNF-resolution for nonfloundering queries
- Completed logic programs and their consistency
- A kripke-kleene semantics for logic programs*
- Classifying the computational complexity of problems
- Negation in logic programming
- Tabulated resolution for the well-founded semantics
- Nonmonotonic Logic II
- Logic Programming with Strong Negation and Inexact Predicates
- A procedural semantics for well-founded negation in logic programs
- The Semantics of Predicate Logic as a Programming Language
- Representing action and change by logic programs
- Autoepistemic logic
- The well-founded semantics for general logic programs
- Logic programming and negation: A survey
- Logic programming and knowledge representation
- Representing actions in logic programs and default theories a situation calculus approach
- Order-consistent programs are cautiously monotonic
- A Completeness Result for SLDNF-Resolution
- Proving termination of general Prolog programs
- Constructible falsity
This page was built for publication: Logic programming and knowledge representation---The A-Prolog perspective
