John K. Slaney

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]