474 search results - page 48 / 95 » Spatial Agents Implemented in a Logical Expressible Language |
FMSD
2002
13 years 8 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
JNCA
2007
13 years 9 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
ACOM
2006
Springer
13 years 11 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...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...