Sciweavers

3535 search results - page 185 / 707
» Logic Program Specialisation
Sort
View
BIRTHDAY
2006
Springer
15 years 8 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
114
Voted
APSEC
2001
IEEE
15 years 7 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver