Sciweavers

2519 search results - page 56 / 504
» Reasoning with Textual Cases
Sort
View
ICADL
2007
Springer
144views Education» more  ICADL 2007»
15 years 6 months ago
Automatic Text Summarization in Engineering Information Management
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
Jiaming Zhan, Han Tong Loh, Ying Liu, Aixin Sun
FLAIRS
2004
15 years 1 months ago
Case-Agents: A Novel Architecture for Case-Based Agents
This paper describes a novel architecture for a casebased reasoning (CBR) system. Unlike other agent CBR systems in this architecture every case is an autonomous agent with its ow...
Ian Watson
KI
1999
Springer
15 years 4 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...
CSL
1990
Springer
15 years 3 months ago
On the Reduction Theory for Average Case Complexity
This is an attempt to simplify and justify the notions of deterministicand randomized reductions, an attempt to derive these notions from (more or less) rst principles.
Andreas Blass, Yuri Gurevich
CADE
2008
Springer
15 years 1 months ago
LogAnswer - A Deduction-Based Question Answering System (System Description)
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
Ulrich Furbach, Ingo Glöckner, Hermann Helbig...