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

  • 2013

    Reasoning about Continuous Uncertainty in the Situation Calculus

    Belle, V. & Levesque, H. J., 2013, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI Inc, p. 732-738 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Reasoning about Probabilities in Dynamic Systems using Goal Regression

    Belle, V. & Levesque, H. J., 2013, Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, WA, USA, August 11-15, 2013. AUAI Press, p. 62-71 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Redistribution in online mechanisms

    Naroditskiy, V., Ceppi, S., Robu, V. & Jennings, N. R., 2013, Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems. p. 651-658 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Robot Location Estimation in the Situation Calculus

    Belle, V. & Levesque, H. J., 2013, Proceedings of the 1st Workshop on Planning and Robotics. p. 112-119 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Semantics and Provenance for Processing Element Composition in Dispel Workflows

    Griffis, E., Martin, P. & Cheney, J., 2013, Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science. New York, NY, USA: ACM, p. 38-47 10 p. (WORKS '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Social Rankings in Human-Computer Committees

    Bitan, M., Gal, Y., Kraus, S., Dokow, E. & Azaria, A., 2013, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence. Bellevue, Washington, USA: AAAI Press, p. 116-122 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Declaratron: Semantic specification for scientific computation using MathML

    Murray-Rust, D. & Murray-Rust, P., 2013, Workshops and Work in Progress at CICM. CEUR Workshop Proceedings, 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Demand for Consistent Web-based Workflow Editors

    Gesing, S., Atkinson, M., Klampanos, I., Galea, M., Berthold, M. R., Barbera, R., Scardaci, D., Terstyanszky, G., Kiss, T. & Kacsuk, P., 2013, Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science. New York, NY, USA: ACM, p. 112-123 12 p. (WORKS '13).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards Addressing CPU-Intensive Seismological Applications in Europe

    Carpené, M., Klampanos, I. A., Leong, S., Casarotti, E., Danecek, P., Ferini, G., Gemünd, A., Krause, A., Krischer, L., Magnoni, F., Simon, M., Spinuso, A., Trani, L., Atkinson, M., Erbacci, G., Frank, A., Igel, H., Rietbrock, A., Schwichtenberg, H. & Vilotte, J-P., 2013, Supercomputing: 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings. Kunkel, J. M., Ludwig, T. & Meuer, H. W. (eds.). Springer, p. 55-66 12 p. (Lecture Notes in Computer Science; vol. 7905).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Validating Procedural Knowledge in the Open Virtual Collaboration Environment

    Wickler, G., 2013, Proceedings of the 10th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2013): Baden-Baden, Germany, May 2013. 10 p. 168

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • WordRev: Finding word-level structures in a sea of bit-level gates

    Li, W., Gascón, A., Subramanyan, P., Tan, W. Y., Tiwari, A., Malik, S., Shankar, N. & Seshia, S. A., 2013, 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2013, Austin, TX, USA, June 2-3, 2013. p. 67-74 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    Choreographing Web Services with Semantically Enhanced Scripting

    Bai, X., Klein, E. & Robertson, D., Dec 2012, Web Intelligence and Intelligent Agent Technology (WI-IAT): 2012 IEEE/WIC/ACM International Conferences on. Institute of Electrical and Electronics Engineers, Vol. 1. p. 583-587 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Poster: Reservation-Based I/O Performance Guarantee for MPI-IO Applications Using Shared Storage Systems

    Tanimura, Y., Filgueira Vicente, R., Kojima, I. & Atkinson, M., 1 Nov 2012, High Performance Computing, Networking, Storage and Analysis (SCC), 2012 SC Companion:. p. 1384-1384 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Algebraic Theory Exploration: A Comparison of Technologies

    Mahesar, Q. & Sorge, V., 26 Sept 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Institute of Electrical and Electronics Engineers, p. 70-77 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Thawing colours: dangling from the fuzzy end of interfaces

    Murray-Rust, D. & von Jungenfeld, R., 11 Sept 2012, Physicality 2012 - Proceedings of the Fourth International Workshop on Physicality. Ramduny-Ellis, D., Dix, A. & Gill, S. (eds.). British Informatics Society Limited, p. 33-37 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • User Generated Human Computation Applications

    Kokciyan, N., Uskudarli, S. & Dinesh, T. B., 5 Sept 2012, 2012 International Conference on Privacy, Security, Risk and Trust and 2012 International Confernece on Social Computing. Institute of Electrical and Electronics Engineers, p. 593-598 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Video In Sentences Out

    Barbu, A., Bridge, A., Burchill, Z., Coroian, D., Dickinson, S., Fidler, S., Michaux, A., Mussman, S., Narayanaswamy, S., Salvi, D., Schmidt, L., Shangguan, J., Siskind, J. M., Waggoner, J., Wang, S., Wei, J., Yin, Y. & Zhang, Z., 17 Aug 2012, Uncertainty in Artificial Intelligence: Proceedings of the Twenty-­Eighth Conference. Association for Uncertainty in Artificial Intelligence (AUAI), p. 102-112 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • DEVS simulation of peer-to-peer file-sharing

    Davoust, A., Wainer, G. & Esfandiari, B., Jul 2012, 2012 International Conference on High Performance Computing Simulation (HPCS). Institute of Electrical and Electronics Engineers, p. 357-364 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A cultural sensitive agent for human-computer negotiation

    Haim, G., Gal, Y., Gelfand, M. & Kraus, S., 4 Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '12). ACM, Vol. 1. p. 451-458 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Rigorous process-based modelling of patterns for collaborative work in healthcare teams

    Papapanagiotou, P., Fleuriot, J. & Grando, A., 1 Jun 2012, Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • EmergencyGrid: Planning in Convergence Environments

    Queiroz Lino, N. C., Siebra, C. D. A., Amaro, M. & Tate, A., Jun 2012, Scheduling and Planning Applications woRKshop (SPARK): 26-Jun-2012, at the 22nd International Conference on Automated Planning and Scheduling (ICAPS-2012), Atibaia, Sao Paulo, Brazil. p. 56-61 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • A Term Rewriting System for Kuratowski's Closure-Complement Problem

    Al-Hassani, O., Mahesar, Q., Coen, C. S. & Sorge, V., 29 May 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 38-52 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Decentralized collaboration with a peer-to-peer wiki

    Davoust, A., Craig, A., Esfandiari, B. & Kazmierski, V., May 2012, 2012 International Conference on Collaboration Technologies and Systems (CTS). 978-1-4673-1381-0: Institute of Electrical and Electronics Engineers, p. 286-293 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Massively distributed authorship of academic papers

    Tomlinson, B., Ross, J., Andre, P., Baumer, E., Patterson, D. J., Corneli, J., Mahaux, M., Nobarany, S., Lazzari, M., Penzenstadler, B., Torrance, A., Callele, D., Olson, G. M., Silberman, M. S., Stünder, M., Palamedi, F. R., Salah, A. A., Morrill, E., Franch, X., Mueller, F., & 10 othersKaye, J., Black, R. W., Cohn, M. L., Shih, P. C., Brewer, J., Goyal, N., Näkki, P., Huang, J., Baghaei, N. & Saper, C., May 2012, CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012. ACM, p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Non-interactive Differential Privacy: A Survey

    Leoni, D., May 2012, Proceedings of the First International Workshop on Open Data. New York, NY, USA: ACM, p. 40-52 13 p. (WOD '12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Support for Distributed Collaboration in the Dismounted Incident Collaboration Environment (DICE)

    Tate, A., Hansberger, J. T., Potter, S. & Wickler, G., Feb 2012, Proceedings of the Seventh International Conference on Knowledge Systems for Coalition Operations (KSCO-2012): Pensacola, FL, USA, February 15-16, 2012. 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 1377 questions and counting--what can we learn from online math

    Martin, U. & Pease, A., 2012, Dagstuhl Seminar. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Combinator Language for Theorem Discovery

    Scott, P. & Fleuriot, J., 2012, Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Jeuring, J., Campbell, J., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Springer, p. 371-385 15 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Declarative Approach to Automated Configuration

    Hewson, J. A., Anderson, P. & Gordon, A. D., 2012, Proceedings of the 2012 LISA Conference. USENIX Association

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications

    Filgueira, R., Atkinson, M., Nuñez, A. & Fernández, J., 2012, Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings. Kaklamanis, C., Papatheodorou, T. & Spirakis, P. G. (eds.). Springer, p. 729-740 12 p. (Lecture Notes in Computer Science; vol. 7484).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • An Approach for the Qualitative Analysis of Open Agent Conversations

    Serrano, E., Rovatsos, M. & Botía, J. A., 2012, Proceedings of The Third International Workshop on INFRASTRUCTURES AND TOOLS FOR MULTIAGENT SYSTEMS ITMAS 2012. Editorial Universitat Politècnica de València, p. 79-92 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Applying strategic multiagent planning to real-world travel sharing problems

    Hrnčíř, J. & Rovatsos, M., 2012, Proceedings of the 7th International Workshop on Agents in Traffic and Transportation (ATT 2012). p. 29-38 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Qualitative Reputation System for Multiagent Systems with Protocol-Based Communication

    Serrano, E., Rovatsos, M. & Botia, J., 2012, Proceedings of the Eleventh International Conference on Autonomous Agents Multiagent Systems (AAMAS 2012). 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A Revenue Sharing Mechanism for Federated Search and Advertising

    Brambilla, M., Ceppi, S., Gatti, N. & Gerding, E. H., 2012, Proceedings of the 21st International Conference on World Wide Web. New York, NY, USA: ACM, p. 465-466 2 p. (WWW '12 Companion).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automated Deployment of Argumentation Protocols

    Maghraby, A., Robertson, D., Grando, A. & Rovatsos, M., 2012, Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). IOS Press, p. 197-204 8 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automation for Geometry in Isabelle/HOL

    Meikle, L. & Fleuriot, J., 2012, PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. Schmidt, R. A., Schulz, S. & Konev, B. (eds.). EasyChair, p. 84-94 11 p. (EasyChair Proceedings in Computing; vol. 9).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Comparative Evaluation of MAL Algorithms in a Diverse Set of Ad Hoc Team Problems

    Albrecht, S. V. & Ramamoorthy, S., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). International Foundation for Autonomous Agents and Multiagent Systems, p. 349-356 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Detecting mathematics learning online

    Corneli, J. & Ponti, M., 2012, Proceedings of the 8th International Conference on Networked Learning.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Diagrammatically-Driven Formal Verification of Web-Services Composition

    Papapanagiotou, P., Fleuriot, J. & Wilson, S., 2012, Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings. Cox, P., Plimmer, B. & Rodgers, P. (eds.). Springer, p. 241-255 15 p. (Lecture Notes in Computer Science; vol. 7352).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Lightweight coordination calculus for agent systems: Retrospective and prospective

    Robertson, D., 2012, Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. p. 84-89 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7169 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Long-term underwater camera surveillance for monitoring and analysis of fish populations

    Boom, B., Huang, P. X., Beyan, C., Spampinato, C., Palazzo, S., He, J., Beauxis-Aussalet, E., Lin, S-I., Chou, H-M., Nadarajan, G., Chen-Burger, J., van Ossenbruggen, J., Giordano, D., Hardman, L., Lin, F-P. & Fisher, B., 2012, 2012 21st international conference on pattern recognition (ICPR 2012). Red Hook : Curran Associates, Inc., 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Merging Multiple Information Sources in Federated Sponsored Search Auctions

    Ceppi, S., Gerding, E. H. & Gatti, N., 2012, AAMAS '12 Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1323-1324 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Models to Extend the Scope of Usability Testing for Telemedicine Systems

    Alexandru, C-A. & Stevens, P., 2012, Digital Futures 2012: The Third Annual Digital Economy All Hands Conference. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multi-Agent Negotiation of Virtual Machine Migration Using the Lightweight Coordination Calculus

    Anderson, P., Bijani, S. & Vichos, A., 2012, Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, p. 124-133 10 p. (Lecture Notes in Computer Science; vol. 7327).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • One-context Unification with STG-Compressed Terms is in NP

    Creus, C., Gascón, A. & Godoy, G., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 149-164 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Planning with Global Constraints for Computing Infrastructure Reconfiguration

    Herry, H. & Anderson, P., 2012, CP4PS-12 - The AAAI-12 Workshop on Problem Solving using Classical Planners. AAAI Press, p. 44-50 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Refinement and Term Synthesis in Loop Invariant Generation

    Maclean, E., Ireland, A., Dixon, L. & Atkey, R., 2012, WING 2010. Voronkov, A., Kovacs, L. & Bjorner, N. (eds.). EasyChair, p. 167-182 16 p. (EPiC Series; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

    Lange, C., Ion, P., Dimou, A., Bratsas, C., Corneli, J., Sperber, W., Kohlhase, M. & Antoniou, I., 2012, Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer, p. 458-462 5 p. (Lecture Notes in Computer Science (LNCS); vol. 7362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Strategic Advice Provision in Repeated Human-Agent Interactions

    Azaria, A., Rabinovich, Z., Kraus, S., V. Goldman, C. & Gal, Y., 2012, Twenty-Sixth AAAI Conference on Artificial Intelligence. Toronto, Ontario, Canada: AAAI Press, p. 1522-1528 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The HOM Problem is EXPTIME-Complete

    Creus, C., Gascon Caro, A., Godoy, G. & Ramos, L., 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. Institute of Electrical and Electronics Engineers, p. 255-264 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution