Sciweavers

4573 search results - page 7 / 915

» Automated Reasoning

105

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

15 years 5 months ago

Using Description Logic for Reasoning about Diagrammatical Notations

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

113

Voted

DLOG
2010

120views Automated Reasoning» more DLOG 2010»

Optimized DL Reasoning via Core Blocking

15 years 1 months ago

Optimized DL Reasoning via Core Blocking

Download www.comlab.ox.ac.uk

Birte Glimm, Ian Horrocks, Boris Motik

claim paper

Read More »

140

TPHOL
1994
IEEE

111views Automated Reasoning» more TPHOL 1994»

Automating Verification by Functional Abstraction at the System Level

15 years 7 months ago

Automating Verification by Functional Abstraction at the System Level

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

claim paper

Read More »

145

Voted

ICLP
2009
Springer

123views Automated Reasoning» more ICLP 2009»

Automating Termination Proofs for CHR

15 years 1 months ago

Automating Termination Proofs for CHR

Download lirias.kuleuven.be

Paolo Pilozzi, Danny De Schreye

claim paper

Read More »

92

LICS
2002
IEEE

85views Automated Reasoning» more LICS 2002»

Domain Theory and Differential Calculus (Functions of one Variable)

15 years 8 months ago

Domain Theory and Differential Calculus (Functions of one Variable)

Download eprints.imperial.ac.uk

Abbas Edalat, André Lieutier

claim paper

Read More »

« Prev « First page 7 / 915 Last » Next »