Tech Reports

2014

• • ULCS-14-004:
  • Louise A. Dennis
  • ROS-AIL Integration
• • ULCS-14-003:
  • Louise A. Dennis and Michael Fisher
  • Actions with Durations and Failures in BDI Languages
• • ULCS-14-002:
  • Zaher Salah, Frans Coenen and Davide Grossi
  • Predicting speaker attitude in the UK House of Commons
• • ULCS-14-001:
  • Cláudia Nalon, João Marcos and Clare Dixon
  • Clausal Resolution for Modal Logics of Confluence - Extended Version

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.