Sciweavers

3845 search results - page 74 / 769
» Belief Logic Programming
Sort
View
CSMR
1998
IEEE
15 years 2 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
FPCA
1995
15 years 1 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
IJCAI
2007
14 years 11 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
JOLLI
1998
86views more  JOLLI 1998»
14 years 9 months ago
On the Logic of Theory Change: Contraction without Recovery
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourr´on, G¨ardenfors and Makinson is the one that has provoked most cont...
Eduardo L. Fermé
PODS
2006
ACM
156views Database» more  PODS 2006»
15 years 10 months ago
From statistical knowledge bases to degrees of belief: an overview
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
Joseph Y. Halpern