Sciweavers

356 search results - page 39 / 72
» Axiomatizing Causal Reasoning
Sort
View
AAAI
2007
15 years 4 months ago
Forgetting Actions in Domain Descriptions
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
Esra Erdem, Paolo Ferraris
KR
2010
Springer
15 years 6 months ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer
CSL
2010
Springer
15 years 3 months ago
Exact Exploration and Hanging Algorithms
Abstract. Recent analysis of sequential algorithms resulted in their axiomatization and in a representation theorem stating that, for any sealgorithm, there is an abstract state ma...
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
TFS
2011
264views Education» more  TFS 2011»
14 years 9 months ago
Information Granularity in Fuzzy Binary GrC Model
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...
Yuhua Qian, Jiye Liang, W.-z. Z. Wu, Chuangyin Dan...
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 3 months ago
Intrinsic Geometric Scale Space by Shape Diffusion
This paper formalizes a novel, intrinsic geometric scale space (IGSS) of 3D surface shapes. The intrinsic geometry of a surface is diffused by means of the Ricci flow for the gener...
Guangyu Zou, Jing Hua, Zhaoqiang Lai, Xianfeng ...