Search Sciweavers | Sciweavers

12745 search results - page 193 / 2549

» Automating test automation

137

Voted

FLOPS
2008
Springer

82views Automated Reasoning» more FLOPS 2008»

Quantitative Logic Programming Revisited

15 years 7 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

Voted

DLOG
2004

90views Automated Reasoning» more DLOG 2004»

DL-Lite: Practical Reasoning for Rich Dls

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

130

click to vote

DLOG
2004

81views Automated Reasoning» more DLOG 2004»

Reasoning Services for an OWL Authoring Tool: An Experience Report

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Thorsten Liebig, Holger Pfeifer, Friedrich W. von ...

claim paper

Read More »

103

Voted

DLOG
2006

125views Automated Reasoning» more DLOG 2006»

Will my Ontologies Fit Together?

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, U...

claim paper

Read More »

138

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers