- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Theory and Practice of Logic Programming 11 (2011) 6, pp. 953–988 DOI 10.1017/S1471068411000019
Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe ; 566
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2019
- Urheber
-
Gebser, Martin
Lee, Joohyung
Lierler, Yuliya
- URN
-
urn:nbn:de:kobv:517-opus4-413091
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gebser, Martin
- Lee, Joohyung
- Lierler, Yuliya
- Universität Potsdam
Entstanden
- 2019
Ähnliche Objekte (12)
Stationary generated models of generalized logic programs
A paraconsistent semantics for generalized logic programs
Dual-normal logic programs : the forgotten class
Logic as a medium
Reform of the United Nations Human Rights Programs
CANDYS/QA : algorithms, programs, and user‘s manual
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
The logic of play in everyday human-computer interaction
Test items for and misconceptions of competences in the domain of logic programming
From Logic to Functional Logic Programs
Water development programs in India : governance processes and effectiveness
Business start-ups and the effect of coaching programs
Stationary generated models of generalized logic programs
A paraconsistent semantics for generalized logic programs
Dual-normal logic programs : the forgotten class
Logic as a medium
Reform of the United Nations Human Rights Programs
CANDYS/QA : algorithms, programs, and user‘s manual
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
The logic of play in everyday human-computer interaction
Test items for and misconceptions of competences in the domain of logic programming
From Logic to Functional Logic Programs
Water development programs in India : governance processes and effectiveness
Business start-ups and the effect of coaching programs
Stationary generated models of generalized logic programs
A paraconsistent semantics for generalized logic programs
Dual-normal logic programs : the forgotten class
Logic as a medium
Reform of the United Nations Human Rights Programs
CANDYS/QA : algorithms, programs, and user‘s manual
Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
The logic of play in everyday human-computer interaction
Test items for and misconceptions of competences in the domain of logic programming
From Logic to Functional Logic Programs
Water development programs in India : governance processes and effectiveness