Search Sciweavers | Sciweavers

1664 search results - page 7 / 333

» Towards Partial Reasoning

110

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

109

Voted

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

15 years 7 months ago

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

Voted

GIS
2000
ACM

170views Automated Reasoning» more GIS 2000»

Extending Ladkin's algebra on non-convex intervals towards an algebra on union-of regions

15 years 6 months ago

Download www.jos.org.cn

Christophe Claramunt

claim paper

Read More »

click to vote

PLILP
1991
Springer

95views Programming Languages» more PLILP 1991»

Towards a Meaning of LIFE

15 years 6 months ago

Download www.hpl.hp.com

Hassan Aït-Kaci, Andreas Podelski

claim paper

Read More »

click to vote

DLOG
2008

78views Automated Reasoning» more DLOG 2008»

Towards Higher-Order DL-Lite

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers