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

Research Output 2001 2019

Filter
Conference contribution
2018
10 Downloads (Pure)

Deontic Sensors

Padget, J., De Vos, M. & Page, C., 13 Jul 2018, International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

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

Open Access
Multi agent systems
Sensors
2016
52 Downloads (Pure)

Implementation of normative practical reasoning with durative actions

Shams, Z., Vos, M. D., Padget, J. & Vasconcelos, W., 13 Jul 2016, Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN), 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 2015, COIN@IJCAI, Buenos Aires, Argentina, July 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 335-353 19 p. (Lecture Notes in Computer Science; vol. 9628).

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

Open Access
File
1 Citation (Scopus)
20 Downloads (Pure)

Normative practical reasoning via argumentation and dialogue

Shams, Z., De Vos, M., Oren, N. & Padget, J., 15 Jul 2016, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Kambhampati, S. (ed.). Palo Alto, U. S. A.: AAAI Press, p. 1244-1250 7 p. (Proceedings (IITA International Joint Conference on Artificial Intelligence)).

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

Open Access
File
Decision making
Planning
Compliance
2 Citations (Scopus)

Revising institutions governed by institutions for compliant regulations

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. & van Riemsdijk, M. B., 13 Jul 2016, Coordination, Organizations, Institutions, and Normes in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9628).

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

Multi agent systems
Innovation
2015
10 Citations (Scopus)

A Framework for Institutions Governing Institutions

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. & van Riemsdijk, M. B., 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). p. 473-481 8 p.

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

subsidiarity
treaty
legislation
regulation
Society
1 Citation (Scopus)
32 Downloads (Pure)

Argumentation-based Normative Practical Reasoning

Shams, Z., Vos, M. D., Oren, N., Padget, J. & Satoh, K., 2015, Theory and Applications of Formal Argumentation - Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers. p. 226-242 17 p.

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

Open Access
File
1 Citation (Scopus)
19 Downloads (Pure)

Debugging ASP using ILP

Li, T., De Vos, M., Padget, J., Satoh, K. & Balke, T., Aug 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR, Vol. Vol-1433. p. 1 - 14 14 p.

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

Open Access
File
Inductive logic programming (ILP)
Semantics
Computer programming
2014
6 Citations (Scopus)
46 Downloads (Pure)

Contextualized Institutions in Virtual Organizations

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. & Padget, J., 2014, Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds.). Springer, p. 136-154 19 p. (Lecture Notes in Computer Science).

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

File
5 Citations (Scopus)
55 Downloads (Pure)

HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks

Pourroostaei Ardakani, S., Padget, J. & De Vos, M., 2014, Ad Hoc Networks: 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers. Mellouk, A., Sherif, M. H., Li, J. & Bellavista, P. (eds.). Springer, Vol. 129. p. 47-62 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

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

File
2013
9 Citations (Scopus)
62 Downloads (Pure)

A model-based approach to the automatic revision of secondary legislation

Li, T., Balke, T., De Vos, M., Padget, J. & Satoh, K., 2013, ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. NY, USA: Association for Computing Machinery, p. 202-206 5 p.

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

Open Access
File
legislation
Law
programming
logic
scenario
58 Downloads (Pure)

An agent-based simulation approach to comparative analysis of enforcement mechanisms

Balke, T., De Vos, M. & Padget, J., 2013, Coordination, Organizations, Institutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Paper. Berlin, Germany: Springer, p. 53-70 18 p. (Lecture Notes in Computer Science; vol. 7756).

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

Open Access
File
Law enforcement
Statistical methods
Social sciences
Multi agent systems
Mobile phones
14 Downloads (Pure)

Computational Models for Normative Multi-Agent Systems

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. & Schapachnik, F., 2013, Normative Multi-Agent Systems. Andrighetto, G., Governatori, G., Noriega, P. & van der Torre, L. W. N. (eds.). Leibniz International Proceedings in Informatics, Vol. 4. p. 71-92 22 p. (Dagstuhl Follow-Ups).

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

Open Access
File
7 Citations (Scopus)
39 Downloads (Pure)

Detecting conflicts in legal systems

Li, T., Balke, T., De Vos, M., Satoh, K. & Padget, J. A., 2013, New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers. Motomura, Y., Butler, A. & Bekki, D. (eds.). Berlin: Springer, p. 174-189 16 p. (Lecture Notes in Computer Science; vol. 7856).

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

Open Access
File
legal system
jurisdiction
scenario
private law
Law
5 Citations (Scopus)
57 Downloads (Pure)

Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example

Balke, T., De Vos, M. & Padget, J., 2013, PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, Vol. 8291. p. 21-36 16 p. (Lecture Notes in Computer Science).

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

File
1 Citation (Scopus)
20 Downloads (Pure)

Governing intelligent virtual agent behaviour with norms

Lee, J., Li, T., De Vos, M. & Padget, J. A., 2013, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. Gini, M. L., Shehory, O., Ito, T. & Jonker, C. M. (eds.). The International Foundation for Autonomous Agents and Multiagent Systems, p. 1205-1206 2 p.

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

File
2 Citations (Scopus)
55 Downloads (Pure)

Handling change in normative specifications

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. & Satoh, K., 2013, Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Baldoni, M., Dennis, L., Mascardi, V. & Vasconcelos, W. (eds.). Berlin: Springer, Vol. 7784 LNAI. p. 1-19 20 p. (Lecture Notes in Computer Science ; vol. 7784).

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

File
Specifications
Inductive logic programming (ILP)
Open systems
Demonstrations
2 Citations (Scopus)

Legal conflict detection in interacting legal systems

Li, T., Balke, T., De Vos, M., Padget, J. & Satoh, K., 1 Jan 2013, Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, p. 107-116 10 p. (Legal Knowledge and Information Systems; vol. 259).

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

Specifications
Industry
47 Downloads (Pure)

Modelling legitimate expectations

De Vos, M., Balke, T. & Satoh, K., 2013, New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers. Motomura, Y., Butler, A. & Bekki, D. (eds.). Berlin: Springer, p. 141-156 17 p. (Lecture Notes in Computer Science; vol. 7856).

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

Open Access
File
private law
formalization
popularity
faith
Law
2012

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

19 Downloads (Pure)

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
Decision trees
Structural design
Earthquakes
Engineering research
Disasters
4 Citations (Scopus)

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

36 Downloads (Pure)

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
Wireless mesh networks (WMN)
Broadcasting
Network routing
Routing algorithms
Routing protocols
2011
10 Citations (Scopus)
52 Downloads (Pure)

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
Law
fairness
event
methodology
software
3 Citations (Scopus)
60 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
Multi agent systems
Specifications
Autonomous agents
Open systems
Testing
1 Citation (Scopus)
52 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
Specifications
4 Citations (Scopus)

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

50 Downloads (Pure)

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
Mobile phones
Rapid prototyping
Telecommunication networks
Energy conservation
Energy utilization
2010
4 Citations (Scopus)

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

Mobile ad hoc networks
Broadcasting
Routing protocols
Network performance
Network protocols
2 Citations (Scopus)

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

Query languages
Software architecture
Semantics
2009
2 Citations (Scopus)

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

Open systems
Semantic Web
Web services
Semantics
Communication
5 Citations (Scopus)

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

Query languages
Semantics
Specifications
Processing
Oils
6 Citations (Scopus)

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

Semantics
Formal verification
2008
15 Citations (Scopus)

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

Answer Sets
Answer Set Programming
Animation
Visualization
Debugging
3 Citations (Scopus)

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

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

Systems analysis
Availability
Industry
2007
39 Citations (Scopus)

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

Model checking
Specifications
36 Citations (Scopus)

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

Semantics
Specifications
2006
6 Citations (Scopus)

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

Logic programming
Multi agent systems
Communication
Specifications
20 Citations (Scopus)

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

Specifications
2005

T-LAIMA: Answer Set Programming for Modelling Agents with Trust

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. & Brain, M., Dec 2005, Proceedings of the European Workshop on Multi-Agent Systems (EUMAS05). p. 126--136 11 p.

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