If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2013

    Verifying MSMAS model using S CIFF

    Elakehal, E. E., Montali, M. & Padget, J., 2013, Multiagent System Technologies: 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings. Klusch, M., Thimm, M. & Paprzycki, M. (eds.). Berlin: Springer, p. 44-58 15 p. (Lecture Notes in Computer Science; vol. 8076).

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

  • 2012

    A resource-oriented architecture for MDO framework

    Duan, K., Ye, V., Kim, H. & Padget, J., 2012, 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), p. AIAA-2012-1674

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

  • Composition of engineering web services with universal distributed data-flows framework based on ROA

    Duan, K., Padget, J., Kim, H. A. & Hosobe, H., 2012, WS-REST '12 Proceedings of the Third International Workshop on RESTful Design. Alarcon, R., Pautasso, C. & Wilde, E. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 41-48 8 p.

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

    4 Citations (SciVal)
  • Handling change in normative specifications

    Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. & Satoh, K., 2012, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). Hoek, W. V. D., Padgham, L., Conitzer, V. & Winikoff, M. (eds.). The International Foundation for Autonomous Agents and Multiagent Systems, p. 1369-1370 2 p.

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

  • LOG-IDEAH: ASP for architectonic asset preservation

    Novelli, V., De Vos, M., Padget, J. & D'Ayala, D., 27 Jul 2012, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Dovier, A. & Santos Costa, V. (eds.). Dagstuhl: Leibniz International Proceedings in Informatics, p. 393-403 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 17).

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

    Open Access
    File
    1 Citation (SciVal)
    53 Downloads (Pure)
  • Market intelligence and price adaptation

    Elakehal, E. E. & Padget, J., 2012, ICEC '12 Proceedings of the 14th Annual International Conference on Electronic Commerce . New York, U. S. A.: Association for Computing Machinery, p. 9-16

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

    Open Access
    File
    3 Citations (SciVal)
    152 Downloads (Pure)
  • Normative run-time reasoning for institutionally-situated BDI agents

    Balke, T., De Vos, M. & Padget, J., 2012, Coordination, Organizations, Institutions, and Norms in Agent Systems VII : COIN@AAMAS 2011, Taipei, Taiwan, May 2011, COIN@WI-IAT 2011, Lyon, France, August 2011, Revised Selected Papers. Cranefield, S., van Riemsdijk, M. B., Vazquez-Salceda, J. & Noriega, P. (eds.). Berlin, Germany: Springer Verlag, p. 129-148 (Lecture Notes in Computer Science; vol. 7254).

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

    5 Citations (SciVal)
  • Social-aware routing for wireless mesh networks

    Basurra, S., Ji, Y., De Vos, M., Padget, J., Lewis, T. & Armour, S., Sep 2012, 76th IEEE Vehicular Technology Conference. p. 1 - 5 5 p.

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

    Open Access
    File
    135 Downloads (Pure)
  • System security requirements analysis with answer set programming

    Bibu, G., Yoshioka, N. & Padget, J., 2012, 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, RESS 2012 - Proceedings. IEEE, p. 10-13 4 p.

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

    2 Citations (SciVal)
  • 2011

    ALIVE: a model-driven framework to develop dynamic, flexible, distributed service-oriented systems

    Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. & Nieuwenhuis, K., 2011, Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE, p. 485-492 8 p.

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

    2 Citations (SciVal)
  • An agent-based infrastructure for energy profile capture and management

    Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. & Natarajan, S., 2011, 2011 International Conference on Networking, Sensing and Control, ICNSC 2011. p. 50-55 6 p.

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

    Open Access
    File
    172 Downloads (Pure)
  • A Practical Method for Developing Multi Agent Systems: APMDMAS

    Elakehal, E. E. & Padget, J., 2011, Intelligent Distributed Computing V:Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, The Netherlands – October 2011. Heidelberg: Springer, p. 11-20 10 p.

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

    Open Access
    File
    2 Citations (SciVal)
    160 Downloads (Pure)
  • A probabilistic mechanism for agent discovery and pairing using domain-specific data

    Traskas, D., Padget, J. & Tansley, J., 2011, Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer, Vol. 6541 LNAI. p. 192-209 18 p. (Lecture Notes in Computer Science).

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

  • Legal modelling and reasoning using institutions

    De Vos, M., Padget, J. & Satoh, K., 2011, New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Heidelberg: Springer, Vol. 6797 LNAI. p. 129-140 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    Open Access
    File
    11 Citations (SciVal)
    166 Downloads (Pure)
  • Normative run-time reasoning for institutionally-situated BDI agents

    Balke, T., De Vos, M., Padget, J. A. & Traskas, D., 2011, 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . Piscataway, U.S.A: IEEE, Vol. 3. 4 p. 6040690

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

    Open Access
    File
    3 Citations (SciVal)
    203 Downloads (Pure)
  • Norm refinement and design through inductive learning

    Corapi, D., De Vos, M., Padget, J., Russo, A. & Satoh, K., 2011, Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010. 30 August 2010. Lyon, France.. Heidelberg: Springer, p. 77-94 18 p. (Lecture Notes in Computer Science; vol. 6541).

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

    File
    1 Citation (SciVal)
    115 Downloads (Pure)
  • On-line reasoning for institutionally-situated BDI agents

    Balke, T., De Vos, M., Padget, J. & Traskas, D., May 2011, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). p. 1109-1110 2 p.

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

    6 Citations (SciVal)
  • Using a normative framework to explore the prototyping of wireless grids

    Balke, T., De Vos, M., Padget, J. & Fitzek, F., 2011, Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer, Vol. 6541 LNAI. p. 95-113 19 p. (Lecture Notes in Computer Science).

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

    File
    173 Downloads (Pure)
  • 2010

    ALIVE: an agent-based framework for dynamic and robust service-oriented applications

    Vazquez-Salceda, J., Vasconcelos, W., Padget, J. A., Dignum, F., Clarke, S. & Roig, M. P., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1: Volume I. Hoek, W. V. D., Kaminka, G. A., Lespérance, Y., Luck, M. & Sen, S. (eds.). Richland, U. S. A.: The International Foundation for Autonomous Agents and Multiagent Systems, p. 1637-1638 2 p.

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

  • An agent-based infrastructure for energy profile capture and management

    Padget, J., Riat, H., Warnier, M., Brazier, F. & Natarajan, S., 11 May 2010, Proceedings of Agent Technologies for Energy Systems (ATES), 2010.

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

  • A zone-based routing protocol with parallel collision guidance broadcasting for MANET

    Basurra, S. S., De Vos, M., Padget, J., Lewis, T. & Armour, S., Nov 2010, Proceedings - 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010. IEEE, p. 1188-1191 4 p.

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

    4 Citations (SciVal)
  • Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems

    Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. & Nieuwenhuis, K., 2010, Digital Business - First Iternational ICST Conference, DigiBiz 2009, Revised Selected Papers. Heidelberg: Springer, p. 175-184 10 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).

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

    4 Citations (SciVal)
  • Governance of services: a natural function for agents

    Brazier, F. M., Dignum, V., Dignum, F., Huhns, M. H., Lessner, T., Padget, J., Quillinan, T. & Singh, M. P., 2010, Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC), 2010.

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

  • InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

    Hopton, L., Cliffe, O., De Vos, M. & Padget, J., 2010, Computational Logic in Multi-Agent Systems. Dix, J., Fisher, M. & Novak, P. (eds.). Berlin: Springer, Vol. 6214. p. 102-121 20 p. (Lecture Notes in Artificial Intelligence).

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

    3 Citations (SciVal)
  • Reactive monitoring of service level agreements

    Khader, D., Padget, J. & Warnier, M., 2010, Grids and Service-Oriented Architectures for Service Level Agreements. Wieder, P., Yahyapour, R. & Ziegler, W. (eds.). Dordrecht, Germany: Springer Verlag, p. 13-22 10 p.

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

  • 2009

    ALIVE: A Framework for Flexible and Adaptive Service Coordination

    Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J. & 10 others, De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. & Nieuwenhuis, K., 2009, Engineering Societies in the Agents World X. Heidelberg: Springer, Vol. 5881. p. 236-239 4 p.

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

    2 Citations (SciVal)
  • AQL : A query language for action domains modelled using answer set programming

    Hopton, L., Cliffe, O., De Vos, M. & Padget, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 437-443 7 p. (Lecture Notes in Computer Science).

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

    5 Citations (SciVal)
  • Dynamic service reconfiguration and enactment using an open matching architecture

    Van Splunter, S., Brazier, F., Padget, J. & Rana, O., 2009, 21st Benelux Conference on Artificial Intelligence (BNAIC), 2009. p. 373-374 2 p.

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

    2 Citations (SciVal)
  • Dynamic service reconfiguration and enactment using an open matching architecture

    Van Splunter, S., Brazier, F., Padget, J. & Rana, O., 2009, Proceedings of the 1st International Conference on Agents and Artificial Intelligence (ICAART) 2009 . Instrumentation Systems and Automation Society, p. 533-539 7 p. (Proceedings of the 1st International Conference on Agents and Artificial Intelligence).

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

  • Engineering agent organisations in a business environment

    Traskas, D. & Padget, J., Nov 2009, Engineering Societies in the Agents World X. Aldewereld, H., Dignum, V. & Picard, G. (eds.). Springer, Vol. 5881. p. 49-64 16 p. (Lecture Notes in Artificial Intelligence).

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

  • Modelling normative frameworks using answer set programing

    Cliffe, O., De Vos, M. & Padget, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 548-553 6 p. (Lecture Notes in Computer Science).

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

    6 Citations (SciVal)
  • Organizing web services to develop dynamic, flexible, distributed systems

    Dignum, F., Dignum, V., Padget, J. & Vazquez-Salceda, J., 2009, 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009). p. 225-234 10 p.

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

    16 Citations (SciVal)
  • 2008

    ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

    Cliffe, O., De Vos, M., Padget, J. & Brain, M., Dec 2008, Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Berlin / Heidelberg: Springer, Vol. 5366. p. 724-728 5 p. (Lecture Notes in Computer Science).

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

    17 Citations (SciVal)
  • Embedding landmarks and scenes in a computational model of institutions

    Cliffe, O., De Vos, M. & Padget, J., 2008, Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Sichman, J. S., Padget, J., Ossowski, S. & Noriega, P. (eds.). Springer, p. 41-57 17 p. (Lecture Notes in Computer Science; vol. 4870).

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

    5 Citations (SciVal)
  • Engineering design optimisation using services and workflows

    Crick, T., Dunning, P., Kim, H. & Padget, J., 2008, Proceedings of UK e-Science 2008 All Hands Meeting. Vol. 367.

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

  • Engineering large-scale distributed auctions

    Gradwell, P., Oey, M., Timmer, R., Brazier, F. & Padget, J., 2008, Proceedings of the 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008. p. 303-304 2 p.

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

    2 Citations (SciVal)
  • Mutual dynamic adaptation of models and service enactment in ALIVE

    Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. & De Vos, M., Sep 2008, Models@Runtime workshop, Models 2008. p. 1-0 2 p.

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

  • Pan-supplier stock control in a virtual warehouse

    El-Akehal, E. E. & Padget, J. A., 2008, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Berger, M., Burg, B. & Nishiyama, S. (eds.). Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, p. 11-18 8 p.

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

    2 Citations (SciVal)
  • Provenance in computer music

    ffitch, J. & Padget, J., 2008, Proceedings of the International Computer Music Conference (ICMC), 2008. Belfast, N. Ireland: ICMA and Queen's University, Belfast, p. 121-124 4 p.

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

    File
    57 Downloads (Pure)
  • Structural optimization using services and workflows

    Crick, T., Dunning, P., Kim, H. A. & Padget, J., Sep 2008, UK e-Science All Hands Meeting: Crossing Boundaries.

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

  • 2007

    A comparison of distributed and centralised agent based bundling systems

    Gradwell, P., Padget, J., Dellarocas, C. (ed.) & Dignum, F. (ed.), Aug 2007, ICEC 2007: Ninth International Conference on Electronic Commerce. p. 25--34 10 p.

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

    3 Citations (SciVal)
  • Answer set programming for representing and reasoning about virtual institutions

    Cliffe, O., De Vos, M. & Padget, J., 2007, Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers . Inoue, K., Ken, S. & Toni, F. (eds.). Heidelberg, Germany: Springer, p. 60-79 20 p. (Lecture Notes in Computer Science; vol. 4371).

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

    40 Citations (SciVal)
  • Composition with sound web services and workflows

    ffitch, J., Mitchell, J. & Padget, J., Aug 2007, Proceedings of the 2007 International Computer Music Conference. Ann Arbor, MI: Scholarly Publishing Office, University of Michigan Library, Vol. 2007. p. 419-422 4 p.

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

  • Matchmaking support for dynamic workflow composition

    Chapman, N., Ludwig, S. A., Naylor, W., Padget, J. & Rana, O. F., 1 Dec 2007, Proceedings of 3rd IEEE International Conference on eScience and Grid Computing, 2007. IEEE, p. 371-378 8 p.

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

    3 Citations (SciVal)
  • Specifying and Reasoning about Multiple Institutions

    Cliffe, O., De Vos, M. & Padget, J., Aug 2007, Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. & Matson, E. (eds.). Heidelberg: Springer, Vol. 4386/2007. p. 67-85 19 p. (Lecture Notes in Computer Science).

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

    39 Citations (SciVal)
  • 2006

    From untyped to polymorphically typed objects in mathematical web services

    Naylor, W. & Padget, J., 2006, Mathematical Knowledge Management, Proceedings. Vol. 4108. p. 222-236 15 p. (Lecture Notes in Artificial Intelligence).

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

    1 Citation (SciVal)
  • LAIMA: A multi-agent platform using ordered choice logic programming

    De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. & Needham, J., 2006, Declarative Agent Languages and Technologies Iii. Vol. 3904. p. 72-88 17 p. (Lecture Notes in Artificial Intelligence).

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

    6 Citations (SciVal)
  • Mathematical Service Discovery

    Padget, J., Rana, O. & Gaffney, P. (ed.), 2006, Proceedings of IFIP 2.5 Working Group Meeting (Prescott, AZ).

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

  • Semantic matching for mathematical services

    Naylor, W. & Padget, J., 2006, Mathematical Knowledge Management. Springer, Vol. 3863/2006. p. 174-189 16 p. (Lecture Notes in Computer Science).

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

    2 Citations (SciVal)
  • Specifying and analysing agent-based social institutions using answer set programming

    Cliffe, O., De Vos, M. & Padget, J., 2006, Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multi-Agent Systems, ANIREM 2005and From Organizations to Organization Oriented Programming in Multi-agent Systems, OOOP 2005 Utrecht , The Netherlands, Revised Selected Papers. Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Simao Sichman, J. & Vazquez-Salceda, J. (eds.). Berlin, Germany: Springer, p. 99-113 15 p. (Lecture Notes in Artificial Intelligence; vol. 3913).

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

    20 Citations (SciVal)