Martin Brain
TitoloCitata daAnno
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
682005
Debugging ASP programs by means of ASP
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007
632007
Deciding floating-point logic with systematic abstraction
L Haller, A Griggio, M Brain, D Kroening
FMCAD, 2012
602012
Deciding floating-point logic with abstract conflict driven clause learning
M Brain, V D’silva, A Griggio, L Haller, D Kroening
Formal Methods in System Design 45 (2), 213-245, 2014
522014
Automatic composition of melodic and harmonic music by answer set programming
G Boenn, M Brain, M De Vos
International Conference on Logic Programming, 160-174, 2008
452008
An automatable formal semantics for IEEE-754 floating-point arithmetic
M Brain, C Tinelli, P Rümmer, T Wahl
2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015
402015
Automatic music composition using answer set programming
G Boenn, M Brain, M De Vos, J Ffitch
Theory and practice of logic programming 11 (2-3), 397-427, 2011
382011
TOAST: Applying answer set programming to superoptimisation
M Brain, T Crick, M De Vos, J Fitch
International Conference on Logic Programming, 270-284, 2006
382006
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
International Static Analysis Symposium, 145-161, 2015
332015
SC2: Satisfiability checking meets symbolic computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
322016
ASPVIZ: Declarative visualisation and animation using answer set programming
O Cliffe, M De Vos, M Brain, J Padget
International Conference on Logic Programming, 724-728, 2008
312008
A new-generation automated warehousing capability
Q Wang, R McIntosh, M Brain
International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010
292010
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
See De Vos and Schaub (2007), 101-115, 2007
262007
That is illogical captain! The debugging support tool spock for answer-set programs: system description
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
Proceedings of the Workshop on Software Engineering for Answer Set …, 2007
252007
LAIMA: A multi-agent platform using ordered choice logic programming
M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham
International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005
242005
Interpolation-based verification of floating-point programs with abstract CDCL
M Brain, V D’Silva, A Griggio, L Haller, D Kroening
International Static Analysis Symposium, 412-432, 2013
212013
Anton: Composing logic and logic composing
G Boenn, M Brain, M De Vos
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
182009
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015
162015
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
M Brain, M De Vos
Answer Set Programming 24, 2003
162003
A pragmatic programmer’s guide to answer set programming
M Brain, O Cliffe, M De Vos
Answer Set Programming, 49, 2009
142009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20