Volume 13; Issue 1

Journal of Automated Reasoning

Volume 13; Issue 1
1

Parallelization of deduction strategies: An analytical study

Maria Paola Bonacina, Jieh Hsiang
Journal:
Journal of Automated Reasoning
Year:
1994
Language:
english
File:
PDF, 2.90 MB
english, 1994
2

Autoepistemic logic programming

Piero A. Bonatti
Journal:
Journal of Automated Reasoning
Year:
1994
Language:
english
File:
PDF, 1.86 MB
english, 1994
3

Autoepistemic logic of first order and its expressive power

Li-Yan Yuan
Journal:
Journal of Automated Reasoning
Year:
1994
Language:
english
File:
PDF, 1008 KB
english, 1994
4

On the termination of clause graph resolution

C. A. Johnson
Journal:
Journal of Automated Reasoning
Year:
1994
Language:
english
File:
PDF, 2.13 MB
english, 1994