4573 search results - page 372 / 915 » Automated Reasoning |
167
click to vote
ECSQARU
2007
Springer
16 years 29 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...
149
click to vote
LICS
2006
IEEE
16 years 25 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...
192
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
160
click to vote
TIME
2005
IEEE
16 years 11 days ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
160
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...