Sciweavers

279 search results - page 4 / 56
» Determinacy Inference for Logic Programs
Sort
View
JELIA
2004
Springer
13 years 11 months ago
Logic Programming Infrastructure for Inferences on FrameNet
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....
Peter Baumgartner, Aljoscha Burchardt
ICLP
2010
Springer
13 years 10 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
PPCP
1993
13 years 10 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning
CORR
2004
Springer
81views Education» more  CORR 2004»
13 years 6 months ago
Non-Termination Inference of Logic Programs
Étienne Payet, Frédéric Mesna...