Marina De Vos

	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

Coauthor Index

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

Colors in the list of coauthors