Sciweavers

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