Search Sciweavers | Sciweavers

7213 search results - page 11 / 1443

» Automated model grouping

152

click to vote

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

15 years 9 months ago

Download ftp.informatik.rwth-aachen.de

Saïd Radhouani, Gilles Falquet

claim paper

Read More »

134

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 8 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

160

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

138

click to vote

DLOG
2003

107views Automated Reasoning» more DLOG 2003»

Modeling Software

15 years 8 months ago

Download geocalc.clas.asu.edu

John Mylopoulos

claim paper

Read More »

148

Voted

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers