Sciweavers

4978 search results - page 118 / 996
» Logical models of argument
Sort
View
ACL
2007
15 years 5 months ago
Ordering Phrases with Function Words
This paper presents a Function Word centered, Syntax-based (FWS) solution to address phrase ordering in the context of statistical machine translation (SMT). Motivated by the obse...
Hendra Setiawan, Min-Yen Kan, Haizhou Li
136
Voted
AIPS
1994
15 years 5 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
KER
2008
134views more  KER 2008»
15 years 3 months ago
A review of current defeasible reasoning implementations
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
Daniel Bryant, Paul J. Krause
128
Voted
JASIS
2010
148views more  JASIS 2010»
14 years 10 months ago
Social validation of collective annotations: Definition and experiment
People taking part in argumentativedebates through collective annotationsface a highly cognitive task when trying to estimate the group's global opinion. In order to reduce t...
Guillaume Cabanac, Max Chevalier, Claude Chrisment...
132
Voted
FASE
2001
Springer
15 years 8 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
Bart Jacobs, Erik Poll