3053 search results - page 342 / 611 » A Logic of Abstract Argumentation |
151
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
148
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
157
click to vote
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We describe an algorithm called TargetCluster for the discretization of continuous targets in subgroup discovery. The algorithm identifies patterns in the target data an...
177
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
154
click to vote
ATVA
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...