130 search results - page 4 / 26 » On the Complexity of Linking Deductive and Abstract Argument... |
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
AIME
2009
Springer
13 years 8 months ago
2009
Springer
Abstract The volume and complexity of knowledge produced by medical research calls for the development of technology for automated management and analysis of such knowledge. In thi...
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
HOLOMAS
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. Market-based approaches have a long tradition in supporting of taskassignment multiagent systems. Such systems consist of customer agents with jobs to assign, and provide...
CIIA
2009
13 years 8 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...