690 search results - page 94 / 138 » Logical Agents for Language and Action |
ACOM
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
CLIMA
2006
13 years 9 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
AAAI
1992
13 years 9 months ago
1992
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...
ESWS
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...