2009 | ||
---|---|---|
33 | Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio Álvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, R. Popescu, S. Clarke, P. Sergeant, Chris Reed, T. Quillinan, K. Nieuwenhuis: ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW 2009: 236-239 | |
32 | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. LPNMR 2009: 437-443 | |
31 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547 | |
30 | Owen Cliffe, Marina De Vos, Julian A. Padget: Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553 | |
29 | Tom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559 | |
28 | Marina De Vos: ASP: The Future Is Bright. LPNMR 2009: 625-627 | |
2008 | ||
27 | Martin Brain, Marina De Vos: Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. ExaCt 2008: 37-48 | |
26 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174 | |
25 | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728 | |
2007 | ||
24 | Owen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57 | |
23 | Jonty Needham, Marina De Vos: A Games Semantics of ASP. ICLP 2007: 460-461 | |
2006 | ||
22 | Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA VII 2006: 20-40 | |
21 | Owen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA VII 2006: 60-79 | |
20 | Martin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284 | |
2005 | ||
19 | Marina De Vos, Alessandro Provetti: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 CEUR-WS.org 2005 | |
18 | Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113 | |
17 | Martin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005 | |
16 | Martin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005 | |
15 | Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. DALT 2005: 72-88 | |
14 | Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham: T-LAIMA: Answer Set Programming for Modelling Agents with Trust. EUMAS 2005: 126-136 | |
13 | Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS 2005: 476-477 | |
2004 | ||
12 | Marina De Vos: Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77 | |
11 | Marina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004) | |
2003 | ||
10 | Marina De Vos, Alessandro Provetti: Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 CEUR-WS.org 2003 | |
9 | Marina De Vos: An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373 | |
8 | Martin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003 | |
2002 | ||
7 | Marina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47 | |
2001 | ||
6 | Marina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001 | |
5 | Marina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001) | |
2000 | ||
4 | Marina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239 | |
3 | Marina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406 | |
1999 | ||
2 | Marina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276 | |
1 | Marina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246 |