Negation as failure in the head

DOI10.1016/S0743-1066(97)10001-2zbMath0905.68030MaRDI QIDQ4208854

Chiaki Sakama, Katsumi Inoue

Publication date: 11 January 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

general extended disjunctive programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

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