3053 search results - page 302 / 611 » A Logic of Abstract Argumentation |
204
click to vote
SUM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
214
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
162
click to vote
WOLLIC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...
168
click to vote
DEON
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
194
click to vote
INLG
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...