Volume 7; Issue 1

Journal of Applied Logic

Volume 7; Issue 1
1

Empirically successful computerized reasoning

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 65 KB
english, 2009
2

Integrating external deduction tools with ACL2

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 266 KB
english, 2009
3

Efficiently checking propositional refutations in HOL theorem provers

Tjark Weber, Hasan Amjad
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 211 KB
english, 2009
4

Lightweight relevance filtering for machine-generated resolution problems

Jia Meng, Lawrence C. Paulson
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 796 KB
english, 2009
6

Solving the $100 modal logic challenge

Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 296 KB
english, 2009
7

Applying automated deduction to natural language understanding

Johan Bos
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 571 KB
english, 2009
8

Editorial Board

Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 47 KB
english, 2009
9

Flexible software architectures for ontology-based information systems

Michael Wessel, Ralf Möller
Journal:
Journal of Applied Logic
Year:
2009
Language:
english
File:
PDF, 683 KB
english, 2009