Sciweavers

1912 search results - page 264 / 383
» GOAL as a Planning Formalism
Sort
View
KES
2006
Springer
15 years 6 months ago
Building common awareness in agent organizations
Groups of collaborative agents within organizations need to achieve goals creating group awareness. This is necessary for groups to act as single entities. The notion of collective...
Ioannis Partsakoulakis, George A. Vouros
AIM
2005
15 years 6 months ago
General Game Playing: Overview of the AAAI Competition
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...
Michael R. Genesereth, Nathaniel Love, Barney Pell
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
IJPRAI
2000
83views more  IJPRAI 2000»
15 years 6 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
INFSOF
1998
88views more  INFSOF 1998»
15 years 6 months ago
A logic based language for networked agents
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Dianxiang Xu