Sciweavers

7 search results - page 1 / 2

» aicom 2010

86

AICOM
2010

59views more AICOM 2010»

Restricting backtracking in connection calculi

15 years 3 months ago

Restricting backtracking in connection calculi

Download www.leancop.de

Jens Otten

claim paper

Read More »

100

AICOM
2010

102views more AICOM 2010»

An application of automated reasoning in natural language question answering

15 years 2 months ago

An application of automated reasoning in natural language question answering

Download www.uni-koblenz.de

Ulrich Furbach, Ingo Glöckner, Björn Pel...

claim paper

Read More »

89

AICOM
2010

75views more AICOM 2010»

Large theory reasoning with SUMO at CASC

15 years 3 months ago

Large theory reasoning with SUMO at CASC

Download www.adampease.org

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven T...

claim paper

Read More »

86

AICOM
2010

64views more AICOM 2010»

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

15 years 3 months ago

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Download www.lsi.upc.edu

Roberto Javier Asín Achá, Robert Nie...

claim paper

Read More »

137

AICOM
2010

129views more AICOM 2010»

Automated theorem proving in quasigroup and loop theory

15 years 3 months ago

Automated theorem proving in quasigroup and loop theory

Download www.karlin.mff.cuni.cz

We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...

J. D. Phillips, David Stanovský

claim paper

Read More »

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