Marina De Vos

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]

Andreasa Morris-Martin

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]