329 search results - page 46 / 66 » Resolution-based argumentation semantics |
126
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
111
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
105
Voted
ACSC
2005
IEEE
15 years 7 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
100
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
120
click to vote
CICLING
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...