4617 search results - page 639 / 924 » Automation of Diagrammatic Reasoning |
182
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
183
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
191
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
230
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
232
click to vote
ILP
2007
Springer
16 years 1 months 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...