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 11 of 12 Results 101 to 110 of 120

  • Rule schemata for game artificial intelligence

    da Silva, F. S. C., Vasconcelos, W. W.

    Advances in artificial intelligence. Sichman, J. S., Coelho, H., Rezende, S. O. (eds.). Springer-Verlag, pp. 451-461, 11 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • A distributed architecture for norm-aware agent societies

    Garcia-Camino, A., Rodriguez-Aguilar, J. A., Sierra, C., Vasconcelos, W. W.

    Declarative Agent Languages and Technologies III. Baldoni, M., Endriss, U., Omicini, A., Torrini, P. (eds.). Springer-Verlag, pp. 89-105, 17 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. W. M. P. D.

    2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings). LOS ALAMITOS: IEEE COMPUTER SOC. 7 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Verification and Analysis of Organisational Change

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

    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J. S., Vazquez-Salceda, J. (eds.). Springer-Verlag, pp. 48-63, 16 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Agent-based management of responsive environments

    da Silva, F. S. C., Vasconcelos, W. W.

    Unknown Publisher. 13 pages

    Books and Reports: Books

  • Managing ontology versions with a distributed blackboard architecture

    Compatangelo, E., Vasconcelos, W. W. M. P. D., Scharlau, B. A.

    Research and Development in Intelligent Systems XXI. Bramer, M., Coenen, F., Allen, T. (eds.). London, England: Springer-Verlag pp. 44-57, 14 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Norm verification and analysis of electronic institutions

    Vasconcelos, W. W.

    Unknown Publisher. 17 pages

    Books and Reports: Books

  • OntoSearch

    Zhang, Y., Vasconcelos, W. W. M. P. D., Sleeman, D.

    Research and Development in Intelligent Systems XXI. Bramer, M., Coenen, F., Allen, T. (eds.). London, England: Springer-Verlag pp. 58-69, 12 pages.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • ReTAX+: A cooperative taxonomy revision tool

    Lam, S. C., Sleeman, D., Vasconcelos, W. W. M. P. D.

    Applications and Innovations in Intelligent Systems XII. Macintosh, A., Ellis, R., Allen, T. (eds.). Springer-Verlag, pp. 64-77, 14 pages

    Chapters in Books, Reports and Conference Proceedings: Chapters

  • Rapid Prototyping of Large Multi-Agent Systems through Logic Programming

    Vasconcelos, W. W. M. P. D., Robertson, D. S., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M. J.

    Annals of Mathematics and Artificial Intelligence, vol. 41, pp. 135-169

    Contributions to Journals: Articles

Show 10 | 25 | 50 | 100 results per page