Search Sciweavers | Sciweavers

2585 search results - page 36 / 517

» Automating Coherent Logic

113

Voted

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 7 months ago

Download www.dis.uniroma1.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

122

click to vote

FLOPS
2008
Springer

82views Automated Reasoning» more FLOPS 2008»

Quantitative Logic Programming Revisited

15 years 6 months ago

Download gpd.sip.ucm.es

Mario Rodríguez-Artalejo, Carlos A. Romero-...

claim paper

Read More »

119

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

108

Voted

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 6 months ago

Download www.mindswap.org

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

claim paper

Read More »

123

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers