4617 search results - page 392 / 924 » Automation of Diagrammatic Reasoning |
176
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
159
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
174
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
165
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
version of this extended abstract appeared in the proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), H...
148
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...