Sciweavers

4370 search results - page 264 / 874
» Algebra of Logic Programming
Sort
View
98
Voted
ECAI
2006
Springer
15 years 4 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
89
Voted
APSEC
2001
IEEE
15 years 4 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
108
Voted
ATAL
2001
Springer
15 years 4 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...