2981 search results - page 238 / 597 » Answer Set Planning |
231
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Accurate and efficient integration of geospatial data is an important problem with applications in areas such as emergency response and urban planning. Some of the key challenges ...
121
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...
141
click to vote
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...
125
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
130
click to vote
AAAI
2004
15 years 5 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...