4573 search results - page 653 / 915 » Automated Reasoning |
124
Voted
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
164
click to vote
ENC
2008
IEEE
15 years 10 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
108
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
146
click to vote
ISSS
1998
IEEE
15 years 8 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
133
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...