Sciweavers

900 search results - page 94 / 180
» Formalizing Ontological Commitment
Sort
View
ATAL
2004
Springer
15 years 3 months ago
Empirical-Rational Semantics of Agent Communication
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...
Matthias Nickles, Michael Rovatsos, Gerhard Wei&sz...
AGENTS
2001
Springer
15 years 2 months ago
Principles of intention reconsideration
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
Martijn C. Schut, Michael Wooldridge
ECAI
1994
Springer
15 years 1 months ago
Reasoning by Cases without Contraposition in Default Logic
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
Yves Moinard
ATAL
2008
Springer
14 years 12 months ago
Specifying and enforcing norms in artificial institutions
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
Nicoletta Fornara, Marco Colombetti
ER
2010
Springer
135views Database» more  ER 2010»
14 years 8 months ago
Adaptation in Open Systems: Giving Interaction Its Rightful Place
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, J...