Reliable Semantics for Extended Logic Programs with Rule Prioritization

DOI10.1093/logcom/5.3.303zbMath0826.68076OpenAlexW2023162198MaRDI QIDQ4835535

Sakti Pramanik, Anastasia Analyti

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

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

Related Items (3)

A system for defeasible argumentation, with defeasible priorities ⋮ Prioritized logic programming and its application to commonsense reasoning ⋮ Argument-based extended logic programming with defeasible priorities

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