Sciweavers

23 search results - page 1 / 5

» lpar 2007

11

LPAR
2007
Springer

112views Automated Reasoning» more LPAR 2007»

From Hilbert's Program to a Logic Toolbox

13 years 11 months ago

From Hilbert's Program to a Logic Toolbox

Download isaim2008.unl.edu

Johann A. Makowsky

claim paper

Read More »

12

LPAR
2007
Springer

111views Automated Reasoning» more LPAR 2007»

Whatever Happened to Deductive Question Answering?

13 years 11 months ago

Whatever Happened to Deductive Question Answering?

Download www.ai.sri.com

Richard J. Waldinger

claim paper

Read More »

13

LPAR
2007
Springer

117views Automated Reasoning» more LPAR 2007»

Algorithms for Propositional Model Counting

13 years 11 months ago

Algorithms for Propositional Model Counting

Download www.dur.ac.uk

Marko Samer, Stefan Szeider

claim paper

Read More »

14

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

13 years 11 months ago

Completeness for Flat Modal Fixpoint Logics

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

10

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

13 years 11 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 »