Reliable Semantics for Extended Logic Programs with Rule Prioritization

DOI10.1093/LOGCOM/5.3.303MaRDI QIDQ4835535zbMATHOpenAlexFDO

Authors Anastasia Analyti, Sakti Pramanik

Publication date 5 July 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/5.3.303

zbMATH Keywords

constraint violationextended logic programsreliable semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1149418
• Preferred answer sets for extended logic programs
• Paraconsistent declarative semantics for extended logic programs
• The well-founded semantics for general logic programs
• scientific article; zbMATH DE number 709760

Cited in

(4)

• Argument-based extended logic programming with defeasible priorities
• A system for defeasible argumentation, with defeasible priorities
• scientific article; zbMATH DE number 517010 (Why is no real title available?)
• Prioritized logic programming and its application to commonsense reasoning

This page was built for publication: Reliable Semantics for Extended Logic Programs with Rule Prioritization

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