Martin Brain

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

2007
7EEMartin 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
6EEMartin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
5EEMartin Brain: Declarative Problem Solving Using Answer Set Semantics. ICLP 2006: 459-460
2005
4EEMartin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
3EEMartin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
2EEMarina 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
1EEMartin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003

Coauthor Index

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

Colors in the list of coauthors

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)