Search Sciweavers | Sciweavers

736 search results - page 3 / 148

» A Science of Reasoning (Extended Abstract)

Voted

DLOG
2009

84views Automated Reasoning» more DLOG 2009»

Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)

15 years 1 months ago

Download dl.kr.org

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

claim paper

Read More »

109

click to vote

STACS
1993
Springer

81views Theoretical Computer Science» more STACS 1993»

Exact Algorithms for a Geometric Packing Problem (Extended Abstract)

15 years 8 months ago

Download www.mpi-inf.mpg.de

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

claim paper

Read More »

103

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 7 months ago

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

242

click to vote

DLOG
2011

304views Automated Reasoning» more DLOG 2011»

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

14 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

click to vote

AAAI
1990

63views Intelligent Agents» more AAAI 1990»

Rationality and its Roles in Reasoning (Extended Abstract)

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers