Sciweavers

8766 search results - page 287 / 1754
» Functional logic programming
Sort
View
JELIA
2004
Springer
16 years 1 days ago
Equivalence of Logic Programs Under Updates
Katsumi Inoue, Chiaki Sakama
KR
2004
Springer
16 years 1 days ago
Combining Answer Set Programming with Description Logics for the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
KR
2004
Springer
16 years 1 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