Suchergebnisse - "Deduction and Theorem Proving- Logic programming Additional Key Words and Phrases"

An epistemic foundation of stable model semantics

Autoren: Yann Loyer Umberto Straccia The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Yann Loyer Umberto Straccia The Pennsylvania State University CiteSeerX Archives

Quelle: http://arxiv.org/pdf/cs/0403002v1.pdf.

Schlagwörter: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- Logic programming Additional Key Words and Phrases, Bilattices, Fixed-point semantics, Logic programs, Stable model semantics, Non-monotonic reasoning

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1854; http://arxiv.org/pdf/cs/0403002v1.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.1854
http://arxiv.org/pdf/cs/0403002v1.pdf