2272 search results - page 121 / 455 » A Calculus for |
138
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
146
click to vote
AAAI
2008
15 years 6 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
125
click to vote
BNCOD
1997
15 years 5 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
148
click to vote
AAAI
2010
15 years 5 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
FUIN
2006
15 years 4 months ago
2006
Abstract. Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisi...