• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2019

A.I. (Artificial Intelligence) Literacy - Künstliche Intelligenz als Grundkompetenz

Martin Kandlhofer (Speaker)
May 2019

Activity: Talk or presentationInvited talk at conference or symposiumScience to public

Workshop at European Robotics Forum

Gerald Steinbauer (Organiser), Martin Kandlhofer (Organiser), Alexander Ferrein (Organiser), Paolo Fiorini (Organiser), Aydan Erkmen (Organiser), Fabio Bonsignorio (Organiser), Camila Shirota (Organiser), Andre Seyfarth (Organiser), Monica Malvezzi (Organiser)
22 Mar 2019

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

EDLRIS - European Driving License for Robots and Intelligent Systems: Enabling the Creation of Intelligent Things

Martin Kandlhofer (Speaker)
25 Jun 2019

Activity: Talk or presentationTalk at conference or symposiumScience to public

NP-Completeness of Max-Cut for Segment Intersection Graphs

Birgit Vogtenhuber (Speaker)
22 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser (Speaker)
20 Nov 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Bernhard Aichernig (Speaker)
11 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

R. Fabila-Monroy

Oswin Aichholzer (Host)
20 May 201827 May 2018

Activity: Hosting a visitorHosting an academic visitor

31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Participant)
2018 → …

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Speaker)
9 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Speaker)
1 Oct 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Electronic Newsletter of the Association for Logic Programming (Journal)

Martin Gebser (Peer reviewer)
1 Oct 201831 Dec 2018

Activity: Publication peer-review or editorial workEditorial activity

SchülerInnen Konferenz "Ich bin online" WKO Steiermark

Bernadette Spieler (Speaker)
18 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

28th International Workshop on Principles of Diagnosis (Event)

Marina Zanella (Guest editor), Ingo Pill (Guest editor), Alessandro Cimatti (Guest editor)
6 Jan 2018

Activity: Publication peer-review or editorial workEditorial activity

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
10 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Agile Software Development, Software Engineering, Computer Science Didactic & Teaching

Christian Schindler (Speaker)
10 Aug 2018

Activity: Talk or presentationInvited talkScience to science

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Speaker)
27 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dec 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Theory and Practice of Logic Programming (Journal)

Martin Gebser (Peer reviewer)
1 Nov 201830 Nov 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

Annals of Mathematics and Artificial Intelligence (Journal)

Martin Gebser (Peer reviewer)
1 Dec 201831 Dec 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Speaker)
18 Jul 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Richard Alexander Schumi (Speaker)
6 Sep 2018

Activity: Talk or presentationPoster presentationScience to science

Superhirne und starke Helfer - Educational Robotics in Kindergarten und Hort

Martin Kandlhofer (Speaker)
Sep 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

European Driving License for Robotics and Intelligent Systems

Martin Kandlhofer (Speaker)
Jan 2018

Activity: Talk or presentationTalk at conference or symposiumScience to public

Künstliche Intelligenz & Robotik in Schule und Universität

Martin Kandlhofer (Speaker)
Sep 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Predicting and Testing System Response-Times

Richard Alexander Schumi (Speaker)
27 Sep 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

AAAI-18 (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

Towards Understanding and Managing Co-Creative Communities

Matthias Müller (Speaker), Wolfgang Vorraber (Speaker), Wolfgang Slany (Speaker)
27 Jun 201828 Jun 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Jean Cardinal

Oswin Aichholzer (Host)
20 Nov 201823 Nov 2018

Activity: Hosting a visitorHosting an academic visitor

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System

Franz Wotawa (Speaker)
13 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Planar 3-SAT with a Clause/Variable Cycle

Alexander Pilz (Speaker)
2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Jorge Urrutia Galicia

Oswin Aichholzer (Host)
28 Jun 20187 Jul 2018

Activity: Hosting a visitorHosting an academic visitor

Software configuration diagnosis – A Survey of existing methods and open challenges

Franz Wotawa (Speaker)
28 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Contributor)
Dec 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On the Superiority of Conflict-Driven Search in MUS Enumeration

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationPoster presentationScience to science

Colored Crossings and Maximum Cuts

Birgit Vogtenhuber (Speaker)
28 May 2018

Activity: Talk or presentationInvited talkScience to public

The RoboCup Rescue Victim Dataset

Peter Lorenz (Speaker), Gerald Steinbauer (Contributor)
Aug 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Second IEEE International Contest on Software Testing

Martin Jochen Zimmermann (Participant)
17 Jul 2018

Activity: Participation in or organisation ofCompetition (Participation in/Organisation of)

Ist Künstliche Intelligenz eine Kulturtechnik?

Martin Kandlhofer (Speaker)
Mar 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Enabling the Creation of Intelligent Things; Project EDLRIS: Artificial Intelligence

Martin Kandlhofer (Speaker)
22 Nov 2018

Activity: Talk or presentationTalk at conference or symposiumScience to public

Girls Coding Week

Bernadette Spieler (Organiser)
6 Aug 201810 Aug 2018

Activity: Public engagementPublic event

Knowledge Representation and Reasoning: Wie können Maschinen wissen und denken?

Martin Gebser (Speaker), Wolfgang Faber (Speaker)
13 Dec 2018

Activity: Talk or presentationInvited talkScience to public

Creative Bodies—Creative Minds

Bernadette Spieler (Organiser)
Mar 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

RoboCupJunior Austrian Open 2018

Petra Pichler (Contributor)
13 Apr 201814 Apr 2018

Activity: Public engagementPublic event

Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
5 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

27th Internaltional Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence (Event)

Martin Gebser (Chair)
1 Oct 20181 Feb 2019

Activity: MembershipMembership in Programm Committee

A Note on Planar Monohedral Tilings

Birgit Vogtenhuber (Speaker)
21 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science