Sciweavers

3032 search results - page 325 / 607
» Description Logic Rules
Sort
View
SIGIR
1998
ACM
15 years 8 months ago
DOLORES: A System for Logic-Based Retrieval of Multimedia Objects
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
Norbert Fuhr, Norbert Gövert, Thomas Röl...
ICLP
2010
Springer
15 years 8 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
ESWA
2006
114views more  ESWA 2006»
15 years 4 months ago
Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming
The paper demonstrates the efficient use of hybrid intelligent systems for solving the classification problem of bankruptcy. The aim of the study is to obtain classification schem...
Athanasios Tsakonas, Georgios Dounias, Michael Dou...
JCIT
2008
154views more  JCIT 2008»
15 years 4 months ago
A Prospective Fuzzy Logic approach to Knowledge-based Navigation of Mobile LEGO-Robot
The development of techniques for knowledge-based navigation constitutes one of the major trends in the current research on mobile robotics. Fuzzy logic provides tools that are of...
Hrudaya K. Tripathy, B. K. Tripathy, Pradip K. Das
LISP
2006
160views more  LISP 2006»
15 years 4 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin