The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John K. Slaney: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
    Old Resolution Meets Modern SLS. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:354-359 [Conf]
  2. Arnold Binas, John K. Slaney
    Semantically Guiding a First-Order Theorem Prover with a Soft Model. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:948-949 [Conf]
  3. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
    Backbones and Backdoors in Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:1368-1373 [Conf]
  4. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
    Estimating Search Tree Size. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  5. John K. Slaney, Sylvie Thiébaux
    Linear Time Near-Optimal Planning in the Blocks World. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1208-1214 [Conf]
  6. Kahlil Hodgson, John K. Slaney
    System Description: SCOTT-5. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:443-447 [Conf]
  7. Ewing L. Lusk, William McCune, John K. Slaney
    ROO: A Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:731-734 [Conf]
  8. Paul Pritchard, John K. Slaney
    Tutorial on Computing Models of Propositional Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:685- [Conf]
  9. John K. Slaney
    The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:1-13 [Conf]
  10. John K. Slaney
    FINDER: Finite Domain Enumerator - System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:798-801 [Conf]
  11. John K. Slaney
    Minlog: A Minimal Logic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:268-271 [Conf]
  12. John K. Slaney, Ewing L. Lusk
    Parallelizing the Closure Computation in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:28-39 [Conf]
  13. John K. Slaney, Ewing L. Lusk, William McCune
    SCOTT: Semantically Constrained Otter System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:764-768 [Conf]
  14. Anbulagan, John K. Slaney
    Lookahead Saturation with Restriction for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:727-731 [Conf]
  15. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  16. Ewing L. Lusk, William McCune, John K. Slaney
    Parallel Closure-Based Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:347- [Conf]
  17. John K. Slaney
    Relevant Logic and Paraconsistency. [Citation Graph (0, 0)][DBLP]
    Inconsistency Tolerance, 2005, pp:270-293 [Conf]
  18. Hongxue Wang, John K. Slaney
    GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems. [Citation Graph (0, 0)][DBLP]
    DAI, 1998, pp:122-136 [Conf]
  19. Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
    Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:576-580 [Conf]
  20. John K. Slaney
    Is there a Constaintness Knife-edge? [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:614-620 [Conf]
  21. John K. Slaney, Arnold Binas, David Price
    Guiding a Theorem Prover with Soft Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:221-225 [Conf]
  22. John K. Slaney, Sylvie Thiébaux
    On the Hardness of Decision and Optimisation Problems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:244-248 [Conf]
  23. John K. Slaney, Sylvie Thiébaux, Philip Kilby
    Estimating the Hardness of Optimisation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:123-130 [Conf]
  24. John K. Slaney, Robert Meyer
    Logic for Two: The Semantics of Distributive Substructural Logics. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:554-567 [Conf]
  25. John K. Slaney, Timothy Surendonk
    Combining Finite Model Generation with Theorem Proving: Problems and Prospects. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:141-155 [Conf]
  26. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  27. Masayuki Fujita, John K. Slaney, Frank Bennett
    Automatic Generation of Some Results in Finite Algebra. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:52-59 [Conf]
  28. Philip Kilby, John K. Slaney, Toby Walsh
    The Backbone of the Travelling Salesperson. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:175-180 [Conf]
  29. John K. Slaney
    The Implications of Paraconsistency. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:1052-1059 [Conf]
  30. John K. Slaney
    SCOTT: A Model-Guided Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:109-115 [Conf]
  31. John K. Slaney, Toby Walsh
    Backbones in Optimization and Approximation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:254-259 [Conf]
  32. Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
    Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:501-510 [Conf]
  33. Greg Restall, John K. Slaney
    Realistic Belief Revision. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:367-378 [Conf]
  34. Hongxue Wang, Vijay Varadharajan, John K. Slaney
    Towards Perfect Objects. [Citation Graph (0, 0)][DBLP]
    TOOLS (32), 1999, pp:115-126 [Conf]
  35. John K. Slaney, Sylvie Thiébaux
    Blocks World revisited. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:125, n:1-2, pp:119-153 [Journal]
  36. Kahlil Hodgson, John K. Slaney
    TPTP, CASC and the development of a semantically guided theorem prover. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:135-146 [Journal]
  37. John K. Slaney
    Introduction. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:162, n:1-2, pp:1-2 [Journal]
  38. John K. Slaney
    Semipositive LTL with an Uninterpreted Past Operator. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:2, pp:211-229 [Journal]
  39. John K. Slaney
    More Proofs of an Axiom of Lukasiewicz. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:1, pp:59-66 [Journal]
  40. John K. Slaney
    The Ackermann Constant Theorem: A Computer-Assisted Investigation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:453-474 [Journal]
  41. John K. Slaney
    3088 Varieties A Solution to the Ackermann Constant Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:487-501 [Journal]
  42. John K. Slaney
    On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:117-129 [Journal]
  43. John K. Slaney
    Sentential constants in systems near R. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:3, pp:443-456 [Journal]
  44. Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
    Decision-Theoretic Planning with non-Markovian Rewards. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:17-74 [Journal]

  45. Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). [Citation Graph (, )][DBLP]


  46. Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002