1087 search results - page 67 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
103
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
DEXAW
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
115
click to vote
SUM
2009
Springer
15 years 6 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
114
click to vote
BCS
2008
15 years 3 months ago
2008
This paper describes a customisable processor designed to accelerate execution of inductive logic programming, targeting advanced field-programmable gate array (FPGA) technology. ...
110
click to vote
JDWM
2007
15 years 1 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...