Sciweavers

11436 search results - page 98 / 2288
» Modeling Real Reasoning
Sort
View
LICS
1999
IEEE
15 years 5 months ago
Plausibility Measures and Default Reasoning: An Overview
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
Joseph Y. Halpern, Nir Friedman
93
Voted
EUROMICRO
2009
IEEE
15 years 7 months ago
Using Design Patterns for Refactoring Real-World Models
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
Hamed Yaghoubi Shahir, Ehsan Kouroshfar, Raman Ram...
100
Voted
GIS
2010
ACM
14 years 11 months ago
Topological reasoning between complex regions in databases with frequent updates
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
Arif Khan, Markus Schneider
83
Voted
CONTEXT
1999
Springer
15 years 5 months ago
Counterfactual Reasoning by Means of a Calculus of Narrative Context
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
Rolf Nossum, Michael Thielscher
LANMR
2004
15 years 2 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...