Sciweavers

23 search results - page 1 / 5

» lpar 2007

21

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

14 years 1 months ago

From Hilbert's Program to a Logic Toolbox

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

19

LPAR
2007
Springer

111views Automated Reasoning» more LPAR 2007»

Whatever Happened to Deductive Question Answering?

14 years 1 months ago

Whatever Happened to Deductive Question Answering?

Download www.ai.sri.com

Richard J. Waldinger

claim paper

Read More »

20

LPAR
2007
Springer

117views Automated Reasoning» more LPAR 2007»

Algorithms for Propositional Model Counting

14 years 1 months ago

Algorithms for Propositional Model Counting

Download www.dur.ac.uk

Marko Samer, Stefan Szeider

claim paper

Read More »

20

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

14 years 1 months ago

Completeness for Flat Modal Fixpoint Logics

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

17

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

14 years 1 months ago

One-Pass Tableaux for Computation Tree Logic

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

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