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
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
