10568 search results - page 334 / 2114 » Computer Intelligence and Formalization |
127
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
139
click to vote
DELOS
2000
15 years 5 months ago
2000
In this short paper, the basic ideas behind a project on the application of Knowledge Representation formalisms and technologies for Conceptual Modelling and Query Management are ...
129
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of a simplified form of traditional particle swarm optimization (PSO) without the i...
127
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
112
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...