Sciweavers

3891 search results - page 8 / 779

» A logic for strategic reasoning

18

CADE
2002
Springer

141views Logical Reasoning» more CADE 2002»

HyLoRes 1.0: Direct Resolution for Hybrid Logics

14 years 7 months ago

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Download hylo.loria.fr

Carlos Areces, Juan Heguiabehere

claim paper

Read More »

26

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 7 months ago

Temporal Logic for Proof-Carrying Code

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper

Read More »

22

CADE
2001
Springer

181views Logical Reasoning» more CADE 2001»

NEXPTIME-Complete Description Logics with Concrete Domains

14 years 7 months ago

NEXPTIME-Complete Description Logics with Concrete Domains

Download www.comlab.ox.ac.uk

Carsten Lutz

claim paper

Read More »

49

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

13 years 11 months ago

Nuprl-Light: An Implementation Framework for Higher-Order Logics

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »

56

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

13 years 8 months ago

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

claim paper

Read More »

« Prev « First page 8 / 779 Last » Next »