Sciweavers

3973 search results - page 186 / 795
» Records for Logic Programming
Sort
View
AINA
2004
IEEE
15 years 7 months ago
Distributed Logic Programming using Mobile Agents
Tzone I. Wang, Keith L. Clark
BIRTHDAY
2006
Springer
15 years 7 months ago
A Functorial Framework for Constraint Normal Logic Programming
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
ECAI
2006
Springer
15 years 7 months ago
Modular Equivalence for Normal Logic Programs
Emilia Oikarinen, Tomi Janhunen
ECAI
2006
Springer
15 years 7 months ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni