977 search results - page 79 / 196 » Logic programming with infinite sets |
125
click to vote
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
105
click to vote
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
105
click to vote
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
97
Voted
AAAI
1994
15 years 1 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...