Sciweavers

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