4401 search results - page 412 / 881 » Computing with Default Logic |
204
click to vote
SUM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
162
click to vote
WOLLIC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
156
click to vote
FCT
2005
Springer
16 years 9 days ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
165
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
187
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...