Publications

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


2009

  1. Ramsay, A. M., Field, D., & Bunt, H. (Ed.) (2009). Using English for commonsense knowledge. In H. Bunt (Ed.), 8th International Workshop on Computational Semantics (IWCS-8).. Publication link: a8ec852f-74e4-440c-b0bc-a1859ce1eefd
  2. Ramsay, A. (2009). ’Sorry’ is the hardest word. In A. M. Ramsay, & D. G. Field (Eds.), Computational Approaches to Creativity (NAACL HLT Workshop). (pp. 94-101). Publication link: dfac733f-13ea-4bb9-a628-e8d3346b011f
  3. Ramsay, A. M. (2009). The Complexity of Everyday Language. Recent Advances in Natural Language Processing V, Borovets, .. Publication link: 4c280ea8-a1ff-47ee-b0ec-40f9362af2fc
  4. Ramsay, A., & Malmkjaer, K. (Ed.) (2009). From computational linguistics to natural language engineering. In The Routledge Encyclopedia of Linguistics. (pp. 68-98). Routledge. . Publication link: 1db37e10-0f04-4de7-bd48-700fc18641c9
  5. Field, D. G., & Ramsay, A. M. (2009). Actions speak louder than words: an intentional look at defining communicative acts for embodied conversational agents. In AAMAS 2009 Workshop. (pp. 25-30). Publication link: 93cfa02e-8d45-45fd-a8ca-3a116873c4da
  6. Banach, R. (2009). Coarse grained retrenchment and the Mondex denial of service attacks. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009|Proc. - IEEE Int. Symp. Theor. Asp. Softw. Eng., TASE. (pp. 103-110). Tianjin, China: IEEE. DOI: 10.1109/TASE.2009.19. Publication link: ec121f41-0570-4be0-bb21-3020b94ad859
  7. Barringer, H., Havelund, K., Rydeheard, D., & Groce, A. (2009). Rule systems for runtime verification: A short tutorial. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5779, pp. 1-24). Springer Verlag. DOI: 10.1007/978-3-642-04694-0_1. Publication link: 1344a509-2bb1-43f1-935a-6c80554fc95f
  8. Barringer, H., Gabbay, D., & Rydeheard, D. (2009). Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL, 17(6), 631-696. [jzp026]. DOI: 10.1093/jigpal/jzp026. Publication link: 8ef249dc-f25c-4403-af48-3d5412835143
  9. Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the Relational Syllogistic. Review of Symbolic Logic, 2(4), 647-683. DOI: 10.1017/S1755020309990086. Publication link: df66ce05-f31e-4a49-8a31-fe753feb18d7
  10. Pratt-Hartmann, I., & Kazakov, Y. (2009). Note on the complexity of the satisfiability problem for graded modal logics. In Proceedings - Symposium on Logic in Computer Science|Proc Symp Logic Comput Sci. (pp. 407-416). IEEE Press. DOI: 10.1109/LICS.2009.17. Publication link: bcd529b8-6118-484f-ac28-d912986b0621
  11. Pratt-Hartmann, I. (2009). No syllogisms for the numerical syllogistic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5533, pp. 192-203). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-01748-3_13. Publication link: 3d827195-2620-49a3-9930-f18f8e244253
  12. Düntsch, I., & Pratt-Hartmann, I. (2009). Complex algebras of arithmetic. Fundamenta Informaticae, 97(4), 347-367. DOI: 10.3233/FI-2009-206. Publication link: 3d32a475-9531-4714-b330-efa61218440c
  13. Pratt-Hartmann, I., & Düntsch, I. (2009). Functions definable by arithmetic circuits. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5635, pp. 409-418). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-03073-4_42. Publication link: 1bf27368-635c-4f2c-a080-9b7e68ced363
  14. Pratt-Hartmann, I. (2009). Data-complexity of the two-variable fragment with counting quantifiers. Information and Computation, 207(8), 867-888. DOI: 10.1016/j.ic.2009.02.004. Publication link: 55778b94-233f-4686-9410-63eb0494d447
  15. Korovin, K., Tsiskaridze, N., & Voronkov, A. (2009). Conflict resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5732, pp. 509-523). Springer Verlag. DOI: 10.1007/978-3-642-04244-7_41. Publication link: 6d934f02-ddf9-47c9-80e4-f78ab514dfa8
  16. Korovin, K. (2009). Instantiation-Based Reasoning for First-Order Logic. Automated Reasoning Workshop, University of Liverpool, .. Publication link: 599dcd81-f5f7-4aab-b440-7e3efb3807b1
  17. Korovin, K. (2009). Instantiation-based automated reasoning: From theory to practice. 163-166. 22nd International Conference on Automated Deduction, CADE-22, Montreal, QC, .DOI: 10.1007/978-3-642-02959-2_14. Publication link: e0eac249-714f-4481-ba89-342a0e4aa63e
  18. Schmidt, R. A., Sutcliffe, G., & Schulz, S. (2009). Editorial: Empirically successful computerized reasoning. Journal of Applied Logic, 7(1), 1-1. . Publication link: c35b0b88-5f77-4105-b940-2d6b21b582bb
  19. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5607, pp. 310-324). DOI: 10.1007/978-3-642-02716-1_23. Publication link: d427df31-7f04-416e-a232-b39c6bc86b49
  20. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5607, 310-324. DOI: 10.1007/978-3-642-02716-1_23. Publication link: 3bbff7c0-36a0-4e62-8ea1-e377fc731426
  21. Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M-C., & Schmidt, R. A. (2009). Reasoning Web: Semantic Technologies for Information Systems. 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures. In Lecture Notes in Computer Science. (Vol. 5689). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 2b565fbe-a089-4ae8-9a86-05279455055a
  22. Schmidt, R. A. (2009). Automated Deduction: CADE-22. In Lecture Notes in Artificial Intelligence. (Vol. 5663). (Lecture Notes in Artificial Intelligence). Springer Verlag. . Publication link: 0d5d7c92-9564-42c5-a03d-5f3332cedb53
  23. Schmidt, R. A. (2009). A new methodology for developing deduction methods. Annals of Mathematics and Artificial Intelligence, 55(1-2), 155-187. DOI: 10.1007/s10472-009-9155-4. Publication link: 52c3c2a6-e073-448f-b6dc-947ac8bd85c5
  24. Babenyshev, S., Rybakov, V., Schmidt, R. A., & Tishkovsky, D. (2009). A Tableau Method for Checking Rule Admissibility in S4. In Proc. ADDCT & UNIF 2009.. Publication link: 55dd3512-bf87-4ebb-8b51-ebb956cf106d
  25. Navarro Lopez, E., & Navarro-Lopez, E. M. (2009). What makes the control of discontinuous dynamical systems so complex? In Mathematical Problems in Engineering, Aerospace and Sciences: An International Series of Scientific Monographs and Text Books. UK: Cambridge Scientific Publishers. . Publication link: 4571eb58-9b30-4ff3-90e2-588fda613fee
  26. Navarro-López, E. M. (2009). An alternative characterization of bit-sticking phenomena in a multi-degree-of-freedom controlled drillstring. Nonlinear Analysis: Real World Applications, 10(5), 3162-3174. DOI: 10.1016/j.nonrwa.2008.10.025. Publication link: 413ae202-5f08-40ae-b9a6-2da913f7401e
  27. Navarro-López, E. M. (2009). Hybrid modelling of a discontinuous dynamical system including switching control. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 2, pp. 87-92). IFAC. . Publication link: 0207329a-23ff-40c5-b9f4-551bbe813194
  28. Navarro-López, E. M. (2009). Hybrid-automaton models for simulating systems with sliding motion: Still a challenge. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 3, pp. 322-327). IFAC. . Publication link: 05f26fde-446c-4899-a252-8d3ed3f834e1
  29. Navarro-López, E. M., & Licéaga-Castro, E. (2009). Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations. Chaos, Solitons and Fractals, 41(4), 2035-2044. DOI: 10.1016/j.chaos.2008.08.008. Publication link: 0bb86dee-b1cc-4a4c-bfcc-f4458b591395
  30. Navarro Lopez, E. (2009). Computational model of a rotary system with discontinuous elements School of Mathematics: University of Manchester. Publication link: 8ced1b25-0cce-415b-aa71-3e209e9e12f8
  31. Navarro-López, E. M., Cortés, D., & Castro, C. (2009). Design of practical sliding-mode controllers with constant switching frequency for power converters. Electric Power Systems Research, 79(5), 796-802. DOI: 10.1016/j.epsr.2008.10.018. Publication link: b26e9708-40d4-4b34-9b37-aae6189cbb80
▲ Up to the top