4401 search results - page 309 / 881 » Computing with Default Logic |
138
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets P satisfying a certain closure property, a one-to-one corre...
184
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
159
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
205
click to vote
ASP
2005
Springer
16 years 5 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
173
click to vote
CLEF
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...