Sciweavers

2022 search results - page 31 / 405
» Complexity of Non-Monotonic Logics
Sort
View
CORR
2010
Springer
52views Education» more  CORR 2010»
14 years 10 months ago
On the complexity of stratified logics
Luca Vercelli
CORR
2008
Springer
94views Education» more  CORR 2008»
14 years 10 months ago
Complexity of Hybrid Logics over Transitive Frames
Martin Mundhenk, Thomas Schneider 0002, Thomas Sch...
JAR
2008
77views more  JAR 2008»
14 years 10 months ago
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
47
Voted
SLOGICA
2008
76views more  SLOGICA 2008»
14 years 10 months ago
Infinitary Action Logic: Complexity, Models and Grammars
Wojciech Buszkowski, Ewa Palka
IGPL
2000
82views more  IGPL 2000»
14 years 10 months ago
The Computational Complexity of Hybrid Temporal Logics
Carlos Areces, Patrick Blackburn, Maarten Marx