878 search results - page 37 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
100
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
PROMAS
2005
Springer
15 years 5 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
SBIA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...