Martin Brain

	2012
16		Martin Brain, Florian Schanda: A Lightweight Technique for Distributed and Incremental Program Verification. VSTTE 2012: 114-129
	2011
15		Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic music composition using answer set programming. TPLP 11(2-3): 397-427 (2011)
	2010
14		Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Music Composition using Answer Set Programming CoRR abs/1006.4948: (2010)
	2009
13		Georg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
12		Tom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
11		Martin Brain, Marina De Vos: The Significance of Memory Costs in Answer Set Solver Implementation. J. Log. Comput. 19(4): 615-641 (2009)
	2008
10		Martin Brain, Marina De Vos: Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. ExaCt 2008: 37-48
9		Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
8		Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728
	2007
7		Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43
	2006
6		Martin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
5		Martin Brain: Declarative Problem Solving Using Answer Set Semantics. ICLP 2006: 459-460
	2005
4		Martin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
3		Martin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
2		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
	2003
1		Martin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003

Coauthor Index

1	Georg Boenn	[9] [13] [14] [15]
2	Owen Cliffe	[2] [8]
3	Tom Crick	[2] [6] [12]
4	John Fitch	[6] [9] [12] [13] [14] [15]
5	Martin Gebser	[7]
6	Jonathan Needham	[2]
7	Julian A. Padget	[2] [8]
8	Jörg Pührer	[7]
9	Florian Schanda	[16]
10	Torsten Schaub	[7]
11	Hans Tompits	[7]
12	Marina De Vos	[1] [2] [3] [4] [6] [8] [9] [10] [11] [12] [13] [14] [15]
13	Richard Watson	[4]
14	Stefan Woltran	[7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page