Andr Neumann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ECAI | Advanced Preprocessing for Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | IJCAI | Conflict-Driven Answer Set Solving. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Conflict-Driven Answer Set Enumeration. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | Untitled record | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2005 | LPAR | The nomore++ Approach to Answer Set Solving. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | LPNMR | The nomore++ System. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2004 | ICFHR | Mode detection and incremental recognition. | Stphane Rossignol, Don Willems, Andr Neumann, Louis Vuurpijl |