Search Sciweavers | Sciweavers

3856 search results - page 9 / 772

» Models for Automated Earthmoving

121

click to vote

DLOG
2007

91views Automated Reasoning» more DLOG 2007»

Model Checking of Restricted CTL* Formulas using ALCK

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Taufiq Rochaeli, Claudia Eckert

claim paper

Read More »

120

click to vote

DLOG
2008

123views Automated Reasoning» more DLOG 2008»

Description Logics-Based Modelling for Precise Information Retrieval

15 years 7 months ago

Download ftp.informatik.rwth-aachen.de

Saïd Radhouani, Gilles Falquet

claim paper

Read More »

108

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 6 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

135

Voted

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

105

click to vote

DLOG
2003

107views Automated Reasoning» more DLOG 2003»

Modeling Software

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers