Sciweavers

3776 search results - page 2 / 756

» Partition-Based Logical Reasoning

47

CADE
2010
Springer

370views Logical Reasoning» more CADE 2010»

On Hierarchical Reasoning in Combinations of Theories

13 years 3 months ago

On Hierarchical Reasoning in Combinations of Theories

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

claim paper

Read More »

8

CADE
2007
Springer

117views Logical Reasoning» more CADE 2007»

Logical Engineering with Instance-Based Methods

14 years 5 months ago

Logical Engineering with Instance-Based Methods

Download users.rsise.anu.edu.au

Peter Baumgartner

claim paper

Read More »

13

CADE
2002
Springer

141views Logical Reasoning» more CADE 2002»

HyLoRes 1.0: Direct Resolution for Hybrid Logics

14 years 5 months ago

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Download hylo.loria.fr

Carlos Areces, Juan Heguiabehere

claim paper

Read More »

19

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 5 months ago

Temporal Logic for Proof-Carrying Code

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper

Read More »

12

CADE
2001
Springer

181views Logical Reasoning» more CADE 2001»

NEXPTIME-Complete Description Logics with Concrete Domains

14 years 5 months ago

NEXPTIME-Complete Description Logics with Concrete Domains

Download www.comlab.ox.ac.uk

Carsten Lutz

claim paper

Read More »

« Prev « First page 2 / 756 Last » Next »