Marina De Vos Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoey 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Julian A. Padget: Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos: ASP: The Future Is Bright. LPNMR 2009: 625-627
2008
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Marina De Vos: Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. ExaCt 2008: 37-48
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728
2007
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonty Needham, Marina De Vos: A Games Semantics of ASP. ICLP 2007: 460-461
2006
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavy 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA VII 2006: 60-79
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
2005
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS 2005: 476-477
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos: Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)
2003
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos: An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003
2002
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406
1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246

Coauthor Index

1Huib Aldewereld [33]
2Sergio Álvarez-Napagao [33]
3D. Andreou [33]
4Georg Boenn [26] [31]
5Martin Brain [8] [15] [16] [17] [20] [25] [26] [27] [29] [31]
6Luigi Ceccaroni [33]
7Alison Chorley [33]
8S. Clarke [33]
9Owen Cliffe [13] [14] [15] [18] [21] [24] [25] [30] [32] [33]
10Roberto Confalonieri [33]
11David Corsar [33]
12Tom Crick [14] [15] [20] [29]
13Frank Dignum (F. P. M. Dignum) [33]
14Virginia Dignum [33]
15John Fitch [20] [26] [29] [31]
16I. Gomez [33]
17Frank Guerin [33]
18Stijn Heymans [22]
19S. Hidalgo [33]
20Luke Hopton [32]
21Sik Chun Lam (Joey Sik Chun Lam) [33]
22Jonathan Needham [14] [15]
23Jonty Needham [23]
24Davy Van Nieuwenborgh [22]
25K. Nieuwenhuis [33]
26Juan Carlos Nieves [33]
27Timothy J. Norman [33]
28Julian A. Padget [13] [14] [15] [18] [21] [24] [25] [30] [32] [33]
29Sofia Panagiotidi [33]
30Loris Penserini [33]
31R. Popescu [33]
32Alessandro Provetti [10] [19]
33T. Quillinan [33]
34Chris Reed [33]
35M. Palau Roig [33]
36P. Sergeant [33]
37Athanasios Staikopoulos [33]
38Wamberto Weber Vasconcelos [33]
39Javier Vázquez-Salceda [33]
40Dirk Vermeir [1] [2] [3] [4] [5] [6] [7] [11] [22]
41Richard Watson [14] [17]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)