Sciweavers

4192 search results - page 59 / 839
» Probabilistic Logic Programming
Sort
View
FUIN
2007
220views more  FUIN 2007»
13 years 10 months ago
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Joost Vennekens, Johan Wittocx, Maarten Marië...
CORR
2010
Springer
119views Education» more  CORR 2010»
13 years 7 months ago
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
Stefan Kiefer, Dominik Wojtczak
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
14 years 4 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
FECS
2007
109views Education» more  FECS 2007»
13 years 11 months ago
Prolog as the First Programming Language
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...
Arthur Fleck
CORR
2007
Springer
126views Education» more  CORR 2007»
13 years 10 months ago
Linear Tabling Strategies and Optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen