Martin Gebser

Cited by

	All	Since 2019
Citations	9790	4225
h-index	47	30
i10-index	102	67

920

460

230

690

200620072008200920102011201220132014201520162017201820192020202120222023202426 87 165 171 255 520 521 516 548 677 682 622 692 712 626 562 717 918 673

Public access

View all

85 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
Sven ThielePotassco Solutions GmbHVerified email at potassco.com
Francesco RiccaFull Professor of Computer Science, University of CalabriaVerified email at mat.unical.it
Tomi JanhunenTampere University, FinlandVerified email at tuni.fi
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Wolfgang FaberAlpen-Adria-Universität KlagenfurtVerified email at aau.at
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyVerified email at unical.it
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
Jussi RintanenAalto UniversityVerified email at aalto.fi
Thomas KrennwallnerAivenVerified email at postsubmeta.net
Martin BrainCity, University of LondonVerified email at city.ac.uk
Anne SiegelResearch Director, CNRS, IRISA (Rennes, France)Verified email at irisa.fr
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
Yuliya LierlerProfessor of Computer Science, University of Nebraska at OmahaVerified email at unomaha.edu
Carito GuziołowskiAssociate professor of Computer Science, IRCCyN, École Centrale de NantesVerified email at irccyn.ec-nantes.fr
Christian DrescherPhD Student of Computer Science and Engineering, National ICT Australia Ltd (NICTA) and The University of New South WalesVerified email at nicta.com.au
Amelia HarrisonThe University of Texas at AustinVerified email at cs.utexas.edu
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
Mario AlvianoProfessor, University of CalabriaVerified email at unical.it

Martin Gebser

University of Klagenfurt

Verified email at aau.at - Homepage

Artificial Intelligence Declarative Problem Solving Computational Logic Answer Set Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Conflict-driven answer set solving: From theory to practice M Gebser, B Kaufmann, T Schaub Artificial Intelligence 187, 52-89, 2012	946	2012
Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022	800	2022
Potassco: The Potsdam answer set solving collection M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Schneider Ai Communications 24 (2), 107-124, 2011	633	2011
clasp: A Conflict-Driven Answer Set Solver M Gebser, B Kaufmann, A Neumann, T Schaub Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007	447	2007
Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014	407	2014
Multi-shot ASP solving with clingo M Gebser, R Kaminski, B Kaufmann, T Schaub Theory and Practice of Logic Programming 19 (1), 27-82, 2019	369	2019
Theory solving made easy with clingo 5 M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, P Wanko Technical Communications of the 32nd International Conference on Logic …, 2016	309	2016
GrinGo: A New Grounder for Answer Set Programming M Gebser, T Schaub, S Thiele Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007	269	2007
ASP-Core-2 input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... Theory and Practice of Logic Programming 20 (2), 294-309, 2020	230	2020
Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	208	2011
Engineering an incremental ASP solver M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008	172	2008
ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012	171	2012
Constraint answer set solving M Gebser, M Ostrowski, T Schaub Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009	155	2009
The second answer set programming competition M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009	146	2009
Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016	145	2016
Detecting inconsistencies in large biological networks with answer set programming M Gebser, T Schaub, S Thiele, P Veber Theory and Practice of Logic Programming 11 (2-3), 323-360, 2011	125	2011
A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele	124	2008
The first answer set programming system competition M Gebser, L Liu, G Namasivayam, A Neumann, T Schaub, M Truszczyński Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007	119	2007
A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008	118	2008
Conflict-Driven Disjunctive Answer Set Solving. C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ... KR 8, 422-432, 2008	114	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors