Sciweavers

7456 search results - page 281 / 1492
» Parallelism in Logic Programming
Sort
View
JELIA
2004
Springer
16 years 16 days ago
The DALI Logic Programming Agent-Oriented Language
Stefania Costantini, Arianna Tocchio
JELIA
2004
Springer
16 years 16 days ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
JELIA
2004
Springer
16 years 16 days ago
Abductive Logic Programming with CIFF: System Description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
JELIA
2004
Springer
16 years 16 days ago
Equivalence of Logic Programs Under Updates
Katsumi Inoue, Chiaki Sakama