170 search results - page 6 / 34 » Parameter Learning of Logic Programs for Symbolic-Statistica... |
ICLP
1999
Springer
15 years 1 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
CP
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
ML
2006
ACM
14 years 9 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
AAAI
2012
12 years 12 months ago
2012
Goal recognition in digital games involves inferring players’ goals from observed sequences of low-level player actions. Goal recognition models support player-adaptive digital ...
112
click to vote
EAAI
2006
14 years 9 months ago
2006
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...