|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Brain, Florian Schanda |
A Lightweight Technique for Distributed and Incremental Program Verification.  |
VSTTE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic music composition using answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic Music Composition using Answer Set Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
The Significance of Memory Costs in Answer Set Solver Implementation. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Crick, Martin Brain, Marina De Vos, John Fitch |
Generating Optimal Code Using Answer Set Programming. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
ANTON: Composing Logic and Logic Composing. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. |
ExaCt |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran |
Debugging ASP Programs by Means of ASP. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain |
Declarative Problem Solving Using Answer Set Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Tom Crick, Marina De Vos, John Fitch |
TOAST: Applying Answer Set Programming to Superoptimisation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Debugging Logic Programs under the Answer Set Semantics. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Richard Watson, Marina De Vos |
An Interactive Approach to Answer Set Programming. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")