Semantics and expressiveness of disjunctive ordered logic

DOI10.1023/A:1018986207453MaRDI QIDQ1978010zbMATH OpenOpenAlexFDO

Authors Francesco Buccafurri, N. Leone, Pasquale Rullo

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018986207453

zbMATH Keywords

disjunctive ordered logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Disjunctive logic programs with inheritance
• scientific article; zbMATH DE number 2089454
• scientific article; zbMATH DE number 1926616
• Stable models and their computation for logic programming with inheritance and true negation

Cited in

(9)

• scientific article; zbMATH DE number 2089454 (Why is no real title available?)
• Disjunctive logic programs with inheritance
• scientific article; zbMATH DE number 500947 (Why is no real title available?)
• scientific article; zbMATH DE number 6440890 (Why is no real title available?)
• Order-dual relational semantics for non-distributive propositional logics
• Prioritized logic programming and its application to commonsense reasoning
• On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
• Beyond NP: quantifying over answer sets
• scientific article; zbMATH DE number 5039823 (Why is no real title available?)

This page was built for publication: Semantics and expressiveness of disjunctive ordered logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978010)