Search Sciweavers | Sciweavers

736 search results - page 3 / 148

» A Science of Reasoning (Extended Abstract)

129

click to vote

DLOG
2009

84views Automated Reasoning» more DLOG 2009»

Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)

15 years 5 months ago

Download dl.kr.org

Inanç Seylan, Enrico Franconi, Jos de Bruij...

claim paper

Read More »

160

click to vote

STACS
1993
Springer

81views Theoretical Computer Science» more STACS 1993»

Exact Algorithms for a Geometric Packing Problem (Extended Abstract)

15 years 11 months ago

Download www.mpi-inf.mpg.de

Ludek Kucera, Kurt Mehlhorn, B. Preis, E. Schwarze...

claim paper

Read More »

154

Voted

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

15 years 11 months ago

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

323

Voted

DLOG
2011

304views Automated Reasoning» more DLOG 2011»

DL-Lite with Attributes and Sub-Roles (Extended Abstract)

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Alessandro Artale, Yazmin Angélica Ib&aacut...

claim paper

Read More »

137

Voted

AAAI
1990

63views Intelligent Agents» more AAAI 1990»

Rationality and its Roles in Reasoning (Extended Abstract)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers