- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
An efficient propositional system for Abductive Logic Programming ; volume:57 ; number:12 ; day:17 ; month:10 ; year:2024 ; pages:1-30 ; date:12.2024
Artificial intelligence review ; 57, Heft 12 (17.10.2024), 1-30, 12.2024
- Klassifikation
-
Informatik
- Urheber
-
Gavanelli, Marco
Julián-Iranzo, Pascual
Sáenz-Pérez, Fernando
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10462-024-10928-7
- URN
-
urn:nbn:de:101:1-2501311031341.833871480379
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Gavanelli, Marco
- Julián-Iranzo, Pascual
- Sáenz-Pérez, Fernando
- SpringerLink (Online service)
Ähnliche Objekte (12)
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic
Axiomatizations for propositional and modal team logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic
Axiomatizations for propositional and modal team logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Synthesizing semantics for extensions of propositional logic