A game semantics for disjunctive logic programming

Denotational semantics of logic programming and its extensions (by allowing negation, disjunctions, or both) have been studied thoroughly for many years. In 1998, a game semantics was given to definite logic programs by Di Cosmo, Loddo, and Nicolet, and a few years later it was extended to deal with...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Annals of pure and applied logic Ročník 164; číslo 11; s. 1144 - 1175
Hlavný autor:	Tsouanas, Thanos
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.11.2013 Elsevier Masson
Predmet:	Computer Science Computer Science and Game Theory Disjunctive logic programming Game semantics Logic programming Logic programming semantics Programming Languages 68N17 Disjunctive logic programming Logic programming 03B70 Game semantics Logic programming semantics 68Q55 91A40 logic programming game semantics disjunctive logic programming
ISSN:	0168-0072
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!