Sciweavers

1087 search results - page 41 / 218
» Exploiting Description Logic Reasoners in Inductive Logic
Sort
View
JURIX
2008
14 years 11 months ago
Formal Aspects of Legislative Meta-Drafting
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
Carlo Biagioli, Davide Grossi
RR
2010
Springer
14 years 8 months ago
On the Semantic Relationship between Datalog and Description Logics
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
Markus Krötzsch, Sebastian Rudolph, Peter H. ...
WILF
2005
Springer
124views Fuzzy Logic» more  WILF 2005»
15 years 3 months ago
Possibilistic Planning Using Description Logics: A First Step
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
Célia da Costa Pereira, Andrea Tettamanzi
AIIA
1997
Springer
15 years 1 months ago
Introducing Abduction into (Extensional) Inductive Logic Programming Systems
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...