Parameterised complexity of model checking and satisfiability in propositional dependence logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7470
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Parameterised complexity of model checking and satisfiability in propositional dependence logic ; day:27 ; month:2 ; year:2021 ; pages:1-26
Annals of mathematics and artificial intelligence ; (27.2.2021), 1-26
- Creator
-
Mahmood, Yasir
Meier, Arne
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10472-021-09730-w
- URN
-
urn:nbn:de:101:1-2021041514412967595088
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM CEST
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
- Mahmood, Yasir
- Meier, Arne
- SpringerLink (Online service)
Other Objects (12)
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
What is answer set programming to propositional satisfiability
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Axiomatizing propositional dependence logics
Satisfiability Checking for the Coalgebraic µ-Calculus
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Satisfiability and model checking in team based logics
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
What is answer set programming to propositional satisfiability
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Axiomatizing propositional dependence logics
Satisfiability Checking for the Coalgebraic µ-Calculus
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Satisfiability and model checking in team based logics
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Programming in propositional logic or reductions : back to the roots (satisfiability)
What is answer set programming to propositional satisfiability
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Axiomatizing propositional dependence logics
Satisfiability Checking for the Coalgebraic µ-Calculus
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic