836 search results - page 5 / 168 » Description logic programs: combining logic programs with de... |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
80
Voted
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
EUSFLAT
2007
14 years 11 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...
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
CVPR
2012
IEEE
13 years 13 hour ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...