Sciweavers

3776 search results - page 63 / 756

» Partition-Based Logical Reasoning

144

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 8 months ago

Modal vs. Propositional Reasoning for model checking with Description Logics

Download dl.kr.org

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

claim paper

Read More »

119

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 7 months ago

Description Logic Reasoning for Dynamic ABoxes

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

136

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 7 months ago

e-Service Composition by Description Logics Based Reasoning

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

159

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

15 years 3 months ago

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

178

DLOG
2003

160views Automated Reasoning» more DLOG 2003»

Expressive Description Logics

15 years 7 months ago

Expressive Description Logics

Download www.inf.unibz.it

This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...

Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

« Prev « First page 63 / 756 Last » Next »