Sciweavers

376 search results - page 9 / 76
» Agent Logics as Program Logics: Grounding KARO
Sort
View
CIA
2003
Springer
14 years 21 days ago
Logic Programming for Evolving Agents
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
José Júlio Alferes, Antonio Brogi, J...
IAT
2008
IEEE
14 years 1 months ago
Evolving Logic Programming Based Agents with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
José Júlio Alferes, Alfredo Gabaldon...
TPLP
2002
99views more  TPLP 2002»
13 years 7 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
JELIA
2004
Springer
14 years 25 days ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio