John K. Slaney

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024

2018

Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.

[BibT_eX]

[DOI]

Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning.

[BibT_eX]

[DOI]

Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

2017

Logic for Fun: An Online Tool for Logical Modelling.

[BibT_eX]

[DOI]

FLAP, 2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.

[BibT_eX]

[DOI]

Daniyar Itegulov

Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE 26, 2017

2015

Logic considered fun.

[BibT_eX]

[DOI]

CoRR, 2015

2014

The One-Variable Fragment of T<sub>→</sub>.

[BibT_eX]

[DOI]

Edward Walker

J. Philos. Log., 2014

Set-theoretic duality: A fundamental feature of combinatorial optimisation.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Planning with MIP for Supply Restoration in Power Distribution Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

On the Ternary Relation and Conditionality.

[BibT_eX]

[DOI]

J. Philos. Log., 2012

Minimal Landmarks for Optimal Delete-Free Planning.

[BibT_eX]

[DOI]

Patrik Haslum

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2010

Visualising Reasoning: What ATP Can Learn From CP.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

An Integrated Modelling, Debugging, and Visualisation Environment for G12.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness.

[BibT_eX]

[DOI]

Anbulagan

Proceedings of the ICTAI 2009, 2009

Constraint Modelling: A Challenge for First Order Automated Reasoning.

[BibT_eX]

[DOI]

Peter Baumgartner

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

A finite fragment of S3.

[BibT_eX]

[DOI]

Tomasz Kowalski

Reports Math. Log., 2008

Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2006

Decision-Theoretic Planning with non-Markovian Rewards.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Estimating Search Tree Size.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Semipositive LTL with an Uninterpreted Past Operator.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

The Backbone of the Travelling Salesperson.

[BibT_eX]

[DOI]

Philip Kilby

Maria J. García de la Banda

Toby Walsh

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.

[BibT_eX]

[DOI]

Peter J. Stuckey

Proceedings of the Logic Programming, 21st International Conference, 2005

Relevant Logic and Paraconsistency.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Lookahead Saturation with Restriction for SAT.

[BibT_eX]

[DOI]

Anbulagan

Proceedings of the Principles and Practice of Constraint Programming, 2005

Backbones and Backdoors in Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Old Resolution Meets Modern SLS.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Guiding a Theorem Prover with Soft Constraints.

[BibT_eX]

Arnold Binas

David Price

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Semantically Guiding a First-Order Theorem Prover with a Soft Model.

[BibT_eX]

[DOI]

Arnold Binas

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002

More Proofs of an Axiom of Lukasiewicz.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

TPTP, CASC and the development of a semantically guided theorem prover.

[BibT_eX]

[DOI]

Kahlil Hodgson

AI Commun., 2002

Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards.

[BibT_eX]

[DOI]

Froduald Kabanza

Proceedings of the UAI '02, 2002

Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Blocks World revisited.

[BibT_eX]

[DOI]

Artif. Intell., 2001

Backbones in Optimization and Approximation.

[BibT_eX]

Toby Walsh

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

System Description: SCOTT-5.

[BibT_eX]

[DOI]

Kahlil Hodgson

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Introduction.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Estimating the Hardness of Optimisation.

[BibT_eX]

Philip Kilby

Proceedings of the ECAI 2000, 2000

Is there a Constaintness Knife-edge?

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Towards Perfect Objects.

[BibT_eX]

[DOI]

Hongxue Wang

Vijay Varadharajan

Proceedings of the TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

On the Hardness of Decision and Optimisation Problems.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

GISM: A Language for Modelling and Developing Agent-Based Intelligent Systems.

[BibT_eX]

[DOI]

Hongxue Wang

Proceedings of the Multi-Agent Systems: Theories, 1998

1997

Logic for Two: The Semantics of Distributive Substructural Logics.

[BibT_eX]

[DOI]

Robert K. Meyer

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Minlog: A Minimal Logic Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1996

Combining Finite Model Generation with Theorem Proving: Problems and Prospects.

[BibT_eX]

Timothy J. Surendonk

Proceedings of the Frontiers of Combining Systems, 1996

Linear Time Near-Optimal Planning in the Blocks World.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Realistic Belief Revision.

[BibT_eX]

Greg Restall

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

SCOTT: Semantically Constrained Otter System Description.

[BibT_eX]

[DOI]

William McCune

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

FINDER: Finite Domain Enumerator - System Description.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Sentential constants in systems near R.

[BibT_eX]

[DOI]

Stud Logica, 1993

SCOTT: A Model-Guided Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Automatic Generation of Some Results in Finite Algebra.

[BibT_eX]

[DOI]

Masayuki Fujita

Frank Bennett

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

ROO: A Parallel Theorem Prover.

[BibT_eX]

[DOI]

William McCune

Proceedings of the Automated Deduction, 1992

1991

The Ackermann Constant Theorem: A Computer-Assisted Investigation.

[BibT_eX]

[DOI]

J. Autom. Reason., 1991

The Implications of Paraconsistency.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Parallel Closure-Based Automated Reasoning.

[BibT_eX]

William McCune

Proceedings of the Parallelization in Inference Systems, 1990

Parallelizing the Closure Computation in Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

Tutorial on Computing Models of Propositional Logics.

[BibT_eX]

[DOI]

Paul Pritchard

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1989

Solution to a problem of Ono and Komori.

[BibT_eX]

[DOI]

J. Philos. Log., 1989

1987

Reduced models for relevant logics without WI.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1987

1985

3088 Varieties A Solution to the Ackermann Constant Problem.

[BibT_eX]

[DOI]