Sciweavers

127 search results - page 1 / 26
» Programming Rational Agents in a Modal Action Logic
Sort
View
AMAI
2004
Springer
13 years 4 months ago
Programming Rational Agents in a Modal Action Logic
Matteo Baldoni, Alberto Martelli, Viviana Patti, L...
KI
2006
Springer
13 years 4 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
DALT
2008
Springer
13 years 6 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk
JLP
2007
159views more  JLP 2007»
13 years 4 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
AIR
2004
106views more  AIR 2004»
13 years 4 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti