Výsledky vyhledávání - "semantics for logic programming with nonmonotonic modes of negation"

Dualities between alternative semantics for logic programming and nonmonotonic reasoning

Autoři: V. S. Subrahmanian Chitta Baral

Zdroj: Journal of Automated Reasoning. 10:399-420

Témata: Hoare's power domain ordering, stable class semantics, Smyth's power-domain ordering, Semantics in the theory of computing, default theories, 16. Peace & justice, Logic programming, semantics for logic programming with nonmonotonic modes of negation, well-founded semantics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/484772
https://doi.org/10.1007/bf00881799
https://dblp.uni-trier.de/db/journals/jar/jar10.html#BaralS93
https://asu.pure.elsevier.com/en/publications/dualities-between-alternative-semantics-for-logic-programming-and
https://link.springer.com/article/10.1007/BF00881799