Sciweavers

4192 search results - page 213 / 839
» Probabilistic Logic Programming
Sort
View
157
Voted
JELIA
2004
Springer
16 years 9 days ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
154
Voted
JELIA
2004
Springer
16 years 9 days ago
Abductive Logic Programming with CIFF: System Description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
159
Voted
JELIA
2004
Springer
16 years 9 days ago
Equivalence of Logic Programs Under Updates
Katsumi Inoue, Chiaki Sakama
KR
2004
Springer
16 years 9 days ago
Combining Answer Set Programming with Description Logics for the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
KR
2004
Springer
16 years 9 days ago
Condensed Representations for Inductive Logic Programming
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
Luc De Raedt, Jan Ramon