Professor Wamberto Vasconcelos

Professor Wamberto Vasconcelos
MSc., PhD.

Personal Chair

Overview

Contact Details


Biography

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.


Qualifications

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

Research Areas

Specialisms

  • 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


Collaborations

  • 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

Courses


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)
Publications

Publications 

Currently viewing:
Filter by Publication Type

Page 10 of 12 Results 91 to 100 of 120

  • Abstractions for Model-Checking Game-Theoretic Properties of Auctions

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

    Title AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems. International Foundation for Autonomous Agents and Multiagent Systems, pp. 1613-1616, 4 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Automated requirements-driven definition of norms for the regulation of behavior in multi-agent systems

    Kollingbaum, M. J., Jureta, I. J., Vasconcelos, W., Sycara, K.

    Workshop on Behaviour Regulation in Multi-Agent Systems, AISB 2008. . 6 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Conflict resolution in norm-regulated environments via unification and constraints

    Kollingbaum, M. J., Vasconcelos, W., Garcia-Camino, A., Norman, T. J.

    Declarative Agent Languages and Technologies V. Baldoni, M., Son, T. C., Riemsdijk, M. B. v., Winikoff, M. (eds.). Springer Berlin / Heidelberg, pp. 158-174, 17 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Managing conflict resolution in norm-regulated environments

    Kollingbaum, M. J., Vasconcelos, W., Garcia-Camino, A., Norman, T. J.

    Engineering Societies in the Agents World VIII. Artikis, A., Oare, G. M. P., Stathis, K., Vouros, G. (eds.). Springer Berlin / Heidelberg, pp. 55-71, 17 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Matching sensors to missions using a knowledge-based approach

    Preece, A. D., Gomez, M., De Mel, G. R., Vasconcelos, W. W. M. P. D., Sleeman, D., Colley, S., Pearson, G., Pham, T., La Porta, T.

    Defense Transformation and Net-Centric Systems 2008. SPIE, pp. 98109-98109, 12 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • A fine-grained approach to resolving unsatisfiable ontologies

    Lam, S. C., Pan, J. Z., Sleeman, D., Vasconcelos, W.

    Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. [4061407] pp. 428-434, 7 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Distributed norm management in regulated multiagent systems

    Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J. A., Vasconcelos, W.

    AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. [90] IFAAMAS pp. 636-643, 8 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Agent-Based Group Modelling for Ambient Intelligence

    Masthoff, J., Vasconcelos, W., Aitken, C., Silva, F. S. C. d.

    AISB Symposium on Affective Smart Environments. . 7 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach

    García-Camino, A., Rodríguez-Aguilar, J., Sierra, C., Vasconcelos, W. W. M. P. D.

    Lecture Notes in Computer Science, vol. 4386, pp. 177-193

    Contributions to Journals: Articles

  • Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations

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

    Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems. Durfee, E. H., Yokoo, M., Huhns, M. N., Shehory, O. (eds.). New York, USA: Association for Computing Machinery pp. 632-639, 8 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Show 10 | 25 | 50 | 100 results per page