86 search results - page 1 / 18 » Abduction and Preferences in Linguistics |
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
JAPLL
2007
13 years 4 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
PADL
2009
Springer
14 years 5 months ago
2009
Springer
ITS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
COLING
2010
12 years 11 months ago
2010