Sciweavers

3446 search results - page 405 / 690
» A Reasoning Algorithm for pD*
Sort
View
DALT
2006
Springer
15 years 10 months ago
Automating Belief Revision for AgentSpeak
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and supp...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...
ECAI
2006
Springer
15 years 10 months ago
An Efficient Upper Approximation for Conditional Preference
The fundamental operation of dominance testing, i.e., determining if one alternative is preferred to another, is in general very hard for methods of reasoning with qualitative cond...
Nic Wilson
ESWS
2006
Springer
15 years 10 months ago
Resolving Inconsistencies in Evolving Ontologies
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
Peter Plessers, Olga De Troyer
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
15 years 10 months ago
How to Keep a Dead Man from Shooting
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
Martin Mauve
AAAI
2007
15 years 9 months ago
Optimal Multi-Agent Scheduling with Constraint Programming
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman,...