Sciweavers

2962 search results - page 191 / 593
» Reasoning on Association Rules
Sort
View
TARK
2005
Springer
16 years 1 days ago
Complexity results for logics of local reasoning and inconsistent belief
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
Martin Allen
SEMWEB
2009
Springer
15 years 11 months ago
Reasoning With Provenance, Trust and all that other Meta Knowlege in OWL
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
Simon Schenk, Renata Queiroz Dividino, Steffen Sta...
ER
1999
Springer
160views Database» more  ER 1999»
15 years 11 months ago
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
Shermann S.-M. Chan, Qing Li
ISMIS
1994
Springer
15 years 10 months ago
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
Yang Xiang
AI
2005
Springer
15 years 6 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...