Sciweavers

3693 search results - page 184 / 739
» Splitting a Logic Program
Sort
View
VLDB
1990
ACM
66views Database» more  VLDB 1990»
15 years 10 months ago
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...
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