Logic & Computation publications

Book chapters

Lloyd, J., (2010). Higher-order Logic. In Claude Sammut & Geoffrey I.Webb (eds.), Encyclopedia of Machine Learning, Springer, ISBN: 9780387307688.

Journal Articles

Bauer, A., Jurjens, J., Yu, Y., (2011). Run-time security traceability for evolving systems. The Computer Journal, 54(1):58–87.

Baumgartner, P., Armando, A., Dowek, G., (2010). Preface. Journal of Automated Reasoning.

Baumgartner, P., Furbach, U., Pelzer, B., (2010). The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.. Journal of Logic and Computation, 20(1):77–109.

Baumgartner, P., Thorstensen, E., (2010). Instance Based Methods-A Brief Overview*. Kuenstliche Intelligenz`, 24(1):35–42.

Baumgartner, P., Waldmann, U., (2010). A Combined Superposition and Model Evolution Calculus. Journal of Automated Reasoning, Online:1–37.

Gammie, P., (2010). Short note: Strict unwraps make worker/wrapper fusion totally correct. Journal of Functional Programming, pp. 1–5.

Gore, R., Postniece (previously Buisman), L., (2010). Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. Journal of Logic and Computation, 20(1):233–260.

Klein, G., Andronick, J., Elphinstone, K., Heiser, G., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S., (2010). SeL4: Formal verification of an operating-system kernel. Communications of the Association for Computing Machinery, 53(6):107–115.

Kramer, S., Gore, R., Okamoto, E., (2010). Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the Web of Trust, PKIs, and ID-Based Cryptography. SIGACT News, 41(1).

Lloyd, J., Ng, K.S., (2010). Declarative programming for agent applications. Autonomous Agents and Multi-Agent Systems, pp. 1–49.

Tiu, A., Gore, R., Dawson, J., (2010). A Proof Theoretic Analysis of Intruder Theaories. Logical Methods in Computer Science, 6(3):1–37.

Tiu, A., Millar, D., (2010). Proof search specifications of bisimulation and modal logics for the n-calculus. ACM Transactions on Computational Logic, 11(2):37.

Conference Papers

Barthwal, A., Norrish, M., (2010). A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. In Anuj Dawar (ed.), Workshop on Logic, Language, Information and Computation 2010, pp. 15, Brasília Brazil.

Barthwal, A., Norrish, M., (2010). Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. In Anuj Dawar (ed.), Workshop on Logic, Language, Information and Computation 2010, pp. 10, Brasília Brazil.

Bauer, A., Botea, V., Brown, M., Gray, M., Harabor, D., Slaney, J.K., (2010). An Integrated Modelling, Debugging, and Visualization Environment for G12. In D. Cohen (ed.), International Conference on Principles and Practice of Constraint Programming 2010, pp. 15, St Andrews Scotland.

Bauer, A., Haslum, P., (2010). LTL Goal Specifications Revisited. In European Conference on Artificial Intelligence (ECAI-2010), pp. 6, Lisbon Portugal.

Gore, R., Dawson, J., (2010). Generic Methods for formalising sequent Calculi Applied to provability logic. In Christian G. Ferm (ed.), 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 263–277, Yogyakarta, Indonesia.

Gore, R., Kupke, C., Pattinson, D., (2010). optimal Tableau Algorithms for Coalgerbraic Logics. In J. Esparza and R Majumdar (eds.), International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS 2010, Paphos Cyprus.

Gore, R., Kupke, C., Pattinson, D., Schroder, L., (2010). Global Caching for Coalgebraic Description Logics. In International Joint Conference on Automated Reasoning 2010, pp. 15, Edinburgh Scotland.

Gore, R., Widmann, F., (2010). optimal and Cut-Free Tableaux for propositional dynamic logic with converse. In International Joint Conference on Automated Reasoning 2010, Edinburgh Scotland.

Kohl, J., Bauer, A., (2010). Role-Based Diagnosis for Distributed Vehicle Functions. In International Workshop on the Principles of Diagnosis 2010, pp. 8, Portland USA.

Kumar, R., Norrish, M., (2010). (Nominal) Unification by Recursive Descent with Triangular Substitutions. In International Conference on Interactive Theorem Proving (ITP 2010), pp. 16, Edinburgh Scotland.

Tiu, A., Dawson, J., (2010). Automating Open Bisimulation Checking for the Spi Calculus. In IEEE Computer Security Foundations Symposium 2010, pp. 15, Edinburgh Scotland.