1331 search results - page 87 / 267 » Description logic reasoning using the PTTP approach |
159
click to vote
ECSQARU
2009
Springer
16 years 25 days ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
142
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
171
click to vote
OWLED
2008
15 years 7 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
180
click to vote
PPSWR
2005
Springer
15 years 11 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
195
click to vote
ILP
2007
Springer
16 years 12 days ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...