1917 search results - page 103 / 384 » Experimenting with Nonmonotonic Reasoning |
120
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
130
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
140
Voted
STACS
1993
Springer
15 years 4 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
94
Voted
JAPLL
2010
14 years 11 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
93
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...