Sciweavers

2236 search results - page 1 / 448
» Language Independence and Language Tolerance in Logic Progra...
Sort
View
82
Voted
ICLP
1994
Springer
15 years 1 months ago
Language Independence and Language Tolerance in Logic Programs
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
Norman McCain, Hudson Turner
104
Voted
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
ESOP
2003
Springer
15 years 2 months ago
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
Samir Genaim, Andy King
ICLP
2009
Springer
15 years 10 months ago
A Language for Large Ensembles of Independently Executing Nodes
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
Michael P. Ashley-Rollman, Peter Lee, Seth Copen G...
72
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
14 years 9 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...