Zobrazeno 1 - 10
of 193
pro vyhledávání: '"Slaney, John"'
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generali
Externí odkaz:
http://arxiv.org/abs/1704.03275
This paper defines the (first-order) conflict resolution calculus: an extension of the resolution calculus inspired by techniques used in modern SAT-solvers. The resolution inference is restricted to (first-order) unit-propagation and the calculus is
Externí odkaz:
http://arxiv.org/abs/1602.04568
Autor:
Slaney, John
This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or \emph{formalisation} as it is called in the older literature. The original version of the site, `Logic for Fun', dates from 20
Externí odkaz:
http://arxiv.org/abs/1507.03683
Autor:
Slaney, John, Walker, Edward
Publikováno v:
Journal of Philosophical Logic, 2014 Oct 01. 43(5), 867-878.
Externí odkaz:
https://www.jstor.org/stable/24564018
Autor:
Beall, Jc, Brady, Ross, Dunn, J. Michael, Hazen, A. P., Mares, Edwin, Meyer, Robert K., Priest, Graham, Restall, Greg, Ripley, David, Slaney, John, Sylvan, Richard
Publikováno v:
Journal of Philosophical Logic, 2012 Jun 01. 41(3), 595-612.
Externí odkaz:
https://www.jstor.org/stable/41487548
Publikováno v:
Logique et Analyse, 1996 Sep 01. 39(155/156), 379-387.
Externí odkaz:
https://www.jstor.org/stable/44084577
Autor:
Slaney, John, Thiébaux, Sylvie
Publikováno v:
In Artificial Intelligence 2001 125(1):119-153
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Slaney, John
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1993 Aug 01. 52(3), 443-455.
Externí odkaz:
https://www.jstor.org/stable/20015685
Autor:
Slaney, John K.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1984 Jan 01. 43(1/2), 159-168.
Externí odkaz:
https://www.jstor.org/stable/20015156