LOGCOM 2007 - PDF Preprint Papers

LOGCOM 2007

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LOGCOM-2007 Paper

click to vote

LOGCOM
2007

180views more LOGCOM 2007»

A Causal Theory of Abduction

14 years 2 months ago

Download www.iccl.tu-dresden.de

The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...

Alexander Bochman

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	180	A Causal Theory of Abduction	claim
2	141	Conciliation through Iterated Belief Merging	claim
3	130	A Logic for Concepts and Similarity	claim
4	126	Causality and Counterfactuals in the Situation Calculus	claim
5	126	A Structural Proof of the Soundness of Rely/guarantee Rules	claim
6	125	Epistemic Actions as Resources	claim
7	115	The Dynamics of Syntactic Knowledge	claim
8	97	Termination for Hybrid Tableaus	claim
9	97	A General Framework for Expressing Preferences in Causal Reasoning and Planning	claim
10	92	Third-Order Computation and Bounded Arithmetic	claim
11	91	A New Modal Approach to the Logic of Intervals	claim
12	91	Generalized Strong Preservation by Abstract Interpretation	claim
13	89	Anytime Approximations of Classical Logic from Above	claim
14	89	Algorithmic Randomness of Closed Sets	claim
15	84	A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions	claim
16	79	Goal Change in the Situation Calculus	claim
17	75	The Extent of Constructive Game Labellings	claim
18	74	On Independence of Variants of the Weak Pigeonhole Principle	claim
19	72	Post's Programme for the Ershov Hierarchy	claim
20	72	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5	claim
21	59	Forgetting Literals with Varying Propositional Symbols	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers