Search Sciweavers | Sciweavers

1916 search results - page 10 / 384

» Reasoning with class algebra

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

14 years 9 months ago

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

click to vote

DLOG
2009

122views Automated Reasoning» more DLOG 2009»

Algebraic Tableau Algorithm for ALCOQ

14 years 9 months ago

Download users.encs.concordia.ca

Jocelyne Faddoul, Volker Haarslev, Ralf Mölle...

claim paper

Read More »

click to vote

LICS
2010
IEEE

176views Automated Reasoning» more LICS 2010»

Addition-Invariant FO and Regularity

14 years 10 months ago

Download www.lsv.ens-cachan.fr

We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...

Nicole Schweikardt, Luc Segoufin

claim paper

Read More »

128

click to vote

CRYPTO
2008
Springer

186views Cryptology» more CRYPTO 2008»

Communication Complexity in Algebraic Two-Party Protocols

15 years 1 months ago

Download cs.ucla.edu

In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...

Rafail Ostrovsky, William E. Skeith III

claim paper

Read More »

click to vote

DLOG
2003

98views Automated Reasoning» more DLOG 2003»

Reasoning on UML Class Diagrams is EXPTIME-hard

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers