- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
IFIG Research Report ; 9807 / 1998
- Ereignis
-
Veröffentlichung
- (wo)
-
Gießen
- (wer)
-
Universitätsbibliothek
- (wann)
-
1998
- Urheber
- URN
-
urn:nbn:de:hebis:26-opus-318
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 MESZ
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
- Brewka, Gerd
- Eiter, Thomas
- Universitätsbibliothek
Entstanden
- 1998
Ähnliche Objekte (12)
Disjunctive logic programs, answer sets, and the cut rule
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Extended transitive separation logic
Extended Transitive Separation Logic
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions : Extended Version
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs
Learning hierarchical probabilistic logic programs
Disjunctive logic programs, answer sets, and the cut rule
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Extended transitive separation logic
Extended Transitive Separation Logic
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions : Extended Version
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs
Learning hierarchical probabilistic logic programs
Disjunctive logic programs, answer sets, and the cut rule
From Logic to Functional Logic Programs
Termporal logic of programs
Learning efficient logic programs
Extended transitive separation logic
Extended Transitive Separation Logic
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions : Extended Version
Termination proofs for logic programs
Termination proofs for logic programs
A logic for recursive programs
Learning higher-order logic programs