Semantics and expressiveness of disjunctive ordered logic

DOI10.1023/A:1018986207453zbMATH Open0940.68135OpenAlexW1499911906MaRDI QIDQ1978010FDOQ1978010

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

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

zbMATH Keywords

disjunctive ordered logic

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond NP: Quantifying over Answer Sets
• Title not available (Why is that?)
• Prioritized logic programming and its application to commonsense reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Disjunctive logic programs with inheritance
• Order-dual relational semantics for non-distributive propositional logics

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)