2519 search results - page 246 / 504 » Reasoning with Textual Cases |
178
Voted
CSL
2007
Springer
16 years 25 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
178
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
148
click to vote
SGAI
2007
Springer
16 years 23 days ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
190
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
178
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...