2253 search results - page 153 / 451 » The ComFoRT Reasoning Framework |
116
click to vote
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
134
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
151
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
132
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
115
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...