Sciweavers

3691 search results - page 26 / 739
» Bayesian Logic Programs
Sort
View
FOIS
2006
13 years 11 months ago
PR-OWL: A Framework for Probabilistic Ontologies
Abstract. Across a wide range of domains, there is an urgent need for a wellfounded approach to incorporating uncertain and incomplete knowledge into formal domain ontologies. Alth...
Paulo Cesar G. da Costa, Kathryn B. Laskey
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
14 years 3 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
IFIP
1994
Springer
14 years 1 months ago
Logic Programming: The Evolving Algebra Approach
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
Egon Börger
IJCAI
2007
13 years 11 months ago
Using Linear Programming for Bayesian Exploration in Markov Decision Processes
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
Pablo Samuel Castro, Doina Precup