MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Martin Brain" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Towards Incremental Computation of the Answer Set Semantics: Preliminary Report
by Martin Brain, Marina De Vos
…Towards Incremental Computation of the Answer Set Semantics: Preliminary Report Martin Brain…
Add To MetaCart

Answer Set Programming – a Domain in Need of Explanation A Position Paper
by Martin Brain, Marina De Vos
…Answer Set Programming – a Domain in Need of Explanation A Position Paper Martin Brain and Marina…
Add To MetaCart

M.: Debugging logic programs under the answer set semantics
by Martin Brain, Marina De Vos — 2005 — Proceedings of the 3rd International Workshop on Answer Set Programming (ASP’05). CEUR Workshop Proceedings (2005) 141–152
…Debugging Logic Programs under the Answer Set Semantics Martin Brain and Marina De Vos…
Cited by 9 (4 self) – Add To MetaCart

An interactive approach to answer set programming
by Martin Brain, Richard Watson, Marina De Vos — 2005 — in Proc. of the 3rd Intl. Workshop on ASP: Advances in Theory and Implementation (ASP05), volume 142 of CEUR Workshop Proceedings
…An Interactive Approach to Answer Set Programming Martin Brain 1 , Richard Watson 2 , and Marina…
Cited by 2 (0 self) – Add To MetaCart

S.: Debugging ASP programs by means of ASP
by Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran — Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07). Springer-Verlag (2007) 31–43
…Debugging ASP Programs by Means of ASP ⋆ Martin Brain 1 , Martin Gebser 2 ,Jörg Pührer 3 , Torsten…
Cited by 3 (3 self) – Add To MetaCart

Ape: An ansprolog* environment
by Adrian Sureshkumar, Marina De Vos, Martin Brain, John Fitch — 2007 — In Proceedings of the First International Workshop on Software Engineering for Answer Set Programming, volume 281 of Workshop Proceedings
…APE: An AnsProlog* Environment Adrian Sureshkumar, Marina De Vos, Martin Brain, and John Fitch…
Cited by 1 (1 self) – Add To MetaCart

Implementing OCLP as a front-end for Answer Set
by Solvers From Theory, Martin Brain, Marina De Vos — 2003 — In ASP03: Answer Set Programming: Advances in Theory and Implementation. Ceur-WS, 2003. online CEUR-WS.org/Vol-78/asp03-final-brain.ps
…Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice Martin Brain…
Add To MetaCart

A Multi-agent Platform using Ordered Choice Logic Programming
by Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham — 2005 — In Declarative Agent Languages and Technologies (DALT’05
… Padget, Martin Brain, Owen Cliffe, and Jonathan Needham Department of Computer Science University of Bath…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB