Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Conference contribution

Search results

  • 2014

    How to Progress Beliefs in Continuous Domains

    Belle, V. & Levesque, H. J., 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, p. 438-447 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Human-Computer Negotiation in Three-Player Market Settings

    Haim, G., Gal, Y., Kraus, S. & An, B., 2014, 21st European Conference on Artificial Intelligence . IOS Press, Vol. 263. p. 417-422 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Improving group recommendations with consensus reaching processes

    Moya, F., de Castro, J. & Quesada, F. J., 2014, Eureka International Virtual Physical Meeting Eureka 2014. 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • LSCitter: building social machines by augmenting existing social networks with interaction models

    Murray-Rust, D. & Robertson, D., 2014, Proceedings of the companion publication of the 23rd international conference on World wide web companion. ACM, p. 875-880 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Mechanism Design for Mobile Geo-Location Advertising

    Gatti, N., Rocco, M., Ceppi, S. & Gerding, E. H., 2014, Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, p. 691-698 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Metadata-driven Hypertext Content Publishing and Styling

    Bai, X., Haller, A., Klein, E. & Robertson, D., 2014, Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion. Republic and Canton of Geneva, Switzerland: International World Wide Web Conferences Steering Committee, p. 221-222 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Modelling and implementation of correct by construction healthcare workflows

    Papapanagiotou, P. & Fleuriot, J., 2014, Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Springer, p. 28-39 12 p. (Lecture Notes in Business Information Processing; vol. 202).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Multi-agent-Based Semi-supervised Consensus Support System for Large-Scale Group Decision Making

    Palomares, I., Quesada, F. J. & Martínez, L., 2014, Foundations of Intelligent Systems: Proceedings of the Eighth International Conference on Intelligent Systems and Knowledge Engineering, Shenzhen, China, Nov 2013 (ISKE 2013). Wen, Z. & Li, T. (eds.). Berlin, Heidelberg: Springer, p. 241-251 11 p. (Advances in Intelligent Systems and Computing; vol. 277).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • NNexus Reloaded

    Ginev, D. & Corneli, J., 2014, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Springer, p. 423-426 4 p. (Lecture Notes in Computer Science (LNCS); vol. 8543).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Non-Deterministic Planning With Conditional Effects

    Muise, C. J., McIlraith, S. A. & Belle, V., 2014, Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014. AAAI Press, p. 370-374 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On Convergence and Optimality of Best-Response Learning with Policy Types in Multiagent Systems

    Albrecht, S. V. & Ramamoorthy, S., 2014, Proceedings of the 30th Conference on Uncertainty in Artificial Intelligence. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On-Line Plan Recognition in Exploratory Learning Environments

    Dekel, R. & Gal, Y., 2014, Proceedings of the Workshops held at Educational Data Mining 2014, co-located with 7th International Conference on Educational Data Mining (EDM 2014). London, United Kingdom: CEUR Workshop Proceedings (CEUR-WS.org), 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the Progression of Knowledge in Multiagent Systems

    Belle, V. & Lakemeyer, G., 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, p. 590-593 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Opening Public Deliberations: Transparency, Privacy, Anonymisation

    Bassi, E., Leoni, D., Leucci, S., Pane, J. & Vaccari, L., 2014, AI Approaches to the Complexity of Legal Systems: AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers. Casanovas, P., Pagallo, U., Palmirani, M. & Sartor, G. (eds.). Berlin, Heidelberg: Springer, p. 41-53 13 p. (Lecture Notes in Computer Science ; vol. 8929).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Optimising trade-offs among stakeholders in ad auctions

    Bachrach, Y., Ceppi, S., Kash, I. A., Key, P. & Kurokawa, D., 2014, Proceedings of the fifteenth ACM conference on Economics and computation. p. 75-92 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains

    Belle, V. & Levesque, H. J., 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.. AAAI Press, p. 989-995 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Rigorous development of computer based Integrated Care Pathways for HIV patients

    Papapanagiotou, P., Fleuriot, J., Manataki, A., Winter, A., Nandwani, R., Clutterbuck, D. & Wilks, D., 2014, Proceedings of Health Informatics Scotland Conference 2014. 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Synthesis of a simple self-stabilizing system

    Gascón, A. & Tiwari, A., 2014, Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.. p. 5-16 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Template-based Circuit Understanding

    Gascón, A., Subramanyan, P., Dutertre, B., Tiwari, A., Jovanovi, D. & Malik, S., 2014, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc, p. 17:83-17:90 (FMCAD '14).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Using Grounded Theory Methods to Inform the Design of an Authoring Tool

    Constantin, A., Pain, H. & Waller, A., 2014, BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, Southport, UK, 9-12 September 2014. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • VarPy: A Python library for volcanology and rock physics data analysis

    Filgueira, R., Atkinson, M., Bell, A., Main, I. & Snelling, B., 2014, 4th Workshop on Python for High Performance and Scientific Computing (PyHPC 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Varpy: A python library for volcanology and rock physics data analysis. EGU2014-3699

    Filgueira Vicente, R., Atkinson, M., Bell, A. & Snelling, B., 2014, eScience 2015 . 27 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2013

    Planning Configuration Relocation on the BonFIRE Infrastructure

    Herry, H. & Anderson, P., Dec 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on . Institute of Electrical and Electronics Engineers, Vol. 2. p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On the verification complexity of group decision-making tasks

    Amir, O., Shahar, Y., Gal, Y. & Ilany, L., 3 Nov 2013, Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing. Palm Springs, California USA: AAAI Press, p. 2-8 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Clinical Experience Sharing by Similar Case Retrieval

    Barzegar Marvasti, N., Akgül, C. B., Acar, B., Kökciyan, N., Suzan, Ü., Yolum, P., Türkay, R. & Baris, B., 25 Oct 2013, Proceedings of the 1st ACM International Workshop on Multimedia Indexing and Information Retrieval for Healthcare. New York, NY, USA: Association for Computing Machinery (ACM), p. 67-74 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Combining POS tagging, Lucene search and similarity metrics for entity linking

    Zhao, S., Li, C., Ma, S., Ma, T. & Ma, D., 13 Oct 2013, Web Information Systems Engineering, WISE 2013 - 14th International Conference, Proceedings. PART 1 ed. Springer, p. 503-509 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8180 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Recognize Human Activities from Partially Observed Videos

    Cao, Y., Barrett, D., Barbu, A., Narayanaswamy, S., Yu, H., Michaux, A., Lin, Y., Dickinson, S., Siskind, J. M. & Wang, S., 3 Oct 2013, 2013 IEEE Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers, p. 2658-2665 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Choreographing Configuration Changes

    Herry, H., Anderson, P. & Rovatsos, M., Oct 2013, Proceedings of the 9th International Conference on Network & Service Management (CNSM). Institute of Electrical and Electronics Engineers, p. 156-160 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Activity in Context: Planning to Keep Learners 'in the Zone' for Scenario-based Mixed-Initiative Training in Virtual Worlds

    Tate, A., Sept 2013, OpenSimulator Community Conference 2013 (OSCC-2013): 7th-8th September 2013. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Constraint-based Autonomic Reconfiguration

    Hewson, J. A., Anderson, P. & Gordon, A. D., Sept 2013, Proceedings of 2013 Self-Adaptive and Self-Organizing systems conference (SASO). Institute of Electrical and Electronics Engineers, p. 101-110 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes

    Perny, P., Weng, P., Goldsmith, J. & Hanna, J. P., 11 Aug 2013, Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence. Arlington, Virginia, USA: AUAI Press, p. 508–517

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • BOUNCE: Sentiment classification in Twitter using rich feature sets

    Kökciyan, N., Celebi, A., Ozgür, A. & Usküdarli, S., 15 Jun 2013, Second Joint Conference on Lexical and Computational Semantics (* SEM): Volume 2: Proceedings of the Seventh International Workshopon Semantic Evaluation (SemEval 2013). Association for Computational Linguistics (ACL), Vol. 2. p. 554-561 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Using Static Graphs in Planning Domains to Understand Domain Dynamics

    Wickler, G., Jun 2013, Proceedings of Knowledge Engineering for Planning and Scheduling (KEPS 2013): Part of 23rd International Conference on Autmated Planning and Scheduling (ICAPS) Rome, Italy, June 2013. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • An agent design for repeated negotiation and information revelation with people: Extended Abstract

    Peled, N., Gal, Y. & Kraus, S., 6 May 2013, Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems . ACM, p. 1303-1304 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • V-BOINC: The Virtualization of BOINC

    Mcgilvary, G. A., Barker, A., Lloyd, A. & Atkinson, M., 1 May 2013, Cluster, Cloud and Grid Computing (CCGrid), 2013 13th IEEE/ACM International Symposium on. p. 285-293 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Game-Theoretic Model and Best-Response Learning Method for Ad Hoc Coordination in Multiagent Systems

    Albrecht, S. V. & Ramamoorthy, S., 2013, AAMAS '13 Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1155-1156 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automated Agent Decomposition for Classical Planning

    Crosby, M., Rovatsos, M. & Petrick, R., 2013, Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 46-54

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • C2MS: Dynamic Monitoring and Management of Cloud Infrastructures

    Mcgilvary, G., Rius, J., Goiri, Í., Solsona, F., Barker, A. & Atkinson, M., 2013, Proceedings of the The 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2013. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Constructing and Connecting Storylines to Tell Museum Stories

    Mulholland, P., Wolff, A., Zdrahal, Z., Li, N. & Corneli, J., 2013, Interactive Storytelling: 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Cham: Springer, p. 121-124 4 p. (Lecture Notes in Computer Science (LNCS); vol. 8230).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Earthquake and failure forecasting in real-time: A Forecasting Model Testing Centre

    Filgueira Vicente, R., Atkinson, M., Bell, A., Main, I., Boon, S. & Meredith, P., 2013, EGU General Assembly Conference Abstracts. Vol. 15. p. 737 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Experimental interaction science

    Da Silva, F. S. C., Robertson, D. S. & Vasconcelos, W., 2013, Social Coordination: Principles, Artefacts and Theories. p. 14-18 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Informing the Design of an Authoring Tool for Developing Social Stories

    Constantin, A., Pain, H. & Waller, A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Berlin, Heidelberg: Springer, p. 546-553 8 p. (Lecture Notes in Computer Science; vol. 8118).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Interactive Event Visualization of Students’ Activities Using ELEs

    Gal, Y., 2013, 16th International Conference of Artificial Intelligence in Education (AIED 2013). Memphis, TN, USA: Springer, Vol. 7926. p. 938-939 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Mathematical Practice, Crowdsourcing, and Social Machines

    Martin, U. & Pease, A., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. p. 98-119 22 p. (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Non-cooperative bargaining with arbitrary one-sided uncertainty

    Ceppi, S., Gatti, N. & Iuliano, C., 2013, Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets: AMEC 2011, Taipei, Taiwan, May 2, 2011, and TADA 2011, Barcelona, Spain, July 17, 2011, Revised Selected Papers. Springer, p. 1-14 14 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Plan Recognition for ELEs Using Interleaved Temporal Search

    Uzan, O., Dekel, R. & Gal, Y., 2013, International Conference on Artificial Intelligence in Education 2013. Springer, p. 603-606 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Plan Recognition for Exploratory Domains Using Interleaved Temporal Search

    Uzan, O., Dekel, R. & Gal, Y., 2013, Plan, Activity, and Intent Recognition: Papers from the AAAI 2013 Workshop. Bellevue, United States: AAAI Press, p. 61-66 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Predicting the Usability of Telemedicine Systems in Different Deployments through Modelling and Simulation

    Alexandru, C-A. & Stevens, P., 2013, Proceedings of the European Workshop on Practical Aspects of Health Informatics (PAHI 2013), Edinburgh, Scotland, UK. Gilstad, H., Melby, L. & Gilje Jaatun, M. (eds.). CEUR Workshop Proceedings, p. 58-66 9 p. (CEUR Workshop Proceedings; vol. 984).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Provenance for Seismological Processing Pipelines in a Distributed Streaming Workflow

    Spinuso, A., Cheney, J. & Atkinson, M., 2013, Proceedings of the Joint EDBT/ICDT 2013 Workshops. New York, NY, USA: ACM, p. 307-312 6 p. (EDBT '13).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Real-time forecasting of sample failure in laboratory rock deformation experiments

    Bell, A., Main, I., Atkinson, M., Filgueira Vicente, R., Meredith, P. & Boon, S., 2013, EGU General Assembly Conference Abstracts. Vol. 15. p. 9194 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution