( en | de | ru )

 

Disambiguation of "Slaney, John K."

Author of the publication

copydeleteadd this publication to your clipboard
Parallelizing the Closure Computation in Automated Deduction.

, and . CADE, volume 449 of Lecture Notes in Computer Science, page 28-39. Springer, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aman K K Bhasin

K Schaber

K Beheng

K Böhm

K Kremer

 

Other publications of authors with the same name

Blocks World revisited., and . Artif. Intell., 125 (1-2): 119-153 (2001)Logic for Two: The Semantics of Distributive Substructural Logics., and . ECSQARU-FAPR, volume 1244 of Lecture Notes in Computer Science, page 554-567. Springer, (1997)FINDER: Finite Domain Enumerator - System Description.. CADE, volume 814 of Lecture Notes in Computer Science, page 798-801. Springer, (1994)Combining Finite Model Generation with Theorem Proving: Problems and Prospects., and . FroCoS, volume 3 of Applied Logic Series, page 141-155. Kluwer Academic Publishers, (1996)Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).. PAAR/ESHOL, volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Estimating Search Tree Size., , , and . AAAI, page 1014-1019. AAAI Press, (2006)Reduced models for relevant logics without WI.. Notre Dame J. Formal Log., 28 (3): 395-407 (1987)Automatic Generation of Some Results in Finite Algebra., , and . IJCAI, page 52-59. Morgan Kaufmann, (1993)Decision-Theoretic Planning with non-Markovian Rewards., , , , and . J. Artif. Intell. Res., (2006)Estimating Search Tree Size, , , and . AAAI, AAAI Press, (2006)