Sciweavers

3691 search results - page 37 / 739
» Bayesian Logic Programs
Sort
View
62
Voted
ELP
1989
15 years 4 months ago
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence C. Paulson, Andrew W. Smith
CORR
2002
Springer
119views Education» more  CORR 2002»
15 years 15 days ago
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina-Bravo, Ernesto Pimentel
92
Voted
CSMR
1998
IEEE
15 years 5 months ago
A Metrics Suite for Concurrent Logic Programs
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
117
Voted
FPCA
1995
15 years 4 months ago
The Functional Side of Logic Programming
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
Massimo Marchiori
126
Voted
IJCAI
2007
15 years 2 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker