49 search results - page 1 / 10 » An Intelligent Integrated Interactive CAD-A Preliminary Repo... |
IFIP
1991
Springer
13 years 9 months ago
1991
Springer
ASP
2005
Springer
13 years 11 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
NDQA
2003
13 years 6 months ago
2003
HITIQA is an interactive question answering technology designed to allow intelligence analysts and other users of information systems to pose questions in natural language and obt...
ARGMAS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
AAAI
2000
13 years 6 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...