Search Sciweavers | Sciweavers

3891 search results - page 72 / 779

» A logic for strategic reasoning

click to vote

CAGD
2010

163views more CAGD 2010»

C2 Hermite interpolation by Minkowski Pythagorean hodograph curves and medial axis transform approximation

13 years 6 months ago

Download www.cl.cam.ac.uk

Jirí Kosinka, Zbynek Sír

claim paper

Read More »

click to vote

KR
1998
Springer

144views Automated Reasoning» more KR 1998»

Foundations of Spatioterminological Reasoning with Description Logics

14 years 1 months ago

Download kogs.informatik.uni-hamburg.de

This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...

Volker Haarslev, Carsten Lutz, Ralf Möller

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

14 years 3 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 2 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers