Sciweavers

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