2022 search results - page 57 / 405 » Complexity of Non-Monotonic Logics |
180
click to vote
CSL
2009
Springer
15 years 10 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...
189
click to vote
LICS
1999
IEEE
15 years 10 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...
152
click to vote
ICDT
2007
ACM
16 years 14 days 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...
154
click to vote
ASPDAC
2004
ACM
15 years 11 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...
138
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic