Search Sciweavers | Sciweavers

3773 search results - page 99 / 755

» Logical Reasoning

107

click to vote

CONCUR
1998
Springer

101views Distributed And Parallel Com...» more CONCUR 1998»

Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

15 years 7 months ago

Download basics.sjtu.edu.cn

Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...

Frank S. de Boer

claim paper

Read More »

114

click to vote

LFCS
2009
Springer

216views Artificial Intelligence» more LFCS 2009»

Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm

15 years 10 months ago

Download www.kr.tuwien.ac.at

We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisﬁability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...

Uwe Keller, Stijn Heymans

claim paper

Read More »

127

click to vote

IJCAI
2003

168views Artificial Intelligence» more IJCAI 2003»

A Logic For Causal Reasoning

15 years 4 months ago

Download dli.iiit.ac.in

We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...

Alexander Bochman

claim paper

Read More »

click to vote

DLOG
2009

68views Automated Reasoning» more DLOG 2009»

Fair Cycle Detection using Description Logic Reasoning

15 years 1 months ago

Download www.cs.uwaterloo.ca

Shoham Ben-David, Jeffrey Pound, Richard J. Trefle...

claim paper

Read More »