736 search results - page 39 / 148 » A Science of Reasoning (Extended Abstract) |
131
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
156
Voted
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
134
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
127
click to vote
ACMSE
2005
ACM
15 years 9 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
146
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...