4370 search results - page 190 / 874 » Algebra of Logic Programming |
113
click to vote
EUSFLAT
2007
15 years 1 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
103
Voted
FGCS
1992
15 years 1 months ago
1992
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
82
Voted
ENTCS
2007
15 years 11 days ago
2007
Programs in modern functional logic languages are rewrite systems following the constructor discipline but where confluence and termination are not required, thus defining possi...
131
Voted
SIGCSE
2002
ACM
15 years 2 days ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
137
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...