Sciweavers

3970 search results - page 134 / 794
» A Logic For Causal Reasoning
Sort
View
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
14 years 1 months ago
Creating a Scenariologic - Design and Application of a Repeatable Methodology
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
Bert Enserink
FLAIRS
2004
13 years 9 months ago
Use of Default Reasoning for Disambiguation Under Question Answering
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
Boris Galitsky
IJCAI
2001
13 years 9 months ago
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
Volker Haarslev, Ralf Möller
AI
2002
Springer
13 years 7 months ago
On the computational complexity of assumption-based argumentation for default reasoning
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
TABLEAUX
2009
Springer
14 years 2 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...