Ingo Hans Pill

Dipl.-Ing. Dr.techn.

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

Persönliches Profil

Keywords

  • 102001 Artificial Intelligence
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102028 Knowledge Engineering

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Ingo Hans Pill aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 5 Ähnliche Profile
Modelica Mathematik
Horn clause Mathematik
Abduction Mathematik
Temporal logic Ingenieurwesen & Materialwissenschaft
Boolean functions Ingenieurwesen & Materialwissenschaft
Taxonomies Ingenieurwesen & Materialwissenschaft
Intelligent systems Ingenieurwesen & Materialwissenschaft
Decision trees Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 2003 2019

Diagnosing Sequential Circuits as Boolean Satisfaction

Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2019. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Pill, I. & Wotawa, F., 2019. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

28th International Workshop on Principles of Diagnosis (DX'17)

Zanella, M. (Hrsg.), Pill, I. (Hrsg.) & Cimatti, A. (Hrsg.), 6 Jan 2018, EasyChair Ltd. 312 S. (Kalpa Publications in Computing; Band 4)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

Open Access

Automated generation of (F)LTL oracles for testing and debugging

Pill, I. & Wotawa, F., 2018, in : The Journal of Systems and Software . 139, S. 124-141

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Aktivitäten 2006 2020

ECAI 2020 - 24th European Conference on Artificial Intelligence (Veranstaltung)

Ingo Hans Pill (Vorsitzende/r)
2020

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

AAAI-20 Thirty-Fourth AAAI Conference on Artificial Intelligence (Veranstaltung)

Ingo Pill (Mitglied)
2020

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

28th International Joint Conference on Artificial Intelligence (Veranstaltung)

Ingo Pill (Mitglied)
2019

Aktivität: MitgliedschaftMitgliedschaft in Programmkomitee

32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Organisator/-in), Franz Wotawa (Vorsitzende/r), Roxane Koitz-Hristov (Organisator/-in), Gerhard Friedrich (Vorsitzende/r), Moonis Ali (Vorsitzende/r)
2019

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

Preise

AAAI-15 Outstanding Program Committee Member

Ingo Hans Pill (Empfänger/-in), 2015

Auszeichnung: Preise / Medaillen / Ehrungen

Committee Membership

AAAI-15 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2015

Auszeichnung: Preise / Medaillen / Ehrungen

AAAI-17 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2017

Auszeichnung: Preise / Medaillen / Ehrungen

AAAI-18 Outstanding Program Committee Member Award

Ingo Hans Pill (Empfänger/-in), 2018

Auszeichnung: Preise / Medaillen / Ehrungen

Best Tool Paper Award

Ingo Hans Pill (Empfänger/-in), 2014

Auszeichnung: Preise / Medaillen / Ehrungen

Projekte 2000 2015

EU - Prosyd - Property-Based System Design

Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

1/01/0431/12/06

Projekt: Foschungsprojekt