1835 search results - page 146 / 367 » Classifying Description Logics |
163
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we present the system ALLPAD for learning Logic Programs with Annotated Disjunctions (LPADs). ALLPAD modifies the previous system LLPAD in order to tackle real world ...
142
click to vote
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
124
click to vote
ARITH
2009
IEEE
15 years 11 months ago
2009
IEEE
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
124
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
112
click to vote
DLOG
2003
15 years 5 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...