Negation as failure in the head
From MaRDI portal
Publication:4208854
DOI10.1016/S0743-1066(97)10001-2zbMath0905.68030MaRDI QIDQ4208854
Publication date: 11 January 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items (19)
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs ⋮ On elementary loops of logic programs ⋮ Equivalence issues in abduction and induction ⋮ Default Negation as Explicit Negation plus Update ⋮ Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ Semantic forgetting in answer set programming ⋮ Open answer set programming for the semantic web ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ Consistency defaults ⋮ Computational complexity of flat and generic assumption-based argumentation, with and without probabilities ⋮ Explaining Preferences and Preferring Explanations ⋮ Default logic generalized and simplified ⋮ Hyperequivalence of logic programs with respect to supported models ⋮ Relativized hyperequivalence of logic programs for modular programming ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ LUPS -- A language for updating logic programs
This page was built for publication: Negation as failure in the head
