Stable models and their computation for logic programming with inheritance and true negation

DOI10.1016/0743-1066(95)00076-3zbMath0874.68048OpenAlexW1988852908MaRDI QIDQ3129493

Pasquale Rullo, Francesco Buccafurri, Nicola Leone

Publication date: 27 April 1997

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

Full work available at URL: https://doi.org/10.1016/0743-1066(95)00076-3

zbMATH Keywords

defeasile reasoningtrue negation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ An authorization model and its formal semantics

This page was built for publication: Stable models and their computation for logic programming with inheritance and true negation