1087 search results - page 185 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
CLIMA
2004
15 years 1 months ago
2004
Abstract. This paper deals with the issue of learning in multi-agent systems (MAS). Particularly, we are interested in BDI (Belief, Desire, Intention) agents. Despite the relevance...
103
click to vote
ECAI
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
101
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
100
click to vote
WWW
2005
ACM
16 years 14 days ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...