John K. Slaney

75 papers A* 11A 20B 3Journal 27Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On a Suggested Logic for Paraconsistent Mathematics. Australas. J. Log. John K. Slaney
2025	J	`jnl`	On the Irrationality of the Square Root of 2. Australas. J. Log. John K. Slaney
2024	—	`conf`	A Fresh Look at Relevant Number Theory. ARQNL@IJCAR John K. Slaney
2022	J	`jnl`	Models of Relevant Arithmetic. Australas. J. Log. John K. Slaney
2018	J	`jnl`	Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. John K. Slaney, Bruno Woltzenlogel Paleo
2018	J	`jnl`	Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. John K. Slaney, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Logic for Fun: An Online Tool for Logical Modelling. FLAP John K. Slaney
2017	A	`conf`	Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CADE Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CoRR Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo
2016	J	`jnl`	Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. CoRR John K. Slaney, Bruno Woltzenlogel Paleo
2015	J	`jnl`	Logic considered fun. CoRR John K. Slaney
2014	A	`conf`	Set-theoretic duality: A fundamental feature of combinatorial optimisation. ECAI John K. Slaney
2014	J	`jnl`	The One-Variable Fragment of T J. Philos. Log. John K. Slaney, Edward Walker
2013	J	`jnl`	Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards CoRR Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
2013	A*	`conf`	Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney
2012	A*	`conf`	Minimal Landmarks for Optimal Delete-Free Planning. ICAPS Patrik Haslum, John K. Slaney, Sylvie Thiébaux
2012	J	`jnl`	On the Ternary Relation and Conditionality. J. Philos. Log. J. C. Beall, Ross T. Brady, J. Michael Dunn, Allen Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John K. Slaney, Richard Sylvan
2011	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards CoRR Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
2010	J	`jnl`	A Logic for Vagueness. Australas. J. Log. John K. Slaney
2010	A	`conf`	An Integrated Modelling, Debugging, and Visualisation Environment for G12. CP Andreas Bauer, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney
2010	—	`conf`	Visualising Reasoning: What ATP Can Learn From CP. UITP John K. Slaney
2009	—	`conf`	Constraint Modelling: A Challenge for First Order Automated Reasoning. FTP Peter Baumgartner, John K. Slaney
2009	B	`conf`	Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. ICTAI Anbulagan, John K. Slaney
2008	J	`jnl`	A finite fragment of S3. Reports Math. Log. Tomasz Kowalski, John K. Slaney
2008	—	`conf`	Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk). PAAR/ESHOL John K. Slaney
2006	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
2006	A*	`conf`	Estimating Search Tree Size. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2005	A*	`conf`	Backbones and Backdoors in Satisfiability. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2005	A	`conf`	Lookahead Saturation with Restriction for SAT. CP Anbulagan, John K. Slaney
2005	A*	`conf`	Old Resolution Meets Modern SLS. AAAI Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
2005	—	`conf`	Relevant Logic and Paraconsistency. Inconsistency Tolerance John K. Slaney
2005	J	`jnl`	Semipositive LTL with an Uninterpreted Past Operator. Log. J. IGPL John K. Slaney
2005	A*	`conf`	The Backbone of the Travelling Salesperson. IJCAI Philip Kilby, John K. Slaney, Toby Walsh
2005	A	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2005	B	`conf`	The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
2004	A	`conf`	Guiding a Theorem Prover with Soft Constraints. ECAI John K. Slaney, Arnold Binas, David Price
2004	A*	`conf`	Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI Arnold Binas, John K. Slaney
2002	—	`ed.`	AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings Australian Joint Conference on Artificial Intelligence Bob McKay, John K. Slaney
2002	A	`conf`	Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
2002	J	`jnl`	More Proofs of an Axiom of Lukasiewicz. J. Autom. Reason. John K. Slaney
2002	A	`conf`	Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
2002	J	`jnl`	TPTP, CASC and the development of a semantically guided theorem prover. AI Commun. Kahlil Hodgson, John K. Slaney
2001	A*	`conf`	Backbones in Optimization and Approximation. IJCAI John K. Slaney, Toby Walsh
2001	J	`jnl`	Blocks World revisited. Artif. Intell. John K. Slaney, Sylvie Thiébaux
2001	A	`conf`	System Description: SCOTT-5. IJCAR Kahlil Hodgson, John K. Slaney
2000	A	`conf`	Estimating the Hardness of Optimisation. ECAI John K. Slaney, Sylvie Thiébaux, Philip Kilby
2000	J	`jnl`	Introduction. Inf. Comput. John K. Slaney
2000	A	`conf`	Is there a Constaintness Knife-edge? ECAI John K. Slaney
2000	B	`ed.`	PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings PRICAI Riichiro Mizoguchi, John K. Slaney
1999	—	`conf`	Towards Perfect Objects. TOOLS (32) Hongxue Wang, Vijay Varadharajan, John K. Slaney
1998	—	`ed.`	Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers Australian Joint Conference on Artificial Intelligence Grigoris Antoniou, John K. Slaney
1998	—	`conf`	GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems. DAI Hongxue Wang, John K. Slaney
1998	A	`conf`	On the Hardness of Decision and Optimisation Problems. ECAI John K. Slaney, Sylvie Thiébaux
1997	—	`conf`	Logic for Two: The Semantics of Distributive Substructural Logics. ECSQARU-FAPR John K. Slaney, Robert K. Meyer
1997	A	`conf`	Minlog: A Minimal Logic Theorem Prover. CADE John K. Slaney
1996	A	`ed.`	Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings CADE Michael A. McRobbie, John K. Slaney
1996	—	`conf`	Combining Finite Model Generation with Theorem Proving: Problems and Prospects. FroCoS John K. Slaney, Timothy J. Surendonk
1996	—	`conf`	Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 John K. Slaney, Sylvie Thiébaux
1995	—	`conf`	Realistic Belief Revision. WOCFAI Greg Restall, John K. Slaney
1994	A	`conf`	FINDER: Finite Domain Enumerator - System Description. CADE John K. Slaney
1994	A	`conf`	SCOTT: Semantically Constrained Otter System Description. CADE John K. Slaney, Ewing L. Lusk, William McCune
1994	A	`conf`	The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. CADE John K. Slaney
1993	A*	`conf`	Automatic Generation of Some Results in Finite Algebra. IJCAI Masayuki Fujita, John K. Slaney, Frank Bennett
1993	A*	`conf`	SCOTT: A Model-Guided Theorem Prover. IJCAI John K. Slaney
1993	J	`jnl`	Sentential constants in systems near R. Stud Logica John K. Slaney
1992	A	`conf`	ROO: A Parallel Theorem Prover. CADE Ewing L. Lusk, William McCune, John K. Slaney
1991	J	`jnl`	The Ackermann Constant Theorem: A Computer-Assisted Investigation. J. Autom. Reason. John K. Slaney
1991	A*	`conf`	The Implications of Paraconsistency. IJCAI John K. Slaney
1990	—	`conf`	Parallel Closure-Based Automated Reasoning. Dagstuhl Seminar on Parallelization in Inference Systems Ewing L. Lusk, William McCune, John K. Slaney
1990	A	`conf`	Parallelizing the Closure Computation in Automated Deduction. CADE John K. Slaney, Ewing L. Lusk
1990	A	`conf`	Tutorial on Computing Models of Propositional Logics. CADE Paul Pritchard, John K. Slaney
1989	J	`jnl`	On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. Notre Dame J. Formal Log. John K. Slaney
1989	J	`jnl`	Solution to a problem of Ono and Komori. J. Philos. Log. John K. Slaney
1987	J	`jnl`	Reduced models for relevant logics without WI. Notre Dame J. Formal Log. John K. Slaney
1985	J	`jnl`	3088 Varieties A Solution to the Ackermann Constant Problem. J. Symb. Log. John K. Slaney