Sciweavers

247 search results - page 20 / 50
» Logical Implementation of Uncertain Agents
Sort
View
FAABS
2000
Springer
13 years 11 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
SEMWEB
2004
Springer
14 years 27 days ago
SWS for Financial Overdrawn Alerting
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
José Manuel López Cobo, Silvestre Lo...
CORR
2007
Springer
125views Education» more  CORR 2007»
13 years 7 months ago
Common knowledge logic in a higher order proof assistant?
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
Pierre Lescanne
FUIN
2010
116views more  FUIN 2010»
13 years 4 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
IAJIT
2006
225views more  IAJIT 2006»
13 years 7 months ago
Real-Time Game Design of Pac-Man Using Fuzzy Logic
: This paper presents the design and implementation of a real-time fuzzy-based artificial intelligence system for an interactive game. The chosen game is a remake of Pac-Man in whi...
Adnan Shaout, Brady W. King, Luke A. Reisner