1814 search results - page 232 / 363 » Extended First-Order Logic |
118
click to vote
AAAI
2008
15 years 5 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
137
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
104
click to vote
SPLC
2008
15 years 4 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
141
click to vote
WM
2003
15 years 4 months ago
2003
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
100
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...