- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
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
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2019
- Creator
-
Gebser, Martin
Lee, Joohyung
Lierler, Yuliya
- URN
-
urn:nbn:de:kobv:517-opus4-413091
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gebser, Martin
- Lee, Joohyung
- Lierler, Yuliya
- Universität Potsdam
Time of origin
- 2019
Other Objects (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