13090 search results - page 2208 / 2618 » Usable artificial intelligence |
201
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
178
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
174
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
240
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
193
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...