Martin Gebser

Cited by

	All	Since 2021
Citations	10886	3888
h-index	49	28
i10-index	111	61

940

470

235

705

2007200820092010201120122013201420152016201720182019202020212022202320242025202694 163 168 259 524 543 523 545 680 689 619 687 729 644 550 704 926 783 882 28

Public access

View all

90 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 CalimeriFull 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
Miroslaw TruszczynskiProfessor of Computer Science, University of KentuckyVerified email at cs.uky.edu
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
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.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
Amelia HarrisonThe University of Texas at AustinVerified email at cs.utexas.edu
Mario AlvianoProfessor, University of CalabriaVerified email at unical.it
Joohyung LeeAssociate Professor, Arizona State UniversityVerified email at asu.edu

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	1001	2012
Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022	900	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	672	2011
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	519	2019
clasp: A Conflict-Driven Answer Set Solver M Gebser, B Kaufmann, A Neumann, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007	465	2007
Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014	448	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	353	2016
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	311	2020
Gringo: A new grounder for answer set programming M Gebser, T Schaub, S Thiele International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007	283	2007
Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011	230	2011
Engineering an incremental ASP solver M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele International Conference on Logic Programming, 190-205, 2008	179	2008
Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016	164	2016
Constraint answer set solving M Gebser, M Ostrowski, T Schaub International Conference on Logic Programming, 235-249, 2009	157	2009
The second answer set programming competition M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009	153	2009
ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012	149	2012
Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015	139	2015
A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele	131	2008
Complex optimization in answer set programming M Gebser, R Kaminski, T Schaub Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011	128	2011
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	126	2011
A reinforcement learning environment for job-shop scheduling P Tassel, M Gebser, K Schekotihin arXiv preprint arXiv:2104.03760, 2021	125	2021

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