Sciweavers

406 search results - page 46 / 82
» Dynamic Logic for Plan Revision in Intelligent Agents
Sort
View
ICWS
2004
IEEE
15 years 1 months ago
Team-based Agents for Proactive Failure Handling in Dynamic Composition of Web Services
Currently web services composition problems are addressed using AI planning techniques . The team-based approach, with emphases on the sharing of mental models and proactive colla...
Xiaocong Fan, Karthikeyan Umapathy, John Yen, Sand...
ITSSA
2006
80views more  ITSSA 2006»
14 years 11 months ago
Self-Configuring Socio-Technical Systems: Redesign at Runtime
: Modern information systems are becoming more and more socio-technical systems, namely systems composed of human (social) agents and software (technical) systems operating togethe...
Volha Bryl, Paolo Giorgini
AAAI
2007
15 years 2 months ago
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
AGP
2003
IEEE
15 years 5 months ago
An Evolving Agent with EVOLP
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
José Júlio Alferes, Antonio Brogi, J...
IAT
2006
IEEE
15 years 5 months ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...