Sciweavers

1143 search results - page 137 / 229
» Prospective Logic Agents
Sort
View
SYNTHESE
2008
79views more  SYNTHESE 2008»
15 years 6 months ago
Logical dynamics of some speech acts that affect obligations and preferences
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
Tomoyuki Yamada
ENTCS
2002
112views more  ENTCS 2002»
15 years 6 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
BIRTHDAY
2006
Springer
15 years 10 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
EEE
2005
IEEE
16 years 5 hour ago
DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
Grigoris Antoniou, Thomas Skylogiannis, Antonis Bi...
CLIMA
2004
15 years 7 months ago
Symbolic Negotiation with Linear Logic
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
Peep Küngas, Mihhail Matskin