Sciweavers

5198 search results - page 194 / 1040
» A Logic of Agent Programs
Sort
View
PPDP
1999
Springer
15 years 8 months ago
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
Ulrich Neumerkel, Frédéric Mesnard
EAAI
2007
99views more  EAAI 2007»
15 years 4 months ago
Data mining for agent reasoning: A synergy for training intelligent agents
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...
Andreas L. Symeonidis, Kyriakos C. Chatzidimitriou...
ICLP
1998
Springer
15 years 8 months ago
Iterated Logic Program Updates
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
João Alexandre Leite, Luís Moniz Per...
ERSHOV
2009
Springer
15 years 11 months ago
A Query Language for Logic Architectures
Anton Malykh, Andrei Mantsivoda