John Slaney

According to our database, John Slaney authored at least 9 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

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

John Slaney, Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

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

John Slaney, Bruno Woltzenlogel Paleo

J. Autom. Reason., 2018

2017

Logic for Fun: An Online Tool for Logical Modelling.

John Slaney

FLAP, 2017

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.

Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE 26, 2017

2015

Logic considered fun.

John Slaney

CoRR, 2015

2014

The One-Variable Fragment of T_→.

John Slaney, Edward Walker

J. Philos. Log., 2014

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

John Slaney

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

2009

Constraint Modelling: A Challenge for First Order Automated Reasoning.

Peter Baumgartner, John Slaney

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

1989

Solution to a problem of Ono and Komori.

John Slaney

J. Philos. Log., 1989