Sciweavers

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