Search Sciweavers | Sciweavers

3970 search results - page 114 / 794

» A Logic For Causal Reasoning

click to vote

TABLEAUX
2007
Springer

174views Artificial Intelligence» more TABLEAUX 2007»

Bounded Model Checking with Description Logic Reasoning

14 years 1 months ago

Download www.cs.uwaterloo.ca

Abstract. Model checking is a technique for verifying that a ﬁnite-state concurrent system is correct with respect to its speciﬁcation. In bounded model checking (BMC), the sys...

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

click to vote

ENTCS
2008

120views more ENTCS 2008»

Reasoning about B+ Trees with Operational Semantics and Separation Logic

13 years 8 months ago

Download www.cs.bham.ac.uk

The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...

Alan P. Sexton, Hayo Thielecke

claim paper

Read More »

click to vote

JAIR
2007

146views more JAIR 2007»

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

13 years 7 months ago

Download www.jair.org

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....

claim paper

Read More »

click to vote

LPNMR
2009
Springer

78views Automated Reasoning» more LPNMR 2009»

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

14 years 2 months ago

Download www.cs.engr.uky.edu

Miroslaw Truszczynski

claim paper

Read More »