Kein Foto von Martin Gebser

Martin Gebser

Univ.-Prof. Dr.rer.nat.

20192019

Research output per year

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Publikationen

ASP-Core-2 Input Language Format

Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F. & Schaub, T., 20 Dez 2019, in : Theory and Practice of Logic Programming .

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Multi-shot ASP solving with clingo

Gebser, M., Kaminski, R., Kaufmann, B. & Schaub, T., Jan 2019, in : Theory and Practice of Logic Programming . 2019, 1, S. 27-82

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

plasp 3: Towards Effective ASP Planning

Dimopoulus, Y., Gebser, M., Lühne, P., Romero, J. & Schaub, T., Mai 2019, in : Theory and Practice of Logic Programming . 2019, 3, S. 477-504

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

The Seventh Answer Set Programming Competition: Design and Results

Gebser, M., Maratea, M. & Ricca, F., 31 Mai 2019, in : Theory and Practice of Logic Programming .

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Verwandte Tätigkeiten

Herr oder Diener des Menschen? Der Aufstieg der Künstlichen Intelligenz

Martin Gebser (Redner/in)
13 Jun 2019

Aktivität: Vortrag oder PräsentationÖffentlicher Vortrag oder öffentliche Diskussion Science to public

Herr oder Diener des Menschen? Der Aufstieg der künstlichen Intelligenz

Martin Gebser (Redner/in)
21 Nov 2019

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to public

LPNMR Doctoral Consortium (Veranstaltung)

Martin Gebser (Mitglied)
1 Apr 201930 Jun 2019

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

35th International Conference on Logic Programming

Martin Gebser (Teilnehmer/-in)
20 Sep 201925 Sep 2019

Aktivität: Teilnahme an / Organisation vonKonferenz oder Fachtagung (Teilnahme an/Organisation von)

Experimental Results (Fachzeitschrift)

Martin Gebser (Mitglied des Herausgebergremiums)
1 Okt 201931 Dez 2020

Aktivität: Peer review oder HerausgebertätigkeitHerausgebertätigkeit

Prämien

First Place at Declarative Programming Contest 2019

Mario Alviano (Empfänger/-in) & Martin Gebser (Empfänger/-in), 21 Sep 2019

Auszeichnung: Preise / Medaillen / Ehrungen

The Alain Colmerauer 10 year test of time award

Martin Gebser (Empfänger/-in), Max Ostrowski (Empfänger/-in) & Torsten Schaub (Empfänger/-in), 22 Sep 2019

Auszeichnung: Preise / Medaillen / Ehrungen

Datei

Presseberichte

Vieles, was man an Bildern über KI im Kopf hat, ist aus Hollywood

Martin Gebser

17/06/19

1 Objekt von medienberichte

Presse/Medien: Presse / Medien