Sciweavers

3546 search results - page 192 / 710
» A Causal Logic of Logic Programming
Sort
View
ECAI
2006
Springer
15 years 8 months ago
Modular Equivalence for Normal Logic Programs
Emilia Oikarinen, Tomi Janhunen
ECAI
2006
Springer
15 years 8 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
APSEC
2001
IEEE
15 years 8 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
ATAL
2001
Springer
15 years 8 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...