© University of Kent - Contact | Feedback | Legal | FOI | Cookies

# Publications by Prof Andy King

Also view these in the Kent Academic Repository

*Theory and Practice of Logic Programming*. Cambridge Univerity Press, pp. 1-20. Available at: https://doi.org/10.1017/S1471068420000435.

*Formal Methods in System Design*. Springer, pp. 232-277. doi: 10.1007/s10703-017-0314-7.

*Theoretical Computer Science*. Elsevier, pp. 1-64. doi: 10.1016/j.tcs.2018.12.001.

*Pattern Recognition Letters*. Elsevier, pp. 47-54. doi: 10.1016/j.patrec.2016.07.024.

*Formal Aspects of Computing*. Springer. doi: 10.1007/s00165-016-0357-3.

*Science of Computer Programming*. Elsevier, pp. 3-22. doi: 10.1016/j.scico.2014.05.013.

*Science of Computer Programming*. Elsevier, pp. 862-883. doi: 10.1016/j.scico.2012.06.001.

*Electronic Notes in Theoretical Computer Science*. Elsevier, pp. 93-107. doi: 10.1016/j.entcs.2010.09.003.

*Logical Methods in Computer Science*. Available at: http://www.cs.kent.ac.uk/pubs/2012/3238.

*Theoretical Computer Science*. Elsevier, pp. 43-55. doi: j.tcs.2012.02.024.

*Dagstuhl Reports*.

*Analysis of Executables: Benefits and Challenges*, pp. 100-116. doi: 10.4230/DagRep.2.1.100.

*Theory and Practice of Logic Programming*. Cambridge University Press, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3108.

*Logic Programming Newsletter*. Association of Logic Programming, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3095.

*Electronic Notes in Theoretical Computer Science*. Elsevier, pp. 182-196. doi: 10.1016/j.entcs.2010.09.008.

*Higher-Order and Symbolic Computation*. Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3167.

*ACM Transactions on Computational Logic*. ACM, pp. 182-196. doi: 10.1145/1352582.1352585.

*IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems*. IEEE, pp. 764-777. doi: 10.1109/TCAD.2008.917592.

*Fundamenta informaticae*. IOS Press, pp. 179-218. Available at: http://iospress.metapress.com/content/dg3x9l3ljw4p9a2j/?p=80a3bd845c2448a3a715e89f4ae6906c&pi=6.

*Theory and Practice of Logic Programming*. Cambridge Univerity Press, pp. 259-271. doi: 10.1017/S1471068404002261.

*Theory and Practice of Logic Programming*. Cambridge Univerity Press, pp. 243-257. doi: 10.1017/S1471068402001497.

*Theory and Practice of Logic Programming*. Cambridge University Press, pp. 95-124. doi: 10.1017/S1471068402001485.

*Theory and Practice of Logic Programming*. Cambridge Univerity Press, pp. 517-547. doi: 10.1017/S1471068402001436.

*Theory and Practice of Logic Programming*. Cambridge Univerity Press, pp. 447-486. doi: 10.1017/S1471068401001107.

*Journal of Logic Programming*. Elsevier, pp. 139-155. doi: 10.1016/S0743-1066(00)00009-1.

*Journal of Logic Programming*. Elsevier, pp. 143-156. doi: 10.1016/S0743-1066(00)00006-6.

*Information Processing Letters*. Elsevier Science B.V, pp. 17-23. doi: 10.1016/S0020-0190(00)00081-8.

*Journal of Functional and Logic Programming*, pp. 1-23. Available at: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-01/S99-01.html.

*Computational Logic Newsletter*, pp. 100-101.

*Journal of Programming Languages*. Chapman Hall, pp. 135-171. Available at: http://www.informatik.uni-trier.de/~ley/db/journals/jpl/jpl5.html.

*Journal of Programming Languages*. Chapman Hall, pp. 149-191.

*Lecture Notes in Computer Science*. Edited by A. Biere and D. Parker.

*26th International Conference, TACAS 2020*, Springer, pp. 79-96. doi: 10.1007/978-3-030-45190-5_5.

*Lecture Notes in Computer Science*. Edited by A. Podelski.

*SAS 2018: 25th International Static Analysis Symposium*, Springer. doi: 10.1007/978-3-319-99725-4_13.

*PPREW '13*.

*2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop*, New York, USA: ACM. doi: 10.1145/2430553.2430557.

*15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013*, New York: ACM Press, pp. 37-48. doi: 10.1145/2505879.2505886.

*15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013*, New York, USA: ACM, pp. 193-204. doi: 10.1145/2505879.2505901.

*Nineteenth Static Analysis Symposium*. Edited by A. Min'e and D. A. Schmidt.

*Nineteenth Static Analysis Symposium*, Springer, pp. 214-230. Available at: http://www.cs.kent.ac.uk/pubs/2012/3230.

*Nineteenth Static Analysis Symposium*. Edited by A. Min'e and D. A. Schmidt.

*Nineteenth Static Analysis Symposium*, Springer, pp. 41-57. Available at: http://www.cs.kent.ac.uk/pubs/2012/3223.

*Third NASA Formal Methods Symposium*. Edited by M. Bobaru, K. Havelund, G. Holzmann, and R. Joshi.

*Third NASA Formal Methods Symposium*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3084.

*Twentieth European Symposium on Programming*. Edited by G. Barthe.

*Twentieth European Symposium on Programming*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3072.

*Seventeenth International Static Analysis Symposium*. Edited by R. Cousot and M. Martel.

*Seventeenth International Static Analysis Symposium*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3015.

*Tenth International Symposium on Functional and Logic Programming*. Edited by M. Blume and G. Vidal.

