Sciweavers

3738 search results - page 202 / 748
» Parametrized Logic Programming
Sort
View
69
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
A Functorial Framework for Constraint Normal Logic Programming
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
ECAI
2006
Springer
15 years 6 months ago
Modular Equivalence for Normal Logic Programs
Emilia Oikarinen, Tomi Janhunen
ECAI
2006
Springer
15 years 6 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 6 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver