7335 search results - page 1007 / 1467 » Scene Based Reasoning |
198
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
140
click to vote
FM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
211
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
132
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
161
click to vote
ICCBR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for con...