Sciweavers

7335 search results - page 81 / 1467
» Scene Based Reasoning
Sort
View
IEAAIE
2009
Springer
15 years 9 months ago
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
Tibor Bosse, Charlotte Gerritsen
ICCBR
1997
Springer
15 years 7 months ago
A Large Case-Based Reasoner for Legal Cases
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...
Rosina Weber-Lee, Ricardo Miranda Barcia, Marcio C...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 6 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
DLOG
1997
15 years 4 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
ICCBR
2001
Springer
15 years 7 months ago
Case-Based Reasoning in Course Timetabling: An Attribute Graph Approach
Edmund K. Burke, Bart L. MacCarthy, Sanja Petrovic...