AICOM 2010 | Sciweavers

12

click to vote

AICOM
2010

102views more AICOM 2010»

An application of automated reasoning in natural language question answering

13 years 4 months ago

Download www.uni-koblenz.de

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

claim paper

Read More »

12

click to vote

AICOM
2010

127views more AICOM 2010»

Interactive verification of concurrent systems using symbolic execution

13 years 4 months ago

Download www.informatik.uni-augsburg.de

This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...

Simon Bäumler, Michael Balser, Florian Nafz, ...

claim paper

Read More »

13

click to vote

AICOM
2010

92views more AICOM 2010»

SOLAR: An automated deduction system for consequence finding

13 years 4 months ago

Download www.cs.bris.ac.uk

SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...

claim paper

Read More »

15

click to vote

AICOM
2010

129views more AICOM 2010»

Automated theorem proving in quasigroup and loop theory

13 years 4 months ago

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 »

6

click to vote

AICOM
2010

59views more AICOM 2010»

Restricting backtracking in connection calculi

13 years 4 months ago