3053 search results - page 42 / 611 » A Logic of Abstract Argumentation |
125
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
110
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Previous research has shown that hypertext links may be a useful source of evidence for document contents and relevance, but these evidence are rather difficult to represent and co...
135
click to vote
AIML
2008
15 years 3 months ago
2008
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
124
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
100
click to vote
AAAI
1994
15 years 3 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...