Sciweavers

3572 search results - page 177 / 715
» Nominal Logic Programming
Sort
View
114
Voted
KR
2004
Springer
15 years 6 months 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
104
Voted
LPAR
2004
Springer
15 years 6 months ago
Implementing Efficient Resource Management for Linear Logic Programming
Pablo López, Jeff Polakow
78
Voted
LPNMR
2004
Springer
15 years 6 months ago
Verifying the Equivalence of Logic Programs in the Disjunctive Case
Emilia Oikarinen, Tomi Janhunen
NMR
2004
Springer
15 years 6 months ago
A first approach to argument-based recommender systems based on defeasible logic programming
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
Carlos Iván Chesñevar, Ana Gabriela ...
89
Voted
RULEML
2004
Springer
15 years 6 months ago
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...