Professor Wamberto Vasconcelos

Professor Wamberto Vasconcelos
MSc., PhD.

Personal Chair


Contact Details


My background is in Computing Science and Artificial Intelligence. My research interest lies in the intersection of knowledge representation & reasoning (KRR) and software engineering, especifically in supporting software engineering through the use of logics and theorem proving.

My research over the years shifted from stand-alone (logic) programs, to distributed computing and sofware agents and autonomous agents. More recent work addresses normative aspects of distributed software, that is, how norms (such as "who bids must pay"; "only bidders with a letter of credit may bid", and so on) can help the design, implementation and evaluation of large ecosystems of autonomous and self-interested software agents.

I have worked closely with various segments of industry, government and third sector, in collaborative research and as a consultant. Exploring and solving real-life problems is very rewarding.


PhD, Artificial Intelligence University of Edinburgh 1995
MSc, Computing Federal University of Rio de Janeiro, Brazil 1987

Research Areas


  • Artificial Intelligence
  • Software Engineering
  • Systems Analysis and Design
  • Systems Engineering

Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International

Research Overview

Computational logic, software engineering, distributed computing and systems, multi-agent systems


  • Informatics, University of Edinburgh (Prof. Dave Robertson)
  • AGH University, Cracow, Poland (Dr. Bartlomiej Sniezynski)
  • King's College, London, UK (Prof. Michael Luck and Dr. Simon Miles)
  • University of Sao Paulo, Sao Paulo, Brazil (Dr. Flavio Soares Correa da Silva)
  • University of Otago, Dunedin, New Zealand (Prof. Stephen Cranefield)

Research Funding and Grants

  • Scrutable Autonomous Systems (SASSY). EPSRC. 2012-2015. Principal Investigator. Amount: GBP 1.1M
  • ALIVE Research Project. The European Commission (FP7). 2008-2010. Principal Investigator. Amount: GBP 350,000
  • International Technology Alliance (ITA). The Department of Defence (USA) and Ministry of Defence (UK). 2006-2011. Co-Investigator. Amount GBP 2,900,000.
  • Conference Grant. The Royal Society. May 2007. Amount: GBP 500.
  • International Exchange Programme. The Royal Society of Edinburgh. Jan–Feb 2005. Amount: GBP 1,500


Teaching Responsibilities

  • Course organiser and lecturer for the module Foundations of Artificial Intelligence (CS5060)
  • Course organiser and lecturer for the module Software Agents and Multi-Agent Systems (CS551K)


Currently viewing:
Filter by Publication Type

Page 8 of 12 Results 71 to 80 of 120

  • ALIVE: a framework for flexible and adaptive service coordination

    Lam, J. S. C., Vasconcelos, W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Álvarez-Napagao, S., Nieves, J. C., Roig, M. P., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J. A., Vos, M. D., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T., Nieuwenhuis, K.

    Proceedings of the 10th International Workshop "Engineering Societies in the Agents' World" (ESAW 2009). Aldewereld, H., Dignum, V., Picard, G. (eds.). Springer Berlin / Heidelberg pp. 236-239, 4 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Normative Conflict Resolution in Multi-Agent Systems

    Vasconcelos, W. W., Kollingbaum, M. J., Norman, T. J.

    Autonomous Agents and Multi-Agent Systems, vol. 19, no. 2, pp. 124-152

    Contributions to Journals: Articles

  • Reasoning and Resource Allocation for Sensor-Mission Assignment in a Coalition Context

    Preece, A. D., Pizzocaro, D., Borowiecki, K., De Mel, G. R., Gomez, M., Vasconcelos, W. W. M. P. D., Bar-Noy, A., Johnson, P., La Porta, T., Rowaihy, H., Pearson, G., Pham, T.


    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Abstracting and Verifying Strategy-Proofness for Auction Mechanisms

    Tadjouddine, E. M., Guerin, F., Vasconcelos, W.

    Declarative Agent Languages and Technologies VI. Baldoni, M., Son, T. C., van Riemsdijk, M. B., Winikoff, M. (eds.). Springer-Verlag, pp. 197-214, 18 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Abstracting and verifying strategy-proofness for auction mechanisms

    Tadjouddine, E. M., Guerin, F., Vasconcelos, W.

    Lecture Notes in Computer Science, vol. 5397, pp. 197-214

    Contributions to Journals: Articles

  • Contract Formation through Preemptive Normative Conflict Resolution

    Vasconcelos, W., Norman, T. J.

    Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. Sandri, S., Sànchez-Marrè, M., Cortés, U. (eds.). IOS Press pp. 179-188, 10 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Show 10 | 25 | 50 | 100 results per page