152 search results - page 9 / 31 » ai 2004 |
AI
2004
Springer
13 years 9 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
AI
2004
Springer
13 years 9 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
AIS
2004
Springer
13 years 9 months ago
2004
Springer
This paper explores the treatment of intelligent agents as innovations. Past writings in the area of intelligent agents focus on the technical merits and internal workings of agent...
AIS
2004
Springer
14 years 3 months ago
2004
Springer
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS formalisms....
AI
2004
Springer
13 years 9 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...