1131 search results - page 85 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
143
click to vote
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
101
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
112
Voted
JASIS
2000
15 years 8 days ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
135
Voted
AAMAS
2011
Springer
14 years 4 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...