Sciweavers

2519 search results - page 96 / 504
» Reasoning with Textual Cases
Sort
View
FLAIRS
2007
15 years 6 months ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
AMI
2008
Springer
15 years 6 months ago
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
Fiemke Both, Mark Hoogendoorn, Jan Treur
MIE
2008
141views Healthcare» more  MIE 2008»
15 years 5 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
IJCAI
1997
15 years 5 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
CCE
2005
15 years 4 months ago
Synthesis of separation processes by case-based reasoning
A new approach to separation process synthesis and selection of single separations is presented. The method is based on the reuse of existing design cases by case-based reasoning ...
Timo Seuranen, Markku Hurme, Elina Pajula