- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 81 - 94
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2010
- Creator
-
Herre, Heinrich
Hummel, Axel
- Contributor
-
Gesellschaft für Logische Programmierung e.V.
- URN
-
urn:nbn:de:kobv:517-opus-41496
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 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
- Herre, Heinrich
- Hummel, Axel
- Gesellschaft für Logische Programmierung e.V.
- Universität Potsdam
Time of origin
- 2010
Other Objects (12)
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs
Flexible computation of the well-founded semantics of normal logic programs
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs
Flexible computation of the well-founded semantics of normal logic programs
Stationary generated models of generalized logic programs
On elementary loops of logic programs
Dual-normal logic programs : the forgotten class
Petri net semantics of logic programs and deductive databases
Connections and generalized gauge transformations
Logic as a medium
Semantics
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
The Semantics of Ellipsis
Formal semantics for iconic gesture
Reform of the United Nations Human Rights Programs