10568 search results - page 614 / 2114 » Computer Intelligence and Formalization |
173
click to vote
AGP
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
159
click to vote
AOSE
2003
Springer
16 years 3 days ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
168
click to vote
CEEMAS
2003
Springer
16 years 3 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
185
click to vote
DALT
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
135
click to vote
JUCS
2010
15 years 5 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...