*Tenth International Symposium on Functional and Logic Programming*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2970.

*Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation*. Edited by G. Barthe and M. V. Hermenegildo.

*Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2966.

*ASP-DAC '06*. Edited by H. Onodera.

*2006 Asia and South Pacific Design Automation Conference*, IEEE, pp. 243-248. doi: 10.1145/1118299.1118364.

*Ninth International Static Analysis Symposium*. Edited by M. V. Hermenegildo and G. Puebla.

*Ninth International Static Analysis Symposium*, Berlin, Germany: Springer, pp. 85-101. doi: 10.1007/3-540-45789-5_9.

*International Conference on Algebraic Methodology and Software Technology*. Edited by H. Kirchner and C. Ringeissen.

*International Conference on Algebraic Methodology and Software Technology*, Springer, pp. 365-379. doi: 10.1007/3-540-45719-4_25.

*Proceedings of Logic Based Program Development and Transformation*. Edited by M. Leuschel.

*Proceedings of Logic Based Program Development and Transformation*, Berlin, Germany: Springer, pp. 71-89. doi: 10.1007/3-540-45013-0_7.

*International Conference on Logic Programming*. Edited by P. Codognet.

*International Conference on Logic Programming*, London: Springer-Verlag, pp. 120-134. doi: 10.1007/3-540-45635-X_16.

*Logic Programming, Synthesis and Transformation (Selected Papers)*. Edited by A. Bossi.

*Logic Programming, Synthesis and Transformation (Selected Papers)*, Springer-Verlag, pp. 118-135.

*Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation*. Edited by A. Bossi.

*9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'99)*, Berlin, Germany: Springer, pp. 82-101. doi: 10.1007/10720327_6.

*Joint International Conference and Symposium on Logic Programming*. Edited by J. Jaffar.

*Joint International Conference and Symposium on Logic Programming*, Cambridge, Massachusetts, USA: MIT Press, pp. 85-99. Available at: https://dl.acm.org/citation.cfm?id=300851.

*Logic Programming, Synthesis and Transformation (Selected Papers)*. Edited by N. Fuchs.

*Logic Programming, Synthesis and Transformation (Selected Papers)*, Springer-Verlag, pp. 148-167. doi: 10.1007/3-540-49674-2_8.

*International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming*. Edited by C. Palamidessi.

*International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming*, Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196.

*International Symposium on Logic Programming*. Edited by J. Maluszynski.

*International Symposium on Logic Programming*, Cambridge, Massachusetts, USA: MIT Press, pp. 261-276. Available at: https://dl.acm.org/citation.cfm?id=271338.271391.

*Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development*. Edited by M. Bidoit and M. Dauchet.

*Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development*, Springer Verlag, pp. 173-184.

*Logic Program Synthesis and Transformation*. Edited by J. Gallagher.

*Logic Program Synthesis and Transformation*, Berlin, Germany: Springer, pp. 204-223. doi: 10.1007/3-540-62718-9_12.

*Logic Program Synthesis and Transformation*. Edited by J. Gallagher.

*Logic Program Synthesis and Transformation*, Springer-Verlag, pp. 224-238. doi: 10.1007/3-540-62718-9_13.

*Proceedings of the Symposium on Artificial Intelligence in Real-time Control*. Edited by A. Crespo.

*Proceedings of the Symposium on Artificial Intelligence in Real-time Control*, Pergamon, pp. 299-306.

*European Symposium on Programming*. Edited by D. Sannella.

*European Symposium on Programming*, Berlin, Germany: Springer, pp. 363-378. doi: 10.1007/3-540-57880-3_24.

*Logic Programming - Proceedingsof the Eleventh International Conference on Logic Programming*. Edited by P. Van Hentenryck.

*11th International Conference on Logic Programming*, Cambridge, Massachusetts, USA: MIT Press, pp. 553-568. Available at: https://dl.acm.org/citation.cfm?id=189935.

*Logic Programming: Proceedings of the Joint International Conference on Logic Programming*. Edited by K. Apt.

*Joint International Conference and Symposium on Logic Programming*, USA: MIT Press, pp. 478-492.

*Algebraic and Logic Programming*. Edited by H. Kirchner and G. Levi.

*Algebraic and Logic Programming*, Springer, pp. 322-334.

*Processing Declarative Knowledge*. Edited by H. Boley and M. Richter.

*Processing Declarative Knowledge*, Springer-Verlag, pp. 279-286.

*Eleventh International Symposium on Functional and Logic Programming*. Edited by T. Schrijvers and P. Thiemann.

*Eleventh International Symposium on Functional and Logic Programming*, Kobe, Japan: Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2012/3201.

*Twenty Third International Conference on Computer Aided Verification*. Edited by G. Gopalakrishnan and S. Qadeer.

*Twenty Third International Conference on Computer Aided Verification*, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3094.

*27th International Conference on Logic Programming*, University of Kent, School of Computing.

*Proceedings on Logic-Based Methods in Programming Envrionments*. Edited by P. Arenas and D. Zanardini.

*Proceedings on Logic-Based Methods in Programming Envrionments*, Udine: CoRR, pp. 1-7.

*14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming*, New York, USA: ACM.

_{n}

^{xi,xj}where the index n?[1,6] indicates that a specific co-factor equivalence property holds between the variables x

_{i}and x

_{j}. The other six symmetries are denoted neg T

_{n}

^{xi,xj}, and indicate that one co-factor is equivalent to the negation of the other. The relationships that are specified take the form, if T

_{p}

^{xi,xj}and T

_{q}

^{xj,xk}hold then T

_{r}

^{xi,xj}holds where T

_{p},T

_{q}and T

_{r}denote one of these twelve symmetry types.