Sciweavers

86 search results - page 1 / 18
» Abduction and Preferences in Linguistics
Sort
View
LPNMR
2005
Springer
14 years 4 months ago
Abduction and Preferences in Linguistics
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...
Kathrin Konczak, Ralf Vogel
JAPLL
2007
125views more  JAPLL 2007»
13 years 10 months ago
Preferential theory revision
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...
Pierangelo Dell'Acqua, Luís Moniz Pereira
PADL
2009
Springer
14 years 11 months ago
On Preferring and Inspecting Abductive Models
Gonçalo Lopes, Luís Moniz Pereira, P...
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
14 years 4 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
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 ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn