Sciweavers

8337 search results - page 3 / 1668
» Reasoning With Characteristic Models
Sort
View
AAAI
1998
13 years 8 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
IEAAIE
2009
Springer
14 years 1 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
ECCV
2010
Springer
13 years 4 months ago
Non-local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
Tamar Avraham, Michael Lindenbaum
IDEAS
1999
IEEE
166views Database» more  IDEAS 1999»
13 years 11 months ago
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
Cory J. Butz, S. K. Michael Wong
IJIIDS
2011
72views more  IJIIDS 2011»
12 years 10 months ago
An agent model integrating an adaptive model for environmental dynamics
The environments in which agents are used often may be described by dynamical models, for example in the form of a set of differential equations. In this paper an agent model is pr...
Jan Treur, Muhammad Umair