Interdefinability of defeasible logic and logic programming under the well-founded semantics

We provide a method of translating theories of Nute's defeasible logic into logic programs, and a corresponding translation in the opposite direction. Under certain natural restrictions, the conclusions of defeasible theories under the ambiguity propagating defeasible logic ADL correspond to th...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 13; číslo 1; s. 107 - 142
Hlavní autor:	MAIER, FREDERICK
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.01.2013
Témata:	Ambiguity Constrictions Formalism Logic Logic programming Operators Regular Papers Semantics Translations well-founded semantics logic programming ambiguity blocking and propagation defeasible logic stable model semantics
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!