2022 search results - page 57 / 405 » Complexity of Non-Monotonic Logics |
121
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
123
Voted
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
92
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
CORR
2008
Springer
15 years 21 days ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic