Logic programming and knowledge representation---The A-Prolog perspective
From MaRDI portal
Recommendations
Cites work
- 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?)
- A Completeness Result for SLDNF-Resolution
- A comparative study of open default theories
- 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
- Introduction to logic-based artificial intelligence
- LUPS -- A language for updating logic programs
- Logic Programming with Strong Negation and Inexact Predicates
- Logic programming and knowledge representation
- Logic programming and negation: A survey
- Logic programs with stable model semantics as a constraint programming paradigm
- 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
(51)- Inconsistency measurement
- Logic programming with infinite sets
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 1407683 (Why is no real title available?)
- Logic programs with abstract constraint atoms: the role of computations
- Automata and Answer Set Programming
- The Design of the Sixth Answer Set Programming Competition
- Relativized hyperequivalence of logic programs for modular programming
- Answer Set Programming: A Primer
- Some (in)translatability results for normal logic programs and propositional theories
- Personal perspective on the development of logic programming based KR languages
- Knowledge graph embedding by logical-default attention graph convolution neural network for link prediction
- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
- Answer set based design of knowledge systems
- Belief Base Change Operations for Answer Set Programming
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- scientific article; zbMATH DE number 2090558 (Why is no real title available?)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- The Seventh Answer Set Programming Competition: Design and Results
- Logic programming
- Disjunctive logic programs, answer sets, and the cut rule
- ASP for minimal entailment in a rational extension of SROEL
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Quo Vadis Answer Set Programming?
- Relativized Hyperequivalence of Logic Programs for Modular Programming
- Team-building with answer set programming in the Gioia-Tauro seaport
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Conflict-driven answer set solving: from theory to practice
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Logic Programming in Knowledge Domains
- Logic programming in the 1970s
- Set based logic programming
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
- An axiomatic analysis of structured argumentation with priorities
- Design and results of the Fifth Answer Set Programming Competition
- Parallel instantiation of ASP programs: techniques and experiments
- Justifications for logic programs under answer set semantics
- Logic programming with social features
- \textsc{Argonauts}: a working system for motivated cooperative agents
- A new term representation method for prolog
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases
- A logical approach to A-Prolog
- A general approach to reasoning with probabilities
- A system Z-like approach for first-order default reasoning
- Weight constraint programs with evaluable functions
- A solver for QBFs in negation normal form
- Handling and measuring inconsistency in non-monotonic logics
- Here and there among logics for logic programming
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
- Logic programming and knowledge representation
- Strong inconsistency
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)
