Martin Gebser

Cited by

	All	Since 2018
Citations	8992	4121
h-index	45	31
i10-index	99	67

840

420

210

630

20062007200820092010201120122013201420152016201720182019202020212022202325 87 162 156 266 516 524 512 554 689 692 611 696 720 620 536 708 821

Public access

View all

77 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
Sven ThieleMax Planck Institut for Dynamics of Complex Technical SystemsVerified email at mpi-magdeburg.mpg.de
Francesco RiccaAssociate 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
Jussi RintanenAalto UniversityVerified email at aalto.fi
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
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 AlvianoAssociate Professor, University of CalabriaVerified email at mat.unical.it

Martin Gebser

University of Klagenfurt / Graz University of Technology

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	898	2012
Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022	712	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	605	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	432	2007
Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014	370	2014
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	270	2016
GrinGo: A New Grounder for Answer Set Programming M Gebser, T Schaub, S Thiele Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007	262	2007
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	250	2019
Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	200	2011
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
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	165	2008
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	162	2020
Constraint answer set solving M Gebser, M Ostrowski, T Schaub Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009	149	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	143	2016
A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele	121	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	118	2007
A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008	114	2008
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	113	2011
Conflict-Driven Disjunctive Answer Set Solving. C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ... KR 8, 422-432, 2008	112	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