4617 search results - page 825 / 924 » Automation of Diagrammatic Reasoning |
180
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe an approach to classifying objects in a domain where classifications are uncertain using a novel combination of argumentation and data mining. Classific...
152
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
172
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
182
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
161
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...