4573 search results - page 618 / 915 » Automated Reasoning |
116
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
135
click to vote
ECSQARU
2007
Springer
15 years 10 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 ...
118
click to vote
ICLP
2007
Springer
15 years 10 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...
134
click to vote
ICLP
2007
Springer
15 years 10 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...
155
click to vote
ILP
2007
Springer
15 years 10 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 ...