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

  • 2015

    Hashing-Based Approximate Probabilistic Inference in Hybrid Domains

    Belle, V., Broeck, G. V. D. & Passerini, A., 12 Jul 2015, Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, UAI 2015, July 12-16, 2015, Amsterdam, The Netherlands. Amsterdam, Netherlands: AUAI Press, p. 141-150 10 p.

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

    Open Access
    File
  • Computational Poetry Workshop: Making Sense of Work in Progress

    Corneli, J., Jordanous, A., Shepperd, R., Llano, M. T., Misztal, J., Colton, S. & Guckelsberger, C., 2 Jul 2015, Proceedings of the Sixth International Conference on Computational Creativity, Park City, Utah, USA, June 29 - July 2, 2015.. p. 268-275 8 p.

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

    Open Access
    File
  • Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity

    Confalonieri, R., Corneli, J., Pease, A., Plaza, E. & Schorlemmer, M., 2 Jul 2015, Proceedings of the Sixth International Conference on Computational Creativity, Park City, Utah, USA, June 29 - July 2, 2015.. p. 174-181 8 p.

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

    Open Access
    File
  • Are You Doing What I Think You Are Doing? Criticising Uncertain Agent Models

    Albrecht, S. V. & Ramamoorthy, S., 1 Jul 2015, Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI-15). Amsterdam, Netherlands: AUAI Press, 10 p. 37

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

    Open Access
    File
  • One Context Unification Problems Solvable in Polynomial Time

    Gascon, A., Tiwari, A. & Schaus, M. S., 1 Jul 2015, Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. Institute of Electrical and Electronics Engineers, p. 499-510 12 p.

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

    Open Access
    File
  • Lichtsuchende: A Society of Cybernetic, Phototropic Sunflowers

    Murray-Rust, D. & von Jungenfeld, R., 26 Jun 2015, Creativity and Cognition 2015. Glasgow: ACM, 2 p.

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

  • Cost Effective, Reliable, and Secure Workflow Deployment over Federated Clouds

    Wen, Z., Cala, J., Watson, P. & Romanovsky, A., 1 Jun 2015, Cloud Computing (CLOUD), 2015 IEEE 8th International Conference on. Institute of Electrical and Electronics Engineers, p. 604-612 9 p.

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

    Open Access
    File
  • Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

    Muise, C., Belle, V., Felli, P., McIlraith, S., Miller, T., Pearce, A. R. & Sonenberg, L., 1 Jun 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, p. 3327-3334 8 p.

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

    Open Access
    File
  • On Wayfaring in Social Machines

    Murray-Rust, D., Tarte, S., Hartswood, M. & Green, O., 23 May 2015, WWW '15 Companion Proceedings of the 24th International Conference on World Wide Web. ACM, p. 1143-1148 5 p.

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

    Open Access
    File
  • Self Curation, Social Partitioning, Escaping from Prejudice and Harassment: the Many Dimensions of Lying Online

    Kleek, M. V., Smith, D. A., Shadbolt, N. R., Murray-Rust, D. & Guy, A., 23 May 2015, WWW 2015 Companion. p. 371-372 2 p.

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

    Open Access
    File
  • Using Rich Inference to Find Novel Answers to Questions

    Nuamah, K., Bundy, A. & Lucas, C., 22 May 2015, 3rd International Essence Workshop: Algorithms for Processing Meaning. 7 p.

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

    Open Access
    File
  • Improving Productivity in Citizen Science Through Controlled Intervention

    Segal, A., Gal, Y., Simpson, R. J., Victoria Homsy, V., Hartswood, M., Page, K. R. & Jirotka, M., 18 May 2015, WWW '15 Companion Proceedings of the 24th International Conference on World Wide Web. New York, NY, USA: ACM, p. 331-337 7 p.

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

  • Social Personal Data Stores: the Nuclei of Decentralised Social Machines

    Kleek, M. V., Smith, D. A., Murray-Rust, D., Guy, A., Dragan, L. & Shadbolt, N. R., 18 May 2015, WWW 2015 Companion. Florence: ACM, p. 1155-1160 6 p.

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

    Open Access
    File
  • Toward Domain-Independent Dialogue Planning

    Marques, T. & Rovatsos, M., 9 May 2015, Fourth International Workshop on Human-Agent Interaction Design and Models (HAIDM 2015). 16 p.

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

    Open Access
    File
  • A Study of Human Behavior in Online Voting

    Tal, M., Meir, R. & Gal, Y., 4 May 2015, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Istanbul, Turkey : ACM, p. 665-673 9 p.

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

  • Privacy Management in Agent-Based Social Networks: (Doctoral Consortium)

    Kökciyan, N., 4 May 2015, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 2019-2020 2 p.

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

  • Ada Lovelace, a Scientist in the Archives

    Riis, S., Martin, U. & Woodhouse, N., 2015, Ada Lovelace Symposium 2015- Celebrating 200 Years of a Computer Visionary. New York, NY, USA: ACM, (Ada Lovelace Symposium '15).

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

  • Ad hoc Cloud Computing

    Mcgilvary, G., Barker, A. & Atkinson, M., 2015, Cloud Computing (CLOUD), 2015 IEEE 8th International Conference on . Institute of Electrical and Electronics Engineers, p. 1063-1068 6 p.

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

    Open Access
    File
  • Agent Protocols for Social Computation

    Rovatsos, M., Diochnos, D. & Craciun, M., 2015, Advances in Social Computing and Multiagent Systems: 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers. Springer, 17 p. (Communications in Computer and Information Science; vol. 541).

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

    Open Access
    File
  • A Lightweight Distributed Architecture to Integrate Fuzzy Relevant Objects in Real-Time Environments

    Medina, J., Quesada Real, F. J. & Espinilla, M., 2015, Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information: 9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings. García-Chamizo, M. J., Fortino, G. & Ochoa, F. S. (eds.). Cham: Springer, p. 375-386 12 p. (Lecture Notes in Computer Science; vol. 9454).

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

  • Aligning Experientially Grounded Ontologies using Language Games

    Anslow, M. & Rovatsos, M., 2015, Graph Structures for Knowledge Representation and Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers. Springer, p. 15-31 17 p. (Lecture Notes in Computer Science; vol. 9501).

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

    Open Access
    File
  • ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains

    Belle, V. & Levesque, H. J., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2762-2769 8 p.

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

    Open Access
    File
  • Anchoring Knowledge in Interaction: Towards a harmonic subsymbolic/symbolic framework and architecture of computational cognition

    Besold, T. R., Kuehnberger, K-U., Garcez, A. DA., Saffiotti, A., Fischer, M. & Bundy, A., 2015, Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings. Springer, p. 35-45 11 p. (Lecture Notes in Computer Science; vol. 9205).

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

    Open Access
    File
  • An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types

    Albrecht, S. V., Crandall, J. & Ramamoorthy, S., 2015, Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, p. 1988-1994 7 p.

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

    Open Access
    File
  • ASP, Amalgamation and the Conceptual Blending Workflow

    Eppe, M., Maclean, E., Confalonieri, R., Kutz, O., Schorlemmer, M. & Plaza, E., 2015, Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Springer, p. 309-316 8 p. (Lecture Notes in Computer Science; vol. 9345).

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

    Open Access
    File
  • Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A., 2015, Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.. Springer, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9150).

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

    Open Access
    File
  • CAMP-BDI: A Pre-emptive Approach for Plan Execution Robustness in Multiagent Systems

    White, A., Tate, A. & Rovatsos, M., 2015, PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th International Conference, Bertinoro, Italy, October 26–30, 2015, Proceedings. Springer, p. 65-84 20 p. (Lecture Notes in Computer Science; vol. 9387).

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

    Open Access
    File
  • Compatible-based Conditioning in Interval-based Possibilistic Logic

    Benferhat, S., Levray, A. & Tabia, K., 2015, 24th Conference on Fuzzy Logic and its Applications (LFA 2015). Futuroscope, Poitiers, France, 8 p.

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

  • Compatible-based Conditioning in Interval-based Possibilistic Logic

    Benferhat, S., Levray, A., Tabia, K. & Kreinovich, V., 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI’15), 2015.. Buenos Aires, Argentina, p. 2777-2783 7 p.

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

  • Computational Invention of Cadences and Chord Progressions by Conceptual Chord-blending

    Eppe, M., Confalonieri, R., Maclean, E., Kaliakatsos, M., Cambouropoulos, E., Schorlemmer, M., Codescu, M. & Kuehnberger, K-U., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). The AAAI Press, 7 p.

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

    Open Access
    File
  • dispel4py: An Open Source Python Framework for Encoding, Mapping and Reusing Seismic Continuous Data Streams: Intensive Analysis and Data Mining

    Filgueira Vicente, R., Krause, A., Atkinson, M., Spinuso, A., Klampanos, I., Magnoni, F., Casarotti, E. & Vilotte, J-P., 2015, American Geoscience Union Fall Meeting (AGU 2015). 1 p.

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

    Open Access
    File
  • dispel4py: An Open-Source Python library for Data-Intensive Seismology

    Filgueira Vicente, R., Krause, A., Spinuso, A., Klampanos, I., Danecek, P. & Atkinson, M., 2015, European Geosciences Union General Assembly (EGU2015). 2 p.

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

    Open Access
    File
  • Dispel4Py: A Python Framework for Data-intensive eScience

    Krause, A., Filgueira, R. & Atkinson, M., 2015, Proceedings of the 5th Workshop on Python for High-Performance and Scientific Computing. New York, NY, USA: ACM, 10 p. 6

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

    Open Access
    File
  • E-HBA: Using Action Policies for Expert Advice and Agent Typification

    Albrecht, S. V., Crandall, J. & Ramamoorthy, S., 2015, Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, p. 2-8 7 p.

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

    Open Access
  • Enhanced Usability of Managing Workflows in an Industrial Data Gateway

    McGilvary, G. A., Atkinson, M., Gesing, S., Aguilera, A., Grunzke, R. & Sciacca, E., 2015, Proceedings of the 1st International Workshop on Interoperable Infrastructures for Interdisciplinary Big Data Sciences. p. 495-502 8 p.

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

    Open Access
    File
  • Feature Sub-set Selection for Activity Recognition

    Quesada, F. J., Moya, F., Espinilla, M., Martínez, L. & Nugent, C. D., 2015, Inclusive Smart Cities and e-Health: 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings. Geissbühler, A., Demongeot, J., Mokhtari, M., Abdulrazak, B. & Aloulou, H. (eds.). Cham: Springer, p. 307-312 6 p. (Lecture Notes in Computer Science; vol. 9102).

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

  • Lichtsuchende : exploring the emergence of a cybernetic society

    Murray-Rust, D. & von Jungenfeld, R., 2015, Evolutionary and Biologically Inspired Music, Sound, Art and Design, 4th International Conference, EvoMUSART 2015 (LNCS 9027). Johnson, C., Carballal, A. & Correia, J. (eds.). Copenhagen: Springer, Vol. 1. p. 161-174 14 p.

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

    Open Access
    File
  • LS2C - A platform to design, implement and execute social computations

    Da Silva, F. S. C., Robertson, D. S. & Vasconcelos, W. W., 2015, Proceedings of the International Conference on Agents and Artificial Intelligence: Volume 1: ICAART. Loiseau, S., Filipe, J., Duval, B. & van den Herik, J. (eds.). SCITEPRESS, Vol. 1. p. 196-203 8 p. (ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings; vol. 2).

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

    Open Access
    File
  • Mechanism Design for Mixed Ads

    Bachrach, Y., Ceppi, S., Kash, I., Key, P. & Reza Khani, M., 2015, 11th Ad Auctions Workshop (2015). 21 p.

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

    Open Access
    File
  • Multi-Agent Only Knowing on Planet Kripke

    Aucher, G. & Belle, V., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2713-2719 7 p.

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

    Open Access
    File
  • Named Entity Recognition for Mongolian Language

    Munkhjargal, Z., Bella, G., Chagnaa, A. & Giunchiglia, F., 2015, Text, Speech, and Dialogue: 18th International Conference, TSD 2015, Pilsen,Czech Republic, September 14-17, 2015, Proceedings. Springer, p. 243-251 9 p. (Lecture Notes in Computer Science ; vol. 9302).

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

  • Only Knowing Meets Common Knowledge

    Belle, V. & Lakemeyer, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. p. 2755-2761 7 p.

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

    Open Access
    File
  • On the Analysis of Probability-Possibility Transformations: Changing Operations and Graphical Models

    Benferhat, S., Levray, A. & Tabia, K., 2015, Proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15), 2015. Compiegne, France: Springer, 10 p.

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

  • Patterns of Peeragogy

    Corneli, J., Danoff, C. J., Pierce, C., Ricaurte, P. & MacDonald, L. S., 2015, Pattern Languages of Programs Conference 2015 (PLoP’15. 16 p.

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

    Open Access
    File
  • Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)

    Muise, C., Belle, V., Felli, P., McIlraith, S. A., Miller, T., Pearce, A. R. & Sonenberg, L., 2015, ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015). Komenda, A., Štolba, M., Kovacs, D. L. & Pěchouček, M. (eds.). Jerusalem, Israel, p. 60-67 8 p.

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

    Open Access
  • Privacy by Obfuscation with Personal Data Management Architectures: Possibilities and Constraints

    Murray-Rust, D., O'Hara, K., Oswald, M., Van Kleek, M. & Shadbolt, N., 2015, Web Science 2015. 6 p.

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

  • Probabilistic Inference in Hybrid Domains by Weighted Model Integration

    Belle, V., Passerini, A. & Broeck, G. V. D., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2770-2776 7 p.

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

    Open Access
    File
  • Probability-possibility transformations: Application to credal networks

    Benferhat, S., Levray, A. & Tabia, K., 2015, Proceedings of the 9th International Conference on Scalable Uncertainty Management (SUM’15), 2015.. Quebec, Canada, 14 p.

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

  • Programming Model Elements for Hybrid Collaborative Adaptive Systems

    Scekic, O., Schiavinotto, T., Diochnos, D. I., Rovatsos, M., Truong, H-L., Carreras, I. & Dustdar, S., 2015, 2015 IEEE Conference on Collaboration and Internet Computing (CIC). Institute of Electrical and Electronics Engineers, p. 278 - 287 10 p.

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

    Open Access
    File
  • Program Synthesis Using Dual Interpretation

    Tiwari, A., Gascón, A. & Dutertre, B., 2015, 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Felty, P. A. & Middeldorp, A. (eds.). Springer, p. 482-497 16 p. (Lecture Notes in Computer Science; vol. 9195).

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

    Open Access
    File