scientific article; zbMATH DE number 25192
From MaRDI portal
Publication:3983045
Recommendations
- On the partial semantics for disjunctive deductive databases
- Characterizations of the disjunctive stable semantics by partial evaluation
- Characterizations of the stable semantics by partial evaluation
- Static semantics for normal and disjunctive logic programs
- scientific article; zbMATH DE number 1453064
Cited in
(83)- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
- Semi-equilibrium models for paracoherent answer set programs
- Minimal founded semantics for disjunctive logic programs and deductive databases
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- scientific article; zbMATH DE number 2090537 (Why is no real title available?)
- Argumentation-based semantics for logic programs with first-order formulae
- Preference-Based Diagnosis Selection in Multi-Context Systems
- A model building framework for answer set programming with external computations
- Assumption-based argumentation for extended disjunctive logic programming
- Querying disjunctive databases through nonmonotonic logics
- Abduction from logic programs: Semantics and complexity
- Constructing interpretations of deductive databases using reduction and dynamic stratification
- Model-based recasting in answer-set programming
- Two simple characterizations of well-founded semantics
- scientific article; zbMATH DE number 1884399 (Why is no real title available?)
- On the equivalence between logic programming semantics and argumentation semantics
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- Stable classes and operator pairs for disjunctive programs
- scientific article; zbMATH DE number 591001 (Why is no real title available?)
- Stability, supportedness, minimality and Kleene answer set programs
- Equilibrium logic
- Embedding circumscriptive theories in general disjunctive programs
- Equivalence for the G₃^-stable models semantics
- Unfolding partiality and disjunctions in stable model semantics
- On the equivalence of semantics for normal logic programs
- scientific article; zbMATH DE number 1926616 (Why is no real title available?)
- Stable-unstable semantics: Beyond NP with normal logic programs
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- Paracoherent answer set semantics meets argumentation frameworks
- Better paracoherent answer sets with less resources
- Normal Form Nested Programs
- The expressive powers of the logic programming semantics
- Expressive power and complexity of partial models for disjunctive deductive databases
- Characterizations of the stable semantics by partial evaluation
- Disjunctive logic programs with existential quantification in rule heads
- On compact representations of propositional circumscription
- Paracoherent answer set computation
- Finding explanations of inconsistency in multi-context systems
- Extending and implementing the stable model semantics
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
- Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers
- Tractable reasoning using logic programs with intensional concepts
- Modular paracoherent answer sets
- On the computational cost of disjunctive logic programming: Propositional case
- Reasoning with minimal models: efficient algorithms and applications
- Prioritized logic programming and its application to commonsense reasoning
- Assumption-based argumentation is logic programming with projection
- Characterizing D-WFS: confluence and iterated GCWA
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- scientific article; zbMATH DE number 1416104 (Why is no real title available?)
- Expressiveness of logic programs under the general stable model semantics
- scientific article; zbMATH DE number 1407680 (Why is no real title available?)
- Expressiveness of stable model semantics for disjunctive logic programs with functions
- Enhancing DLV instantiator by backjumping techniques
- On stable-like semantics for logic programs
- Partial equilibrium logic
- On logics and semantics for general logic programs
- Well-founded and stationary models of logic programs
- Interlinking logic programs and argumentation frameworks
- scientific article; zbMATH DE number 1507287 (Why is no real title available?)
- Deductive databases for computing certain and consistent answers from mediated data integration systems
- Many-valued dynamic object-oriented inheritance and approximations
- Well-Founded and Partial Stable Semantics Logical Aspects
- Computing only minimal answers in disjunctive deductive databases
- Logic Programming and Nonmonotonic Reasoning
- A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
- Static semantics for normal and disjunctive logic programs
- Loop checking and the well-founded semantics
- Labellings for assumption-based and abstract argumentation
- Determining inference semantics for disjunctive logic programs
- scientific article; zbMATH DE number 1114054 (Why is no real title available?)
- A fixpoint semantics for disjunctive logic programs
- Complexity results for abductive logic programming
- Strong and explicit negation in non-monotonic reasoning and logic programming
- Disjunctive logic and semantics of disjunctive logic programs
- scientific article; zbMATH DE number 4155872 (Why is no real title available?)
- Dual-normal logic programs -- the forgotten class
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Enhancing disjunctive logic programming systems by SAT checkers
- Closed world assumption for disjunctive reasoning
- Characterising and explaining inconsistency in logic programs
- On look-ahead heuristics in disjunctive logic programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3983045)
