Publications

2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | Complete list


2013

  1. Alabbas, M., & Ramsay, A. (2013). Natural language inference for arabic using extended tree edit distance with subtrees. Journal of Artificial Intelligence Research, 48, 1-22. DOI: http://www.jair.org/papers/paper3892.html. Publication link: d3fc7d1c-d620-49d4-a0e2-333f324107f0
  2. Alabbas, M., & Ramsay, A. (2013). Optimising tree edit distance with subtrees for textual entailment. In International Conference Recent Advances in Natural Language Processing, RANLP|Int. Conf. Recent Adv. Nat. Lang. Proces., RANLP. (pp. 9-17). Publication link: 044b37e6-1bcc-4462-84ba-ff5a36b2d07f
  3. Jaf, S., & Ramsay, A. (2013). The Hybridisation of a Data-driven Parser for Natural Languages. In 6th International Conference on Language and Technology. (pp. 531-535). Publication link: 1dc87b44-5717-4b01-93e6-8b8221ef760c
  4. Alshahrani, A., & Ramsay, A. (2013). Inference for Natural Language. In O. Popescu, A. Lavelli, & O. Popescu (Eds.), Proceedings of the Joint Symposium on Semantic Processing. Textual Inference and Structures in Corpora. (pp. 60-64). Trentino – Italy: ACL Anthology. . Publication link: 766fe747-29ef-4d98-84d8-1dec0bd87020
  5. Alshahrani, A., & Ramsay, A. M. (2013). Inference for Natural Language, In host publication. (pp. 60-64). Publication link: 66ed1f6d-492a-44a5-a4ff-09ea63b65798
  6. Banach, R., Jeske, C., Hall, A., & Stepney, S. (2013). Atomicity failure and the retrenchment atomicity pattern. Formal Aspects of Computing, 25(3), 439-464. DOI: 10.1007/s00165-011-0216-1. Publication link: d13ce9b8-5e12-421a-ae57-27883f601086
  7. Banach, R., & Butler, M. (2013). Cruise control in hybrid event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8049, pp. 76-93). LNCS 8049. DOI: 10.1007/978-3-642-39718-9-5. Publication link: e2ff1afa-faf0-4260-8327-1e9b5d1ca21d
  8. Banach, R. (2013). Pliant modalities in hybrid event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8051, pp. 37-53). LNCS 8051. DOI: 10.1007/978-3-642-39698-4_3. Publication link: b173b000-c06a-4afb-9901-58b4d282151f
  9. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment II: Clocked and feedback circuits. Formal Aspects of Computing, 25(4), 609-657. DOI: 10.1007/s00165-011-0203-6. Publication link: bf25979d-bca7-41f1-aa01-de1eebaa5aec
  10. Banach, R., & Butler, M. (2013). A Hybrid Event-B Study of Lane Centering. In host publication. (pp. 97-111). Springer Verlag. . Publication link: 3d2834f2-30dc-4811-ae36-ec157483e1b5
  11. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment I: Combinational circuits. Formal Aspects of Computing, 25(4), 573-607. DOI: 10.1007/s00165-011-0202-7. Publication link: 86427fa0-78ce-4273-80d1-94644654d0c5
  12. Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b
  13. Rydeheard, D., & Rusmawati, Y. (2013). Modelling and Reasoning about Dynamic Networks as Concurrent Systems. In C. Choppy, & J. Sun (Eds.), Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). (Vol. 31, pp. 80-85). InProceedings: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. DOI: 10.4230/OASIcs.FSFMA.2013.80, http://dx.doi.org/10.4230/OASIcs.FSFMA.2013.80. Publication link: 34a171af-7da1-414b-a23f-a5669b271a93
  14. Pratt-Hartmann, I. (2013). The Relational Syllogism Revisted. Linguistic Issues in Language Technology, 9(10). . Publication link: 9b256f90-622c-4cf9-bbf6-8280a084d9ac
  15. Pratt-Hartmann, I. (2013). The Syllogistic with Unity. Journal of Philosophical Logic, 42(2), 391-407. DOI: 10.1007/s10992-012-9229-3. Publication link: 50ba6bcd-c2c8-40bf-a2e2-94f9b439113b
  16. Kontchakov, R., Nenov, Y., Pratt-Hartmann, I., & Zakharyaschev, M. (2013). Topological logics with connectedness over euclidean spaces. ACM Transactions on Computational Logic, 14(2), [13]. DOI: 10.1145/2480759.2480765. Publication link: 1cf1d9da-4eff-4b53-b56e-c5340bba9299
  17. Pratt-Hartmann, I., & Düntsch, I. (2013). Functions definable by numerical set-expressions. Journal of Logic and Computation, 23(4), 873-895. DOI: 10.1093/logcom/exr050. Publication link: 0a7fc445-2f2a-4c55-8867-0989949573f9
  18. Korovin, K. (2013). Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. In Programming Logics - Essays in Memory of Harald Ganzinger. (pp. 239-270). DOI: 10.1007/978-3-642-37651-1_10. Publication link: 45e91218-a490-487b-b29c-2b97ce87a038
  19. Korovin, K. (2013). Non-cyclic Sorts for First-Order Satisfiability. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 214-228). DOI: 10.1007/978-3-642-40885-4_15. Publication link: 3c939e5c-92f6-4fbb-a9ec-5349c6685cf5
  20. Dragan, I., Korovin, K., Kovács, L., & Voronkov, A. (2013). Bound Propagation for Arithmetic Reasoning in Vampire. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. (pp. 169-176). DOI: 10.1109/SYNASC.2013.30. Publication link: 3fc036f9-c061-4bed-a418-62b2a9c0bc80
  21. Bjørner, N., Gurfinkel, A., Korovin, K., & Lahav, O. (2013). Instantiations, Zippers and EPR Interpolation. In {LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. (pp. 35-41). Publication link: 29ba8ea4-52bc-4c22-8a09-be2ac2dc9521
  22. Korovin, K., & Morawska, B. (Eds.) (2013). 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. In EPiC Series. (Vol. 19). (EPiC Series). EasyChair. . Publication link: 52e74df2-b989-4a69-87ef-164f3cdc6247
  23. Korovin, K., Schulz, S., & Ternovska, E. (Eds.) (2013). {IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. In EPiC Series. (Vol. 22). (EPiC Series). EasyChair. . Publication link: 54108f42-6873-4bd0-9f60-82ee448aa6c3
  24. Korovin, K. (2013). From Resolution and DPLL to Solving Arithmetic Constraints. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 261-262). DOI: 10.1007/978-3-642-40885-4_18. Publication link: d98d6e88-9ff4-4dc0-8be4-e9c7b912c76b
  25. Koopmann, P., & Schmidt, R. A. (2013). Forgetting concept and role symbols in ALCH-ontologies. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8312, pp. 552-567). Springer Verlag. DOI: 10.1007/978-3-642-45221-5_37. Publication link: 04ee0059-d1b9-4bc8-b5e4-2d885cc83831
  26. Schmidt, R. A., & Hustadt, U. (2013). First-order resolution methods for modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7797, pp. 345-391). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-37651-1_15. Publication link: 02af288a-61cd-413a-bb92-58a7940645c2
  27. Koopmann, P., & Schmidt, R. A. (2013). Uniform interpolation of ALC-ontologies using fixpoints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8152, pp. 87-102). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_7. Publication link: 3210aa5f-281c-4a91-8fab-862e39f7759e
  28. Papacchini, F., & Schmidt, R. A. (2013). Computing minimal models modulo subset-simulation for modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8152, pp. 279-294). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_20. Publication link: 71baabd3-aaf5-4306-8e23-79d14b17ef28
  29. Khodadadi, M., Schmidt, R. A., Tishkovsky, D., Eiter, T. (Ed.), Glimm, B. (Ed.), Kazakov, Y. (Ed.), & Krötzsch, M. (Ed.) (2013). A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Proceedings of the 26th International Workshop on Description Logics (DL-2013). (Vol. Vol-1014, pp. 724-734). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 615f1d18-8cf7-477d-b311-7a53744572c5
  30. Khodadadi, M., Schmidt, R. A., & Tishkovsky, D. (2013). A refined tableau calculus with controlled blocking for the description logic SHOI. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8123, pp. 188-202). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-40537-2_17. Publication link: 8df0994a-93d6-43a5-8041-65dcdfddc392
  31. Zawidzki, M., Schmidt, R. A., & Tishkovsky, D. (2013). Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Information Processing Letters, 113(1-2), 34-38. DOI: 10.1016/j.ipl.2012.09.007. Publication link: c0173a11-1841-4262-9f07-5d231bafbf88
  32. Fontaine, P., Ringeissen, C., & Schmidt, R. A. (Eds.) (2013). Frontiers of Combining Systems -- FroCoS 2013. 9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings. In Lecture Notes in Artificial Intelligence. (Vol. 8152). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: http://link.springer.com/book/10.1007/978-3-642-40885-4/. Publication link: fa2fa5c9-67a9-4eb0-a297-f4a2e57bdb4c
  33. Reger, G., Falcone, Y., & Havelund, K. (2013). A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems. (Vol. 34). NATO Science for Peace and Security Series - D: Information and Communication Security: IOS Press. . Publication link: d2f15e14-7ff8-410c-b86a-66b4044dd431
  34. Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b
  35. Navarro Lopez, E., Navarro-Lopez, E. M., Mosterman, P. (Ed.), & Zander, J. (Ed.) (2013). DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems. In Computation for Humanity: Information Technology to Advance Society. (1 ed., Vol. 1, pp. 301-346). USA: CRC Press. . Publication link: a6cecebf-d642-41ed-8578-8bdc658fe98c
  36. Navarro Lopez, E., & Carter, R. (2013). Verification of liveness properties on hybrid dynamical systems University of Manchester. Publication link: 2487d611-6a39-418f-bd26-28f6071161d0
  37. Carrasco, J., & Navarro-López, E. M. (2013). Towards ℓ2-stability of discrete-time reset control systems via dissipativity theory. Systems and Control Letters, 62(6), 525-530. DOI: 10.1016/j.sysconle.2013.02.014. Publication link: 1aa56c8e-d6fc-43f6-a256-942e7d5336d6
  38. Navarro Lopez, E., Navarro-López, E. M., & Laila, D. S. (2013). Group and total dissipativity and stability of multi-equilibria hybrid automata. IEEE Transactions on Automatic Control, 58(12), 3196-3202. [6512040]. DOI: 10.1109/TAC.2013.2261185. Publication link: 96171152-7a7e-434c-ad45-2f773ef5ae38
▲ Up to the top