Reliable Semantics for Extended Logic Programs with Rule Prioritization

DOI10.1093/LOGCOM/5.3.303zbMATH Open0826.68076OpenAlexW2023162198MaRDI QIDQ4835535FDOQ4835535

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

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

zbMATH Keywords

constraint violationextended logic programsreliable semantics

Mathematics Subject Classification ID

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

Cited In (4)

• Argument-based extended logic programming with defeasible priorities
• A system for defeasible argumentation, with defeasible priorities
• Prioritized logic programming and its application to commonsense reasoning
• Title not available (Why is that?)

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)