Sciweavers

5506 search results - page 211 / 1102
» Minimal Logic Programs
Sort
View
105
Voted
AINA
2004
IEEE
15 years 7 months ago
Distributed Logic Programming using Mobile Agents
Tzone I. Wang, Keith L. Clark
78
Voted
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
126
Voted
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