Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Portugal
2 × Italy
3 × USA
Collaborated with:T.Schaub R.Kaminski B.Kaufmann M.Ostrowski S.Thiele ∅ P.Veber M.Alviano W.Faber T.Janhunen J.Rintanen T.Grote A.Harrison V.Lifschitz B.Usadel P.Obermeier O.Sabuncu C.Guziolowski M.Ivanchev A.Siegel C.Drescher A.König
Talks about:answer (11) set (11) program (9) asp (4) solv (3) constraint (2) inconsist (2) conflict (2) network (2) solver (2)
Person: Martin Gebser
DBLP: Gebser:Martin
Contributed to:
2015
20142012201220112011201020092008200820072006Wrote 16 papers:
- ICLP-J-2015-AlvianoFG #programming #recursion #set
- Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.
- ICLP-J-2015-GebserHKLS
- Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.
- KR-2014-GebserJR #encoding
- ASP Encodings of Acyclicity Properties (MG, TJ, JR).
- ICLP-J-2012-GebserKS #concurrent #multi #thread
- Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
- KR-2012-GebserGKOSS #programming #reasoning #set
- Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
- ICLP-2011-GebserKKS #multi #optimisation #programming #set
- Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
- ICLP-J-2011-GebserKS #optimisation #programming #set
- Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.
- KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set
- Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
- ICLP-2009-GebserKKS #constraints #implementation #on the
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
- ICLP-2009-GebserOS #constraints #set
- Constraint Answer Set Solving (MG, MO, TS), pp. 235–249.
- ICLP-2008-GebserKKOST #incremental
- Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
- ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
- KR-2008-DrescherGGKKOS #set
- Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.
- ICLP-2007-Gebser #programming #set
- Advanced Techniques for Answer Set Programming (MG), pp. 458–459.
- ICLP-2007-GebserS #programming #set
- Generic Tableaux for Answer Set Programming (MG, TS), pp. 119–133.
- ICLP-2006-GebserS #calculus #programming #set
- Tableau Calculi for Answer Set Programming (MG, TS), pp. 11–25.