Edit Profile (opens in new tab) Slaney, John K. Co-Author Distance Author ID: slaney.john-k Published as: Slaney, John; Slaney, John K.; Slaney, J. K.; Slaney, J. more...less Homepage: https://researchers.anu.edu.au/researchers/slaney-jk External Links: MGP Documents Indexed: 40 Publications since 1984 3 Contributions as Editor Co-Authors: 33 Co-Authors with 22 Joint Publications 669 Co-Co-Authors all top 5 Co-Authors 21 single-authored 5 Meyer, Robert Kenneth 2 Hodgson, Kahlil 2 Restall, Greg 2 Thiébaux, Sylvie 2 Woltzenlogel Paleo, Bruno 1 Ali, Asif Iqbal 1 Antoniou, Grigoris 1 Beall, Jc 1 Brady, Ross Thomas 1 Bunder, Martin W. 1 Dunn, Jon Michael 1 Garcia de la Banda, Maria 1 Gretton, Charles 1 Hazen, Allen P. 1 Itegulov, Daniyar 1 Kabanza, Froduald 1 Kowalski, Tomasz 1 Lusk, Ewing L. 1 Maher, Michael J. 1 Mares, Edwin D. 1 Marriott, Kim 1 McKay, Robert Ian 1 McRobbie, Michael A. 1 Priest, Graham 1 Ripley, David 1 Sylvan, Richard 1 Somogyi, Zoltan 1 Stickel, Mark E. 1 Stuckey, Peter James 1 Surendonk, Timothy J. 1 Walker, Edward 1 Wallace, Mark G. 1 Walsh, Toby all top 5 Serials 5 Journal of Philosophical Logic 3 Journal of Automated Reasoning 3 Lecture Notes in Computer Science 2 Logique et Analyse. Nouvelle Série 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 The Australasian Journal of Logic 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 The Journal of Symbolic Logic 1 Reports on Mathematical Logic 1 Bulletin of the Section of Logic 1 AI Communications 1 The Journal of Artificial Intelligence Research (JAIR) 1 Logic Journal of the IGPL 1 Quasigroups and Related Systems 1 Analysis all top 5 Fields 31 Mathematical logic and foundations (03-XX) 19 Computer science (68-XX) 4 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 28 Publications have been cited 188 times in 166 Documents Cited by ▼ Year ▼ A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014Slaney, John K. 23 1984 On the ternary relation and conditionality. Zbl 1260.03049Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard 21 2012 Blocks World revisited. Zbl 0969.68136Slaney, J.; Thiébaux, S. 17 2001 Abelian logic (from A to Z). Zbl 0694.03019Meyer, R. K.; Slaney, J. K. 15 1989 Automated reasoning and exhaustive search: Quasigroup existence problems. Zbl 0827.20083Slaney, J.; Fujita, M.; Stickel, Mark E. 13 1995 3088 varieties. A solution to the Ackermann constant problem. Zbl 0576.03015Slaney, John K. 12 1985 Relevant logic and paraconsistency. Zbl 1111.03021Slaney, John 12 2004 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 9 2005 A structurally complete fragment of relevant logic. Zbl 0798.03019Slaney, John K.; Meyer, Robert K. 8 1992 On the structure of De Morgan monoids with corollaries on relevant logic and theories. Zbl 0671.03039Slaney, John K. 7 1989 Solution to a problem of Ono and Komori. Zbl 0671.03036Slaney, John 6 1989 RWX is not Curry paraconsistent. Zbl 0695.03013Slaney, J. K. 5 1989 The implications of paraconsistency. Zbl 0755.03009Slaney, John 4 1991 Sentential constants in systems near R. Zbl 0796.03031Slaney, John 4 1993 Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F. 4 2006 A logic for vagueness. Zbl 1330.03064Slaney, John 4 2011 A, still adorable. Zbl 1033.03019Meyer, Robert K.; Slaney, John K. 3 2002 Linear arithmetic desecsed. Zbl 0969.03069Slaney, John K.; Meyer, Robert K.; Restall, Greg 3 1996 Counting loops with the inverse property. Zbl 1146.20051Ali, Asif; Slaney, John 3 2008 Parallelizing the closure computation in automated deduction. Zbl 1509.68331Slaney, John K.; Lusk, Ewing L. 3 1990 Solution to a problem of Ono and Komori. Zbl 0679.03024Slaney, John 2 1989 More proofs of an axiom of Łukasiewicz. Zbl 1016.03014Slaney, John 2 2002 Combining finite model generation with theorem proving. Problems and prospects. Zbl 0895.03004Slaney, John; Surendonk, Timothy 2 1996 Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 1494.68287Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno 2 2017 A simple proof of consistency for a naive axiom of propositional comprehension. Zbl 0638.03020Slaney, John 1 1987 A finite fragment of S3. Zbl 1156.03020Kowalski, Tomasz; Slaney, John 1 2008 Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317 1 1996 The Ackermann constant theorem: A computer-assisted investigation. Zbl 0743.03015Slaney, John K. 1 1991 Scavenger 0.1: a theorem prover based on conflict resolution. Zbl 1494.68287Itegulov, Daniyar; Slaney, John; Woltzenlogel Paleo, Bruno 2 2017 On the ternary relation and conditionality. Zbl 1260.03049Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard 21 2012 A logic for vagueness. Zbl 1330.03064Slaney, John 4 2011 Counting loops with the inverse property. Zbl 1146.20051Ali, Asif; Slaney, John 3 2008 A finite fragment of S3. Zbl 1156.03020Kowalski, Tomasz; Slaney, John 1 2008 Decision-theoretic planning with non-Markovian rewards. Zbl 1182.68270Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F. 4 2006 The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby 9 2005 Relevant logic and paraconsistency. Zbl 1111.03021Slaney, John 12 2004 A, still adorable. Zbl 1033.03019Meyer, Robert K.; Slaney, John K. 3 2002 More proofs of an axiom of Łukasiewicz. Zbl 1016.03014Slaney, John 2 2002 Blocks World revisited. Zbl 0969.68136Slaney, J.; Thiébaux, S. 17 2001 Linear arithmetic desecsed. Zbl 0969.03069Slaney, John K.; Meyer, Robert K.; Restall, Greg 3 1996 Combining finite model generation with theorem proving. Problems and prospects. Zbl 0895.03004Slaney, John; Surendonk, Timothy 2 1996 Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Zbl 1102.68317 1 1996 Automated reasoning and exhaustive search: Quasigroup existence problems. Zbl 0827.20083Slaney, J.; Fujita, M.; Stickel, Mark E. 13 1995 Sentential constants in systems near R. Zbl 0796.03031Slaney, John 4 1993 A structurally complete fragment of relevant logic. Zbl 0798.03019Slaney, John K.; Meyer, Robert K. 8 1992 The implications of paraconsistency. Zbl 0755.03009Slaney, John 4 1991 The Ackermann constant theorem: A computer-assisted investigation. Zbl 0743.03015Slaney, John K. 1 1991 Parallelizing the closure computation in automated deduction. Zbl 1509.68331Slaney, John K.; Lusk, Ewing L. 3 1990 Abelian logic (from A to Z). Zbl 0694.03019Meyer, R. K.; Slaney, J. K. 15 1989 On the structure of De Morgan monoids with corollaries on relevant logic and theories. Zbl 0671.03039Slaney, John K. 7 1989 Solution to a problem of Ono and Komori. Zbl 0671.03036Slaney, John 6 1989 RWX is not Curry paraconsistent. Zbl 0695.03013Slaney, J. K. 5 1989 Solution to a problem of Ono and Komori. Zbl 0679.03024Slaney, John 2 1989 A simple proof of consistency for a naive axiom of propositional comprehension. Zbl 0638.03020Slaney, John 1 1987 3088 varieties. A solution to the Ackermann constant problem. Zbl 0576.03015Slaney, John K. 12 1985 A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014Slaney, John K. 23 1984 all cited Publications top 5 cited Publications all top 5 Cited by 215 Authors 12 Brady, Ross Thomas 7 Raftery, James G. 6 Slaney, John K. 6 Stuckey, Peter James 5 Restall, Greg 5 Seki, Takahiro 4 Meyer, Robert Kenneth 4 Moraschini, Tommaso 4 Robles, Gemma 4 Sorge, Volker 4 Wallace, Mark G. 4 Wannenburg, Johann J. 3 López, Sandra M. 3 Meier, Andreas 3 Rogerson, Susan 3 Sedlár, Igor 3 Standefer, Shawn 3 Tanaka, Shunji 3 Weber, Zach 3 Zhang, Hantao 3 Zhang, Jian 2 Aineto, Diego 2 Arfaee, Shahab Jabbari 2 Avron, Arnon 2 Badia, Guillermo 2 Blanco, José Miguel 2 Brand, Sebastian 2 De Koninck, Leslie 2 De Raedt, Luc 2 Duck, Gregory J. 2 Dunn, Jon Michael 2 Hoffmann, Jörg 2 Holte, Robert C. 2 Humberstone, Lloyd 2 Iemhoff, Rosalie 2 Jenei, Sándor 2 Kamide, Norihiro 2 Lusk, Ewing L. 2 Mares, Edwin D. 2 Metcalfe, George 2 Miller, Dale Allen 2 Odintsov, Sergei P. 2 Øgaard, Tore Fjetland 2 Onaindia, Eva 2 Priest, Graham 2 Puchinger, Jakob 2 Rivieccio, Umberto 2 Spinks, Matthew 2 Stickel, Mark E. 2 Tedder, Andrew 2 Thiébaux, Sylvie 2 Tierney, Kevin 2 Tiu, Alwen Fernanto 2 Zilles, Sandra 1 Ahmad, Imtiaz 1 Allo, Patrick 1 Alvarez-Valdes, Ramon 1 Amir, Eyal 1 Anders, Gerrit 1 Arndt, Michael 1 Arthan, Rob D. 1 Aucher, Guillaume 1 Barrio, Eduardo Alejandro 1 Beall, Jc 1 Bennett, Frank E. 1 Bezhanishvili, Guram 1 Blockeel, Hendrik 1 Blok, Willem Johannes 1 Bonet, Blai 1 Borumand Saeid, Arsham 1 Bose, Raj Chandra 1 Brafman, Ronen I. 1 Britz, Katarina 1 Bruynooghe, Maurice 1 Bunder, Martin W. 1 Butchart, Sam 1 Caleiro, Carlos 1 Carai, Luca 1 Chakrabarti, Soumen 1 Chen, Shuwei 1 Cheng, Xi 1 Chihani, Zakaria 1 Ciabattoni, Agata 1 Colacito, Almudena 1 Colton, Simon 1 Croonenborghs, Tom 1 Dayama, Niraj Ramesh 1 Diaconescu, Denisa 1 Ding, Yifeng 1 Distler, Andreas 1 Domshlak, Carmel 1 Došen, Kosta 1 Égré, Paul 1 Ernst, Andreas T. 1 Felner, Ariel 1 Ferguson, Thomas Macaulay 1 Fermüller, Christian G. 1 Feydy, Thibaut 1 Fierens, Daan 1 Franke, Andreas ...and 115 more Authors all top 5 Cited in 45 Serials 19 Studia Logica 18 Journal of Philosophical Logic 12 Artificial Intelligence 10 Journal of Automated Reasoning 6 The Journal of Symbolic Logic 5 Notre Dame Journal of Formal Logic 5 Logic and Logical Philosophy 4 Constraints 4 The Review of Symbolic Logic 3 The Bulletin of Symbolic Logic 2 Communications in Algebra 2 Theoretical Computer Science 2 History and Philosophy of Logic 2 Journal of Symbolic Computation 2 Computers & Operations Research 2 Machine Learning 2 European Journal of Operational Research 2 Journal of Logic, Language and Information 2 Erkenntnis 2 Journal of Applied Logic 1 Algebra Universalis 1 Canadian Journal of Mathematics 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Pure and Applied Algebra 1 Synthese 1 Bulletin of the Section of Logic 1 Journal of Computer Science and Technology 1 Journal of Intelligent & Robotic Systems 1 MSCS. Mathematical Structures in Computer Science 1 Aequationes Mathematicae 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Topoi 1 Soft Computing 1 Journal of Scheduling 1 Probability in the Engineering and Informational Sciences 1 Logica Universalis 1 Logical Methods in Computer Science 1 Nôus 1 Journal of Logical and Algebraic Methods in Programming 1 European Journal of Mathematics 1 Journal of Siberian Federal University. Mathematics & Physics all top 5 Cited in 17 Fields 118 Mathematical logic and foundations (03-XX) 50 Computer science (68-XX) 13 Operations research, mathematical programming (90-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Group theory and generalizations (20-XX) 4 Combinatorics (05-XX) 3 General and overarching topics; collections (00-XX) 3 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Difference and functional equations (39-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year