1802 search results - page 153 / 361 » Model-based Theory Combination |
IJAR
2008
13 years 9 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
IPL
2006
13 years 9 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
AUTOMATICA
2005
13 years 9 months ago
2005
For over a decade, the solvability of the nonlinear robust output regulation problem relies on the assumption that the exosystem is linear and neurally stable. Thus the only exogen...
TROB
2008
13 years 9 months ago
2008
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
ENTCS
2002
13 years 9 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...