- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0665
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Disjunctive logic programs, answer sets, and the cut rule ; day:4 ; month:3 ; year:2022 ; pages:1-35
Archive for mathematical logic ; (4.3.2022), 1-35
- Urheber
-
Martin, Éric
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00153-022-00821-x
- URN
-
urn:nbn:de:101:1-2022053120033686925538
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:38 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
- Martin, Éric
- SpringerLink (Online service)
Ähnliche Objekte (12)
Preferred answer sets for extended logic programs
From Logic to Functional Logic Programs
Description logic rules
Termporal logic of programs
Learning efficient logic programs
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
Analyticity, Balance and Non-admissibility of $$\varvecCut}$$ Cut in Stoic Logic
Action logic programs : how to specify strategic behavior in dynamic domains using logical rules
Preferred answer sets for extended logic programs
From Logic to Functional Logic Programs
Description logic rules
Termporal logic of programs
Learning efficient logic programs
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
Analyticity, Balance and Non-admissibility of $$\varvecCut}$$ Cut in Stoic Logic
Action logic programs : how to specify strategic behavior in dynamic domains using logical rules
Preferred answer sets for extended logic programs
From Logic to Functional Logic Programs
Description logic rules
Termporal logic of programs
Learning efficient logic programs
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
Analyticity, Balance and Non-admissibility of $$\varvecCut}$$ Cut in Stoic Logic