2649 search results - page 269 / 530 » Temporal Theories of Reasoning |
154
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
121
click to vote
ICAIL
1995
ACM
15 years 8 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
149
click to vote
AAAI
2008
15 years 6 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
140
click to vote
LANMR
2007
15 years 6 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
125
click to vote
ACL
2004
15 years 5 months ago
2004
This paper describes an algorithm for detecting empty nodes in the Penn Treebank (Marcus et al., 1993), finding their antecedents, and assigning them function tags, without access...