365 search results - page 3 / 73 » First-order logical filtering |
CORR
2006
Springer
13 years 5 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
IGPL
2002
13 years 5 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
CADE
2005
Springer
14 years 5 months ago
2005
Springer
SEMWEB
2009
Springer
14 years 2 days ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...