dblp.uni-trier.dewww.uni-trier.de

Marina De Vos

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
26EEGeorg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
25EEOwen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728
2007
24EEOwen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57
23EEJonty Needham, Marina De Vos: A Games Semantics of ASP. ICLP 2007: 460-461
2006
22EEDavy 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
21EEOwen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA VII 2006: 60-79
20EEMartin 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
18EEOwen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113
17EEMartin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
16EEMartin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
15EEMarina 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
12EEMarina De Vos: Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77
11EEMarina 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
8EEMartin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003
2002
7EEMarina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47
2001
6EEMarina 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
4EEMarina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239
3EEMarina 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
1EEMarina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246

Coauthor Index

1Georg Boenn [26]
2Martin Brain [8] [15] [16] [17] [20] [25] [26]
3Owen Cliffe [13] [14] [15] [18] [21] [24] [25]
4Tom Crick [14] [15] [20]
5John Fitch [20] [26]
6Stijn Heymans [22]
7Jonathan Needham [14] [15]
8Jonty Needham [23]
9Davy Van Nieuwenborgh [22]
10Julian A. Padget [13] [14] [15] [18] [21] [24] [25]
11Alessandro Provetti [10] [19]
12Dirk Vermeir [1] [2] [3] [4] [5] [6] [7] [11] [22]
13Richard Watson [14] [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)