Sciweavers

IJCAI
2003
13 years 6 months ago
Demonstration: Liaison Agents for Distributed Space Operations
Debra Schreckenghost, R. Peter Bonasso, David Kort...
IJCAI
2003
13 years 6 months ago
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
Stefan Schlobach, Ronald Cornet
IJCAI
2003
13 years 6 months ago
Modular self-organization for a long-living autonomous agent
The aim of this paper is to provide a sound framework for addressing a difficult problem: the automatic construction of an autonomous agent's modular architecture. We briefly...
Bruno Scherrer
IJCAI
2003
13 years 6 months ago
A Logic-based Algorithm for Image Sequence Interpretation and Anchoring
This paper describes a logic-based framework for interpretation of sequences of scenes captured by a stereo vision system of a mobile robot. An algorithm for anchoring and interpr...
Paulo Santos, Murray Shanahan
IJCAI
2003
13 years 6 months ago
Ordering Default Theories
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
Chiaki Sakama
IJCAI
2003
13 years 6 months ago
Minimally intrusive negotiating agents for resource sharing
Fariba Sadri, Francesca Toni, Paolo Torroni
IJCAI
2003
13 years 6 months ago
Automated Qualitative Domain Abstraction
Martin Sachenbacher, Peter Struss
IJCAI
2003
13 years 6 months ago
Constructing utility models from observed negotiation actions
We propose a novel method for constructing utility models by learning from observed negotiation actions. In particular, we show how offers and counter-offers in negotiation can be...
Angelo C. Restificar, Peter Haddawy