Sciweavers

3845 search results - page 224 / 769
» Belief Logic Programming
Sort
View
AINA
2004
IEEE
15 years 10 months ago
Distributed Logic Programming using Mobile Agents
Tzone I. Wang, Keith L. Clark
BIRTHDAY
2006
Springer
15 years 10 months ago
A Functorial Framework for Constraint Normal Logic Programming
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
ECAI
2006
Springer
15 years 9 months ago
Modular Equivalence for Normal Logic Programs
Emilia Oikarinen, Tomi Janhunen
APSEC
2001
IEEE
15 years 9 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver