Marina De Vos

Oliver Ray

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2020

Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2020

A Norm Emergence Framework for Normative MAS - Position Paper.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII, 2020

2019

Norm emergence in multiagent systems: a viewpoint paper.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2019

ODRL Policy Modelling and Compliance Checking.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

2018

Deontic Sensors.

[BibT_eX]

[DOI]

Saeid Pourroostaei Ardakani

Charlie Ann Page

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Wirel. Inf. Networks, 2017

Online Prediction via Continuous Artificial Prediction Markets.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2017

Practical reasoning with norms for autonomous software agents.

[BibT_eX]

[DOI]

Wamberto Weber Vasconcelos

Eng. Appl. Artif. Intell., 2017

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition).

[BibT_eX]

[DOI]

Wamberto Weber Vasconcelos

CoRR, 2017

Automated multi-level governance compliance checking.

[BibT_eX]

[DOI]

Thomas Christopher King

M. Birna van Riemsdijk

Auton. Agents Multi Agent Syst., 2017

2016

CBA: A cluster-based client/server data aggregation routing protocol.

[BibT_eX]

[DOI]

Saeid Pourroostaei Ardakani

Ad Hoc Networks, 2016

Normative Practical Reasoning via Argumentation and Dialogue.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report.

[BibT_eX]

[DOI]

CoRR, 2015

Energy efficient zone based routing protocol for MANETs.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2015

Argumentation-based Normative Practical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Debugging ASP using ILP.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Implementation of Normative Practical Reasoning with Durative Actions.

[BibT_eX]

[DOI]

Wamberto Weber Vasconcelos

Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Revising Institutions Governed by Institutions for Compliant Regulations.

[BibT_eX]

[DOI]

Thomas Christopher King

M. Birna van Riemsdijk

Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

A Framework for Institutions Governing Institutions.

[BibT_eX]

[DOI]

Thomas Christopher King

M. Birna van Riemsdijk

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2013

Distributed quality of service provision using coalitions and the Nash bargaining solution.

[BibT_eX]

[DOI]

IET Commun., 2013

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2013

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

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Legal Conflict Detection in Interacting Legal Systems.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2013

ArgPROLEG: A Normative Framework for the JUF Theory.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2013

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

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Computational Models for Normative Multi-Agent Systems.

[BibT_eX]

[DOI]

Fernando Schapachnik

Proceedings of the Normative Multi-Agent Systems, 2013

Combining event-and state-based norms.

[BibT_eX]

[DOI]

Saeid Pourroostaei Ardakani

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Contextualized Institutions in Virtual Organizations.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Governing intelligent virtual agent behaviour with norms.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Ad Hoc Networks - 5th International ICST Conference, 2013

2012

Annotating answer-set programs in Lana.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Social-Aware Routing for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Modelling Legitimate Expectations.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Detecting Conflicts in Legal Systems.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2012

LOG-IDEAH: ASP for Architectonic Asset Preservation.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012

Computational Music Theory.

[BibT_eX]

[DOI]

Proceedings of the Musical Metacreation, 2012

Handling change in normative specifications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Normative design using inductive learning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Automatic music composition using answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Understanding Static Intercell Interference Coordination Mechanisms in LTE.

[BibT_eX]

[DOI]

Ashley Mills

David Lister

J. Commun., 2011

Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2011

A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution.

[BibT_eX]

[DOI]

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution.

[BibT_eX]

[DOI]

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Anton - A Rule-Based Composition System.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Computer Music Conference, 2011

Normative Run-Time Reasoning for Institutionally-Situated BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.

[BibT_eX]

[DOI]

Richard Watson

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

On-line reasoning for institutionally-situated BDI agents.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Normative Run-Time Reasoning for Institutionally-Situated BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2011

2010

Norm Refinement and Design through Inductive Learning.

[BibT_eX]

[DOI]

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Legal Modelling and Reasoning Using Institutions.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2010

The Impact of MS Velocity on the Performance of Frequency Selective Scheduling in IEEE 802.16e Mobile WiMAX.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Consumer Communications and Networking Conference, 2010

Using a Normative Framework to Explore the Prototyping of Wireless Grids.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

2009

The Significance of Memory Costs in Answer Set Solver Implementation.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

CLIMA-X, SEA'09 and LPNMR'09.

[BibT_eX]

[DOI]

Künstliche Intell., 2009

ASP: The Future Is Bright.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Generating Optimal Code Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Modelling Normative Frameworks Using Answer Set Programing.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

ANTON: Composing Logic and Logic Composing.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

ALIVE: A Framework for Flexible and Adaptive Service Coordination.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World X, 2009

Inst<i>QL</i>: A Query Language for Virtual Institutions Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008

ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Answer Set Programming ? a Domain in Need of Explanation: A Position Paper.

[BibT_eX]

Proceedings of the Explanation-aware Computing, 2008

2007

A Games Semantics of ASP.

[BibT_eX]

[DOI]

Jonty Needham

Proceedings of the Logic Programming, 23rd International Conference, 2007

Embedding Landmarks and Scenes in a Computational Model of Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

2006

TOAST: Applying Answer Set Programming to Superoptimisation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.

[BibT_eX]

[DOI]

Davy Van Nieuwenborgh

Stijn Heymans

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Answer Set Programming for Representing and Reasoning About Virtual Institutions.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Specifying and Reasoning About Multiple Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

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

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

Specifying and Analysing Agent-based Social Institutions using Answer Set Programming.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

An Interactive Approach to Answer Set Programming.

[BibT_eX]

[DOI]

Richard Watson

Proceedings of the Answer Set Programming, 2005

Debugging Logic Programs under the Answer Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Extending Answer Sets for Logic Programming Agents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Implementing Ordered Choice Logic Programming using Answer Set Solvers.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

2003

Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

An Ordered Choice Logic Programming Front-End for Answer Set Solvers.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Dynamic Decision-Making in Logic Programming and Game Theory.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Semantic Forcing in Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Comput. Intell., 2001

Logic Programming Agents and Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

A Logic for Modeling Decision Making with Dynamic Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Dynamically Ordered Probabilistic Choice Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

On the Role of Negation in Choice Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Choice Logic Programs and Nash Equilibria in Strategic Games.

[BibT_eX]

[DOI]