Martin Gebser

Cited by

	All	Since 2020
Citations	9948	3662
h-index	48	28
i10-index	104	58

940

470

235

705

2006200720082009201020112012201320142015201620172018201920202021202220232024202526 89 165 171 256 519 522 517 548 674 684 625 690 713 632 554 721 921 744 76

Public access

View all

88 articles

5 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
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	950	2012
Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022	811	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	638	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	449	2007
Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014	410	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	388	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	317	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	242	2020
Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	212	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	173	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
Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016	147	2016
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	147	2009
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 user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele	124	2008
A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008	120	2008
Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015	119	2015
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

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