Aktivitäten pro Jahr
Aktivitäten
- 1 – 50 von 264 Ergebnissen
Suchergebnisse
-
Manipulating Skeptical and Credulous Consequences when Merging Beliefs
Johannes Peter Wallner (Redner/in)
6 März 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Testing autonomous and automated driving functions? Challenges and potential solutions
Franz Wotawa (Redner/in)
5 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Straight-line subdrawings with crossings
Rosna Paul (Redner/in)
28 Jan. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Using ASP for Model-based Diagnosis
Franz Wotawa (Keynote speaker)
28 Nov. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Computation in Structured Argumentation: to Instantiate or not to Instantiate?
Johannes Peter Wallner (Redner/in)
15 Dez. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Finding plane subdrawings via generalized twistedness
Alexandra Weinberger (Redner/in)
Feb. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Perfect matchings with crossings
Rosna Paul (Redner/in)
10 Jan. 2022 → 10 März 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Perfect matchings with crossings
Rosna Paul (Redner/in)
2 Mai 2022 → 19 Juni 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Perfect matchings with crossings
Rosna Paul (Redner/in)
14 Jan. 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Verifying and validating AI-based systems during development and operation
Franz Wotawa (Redner/in)
12 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
On the Use of Qualitative Reasoning in Autonomous Driving
Lorenz Klampfl (Redner/in)
23 Juli 2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Anna Rapberger (Beitragende/r), Markus Ulbricht (Redner/in) & Johannes Peter Wallner (Beitragende/r)
2022Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
ASPARTIX-V - A Solver for Argumentation Tasks Using ASP
Wolfgang Dvořák (Beitragende/r), Matthias König (Redner/in), Anna Rapberger (Beitragende/r), Johannes Peter Wallner (Beitragende/r) & Stefan Woltran (Beitragende/r)
21 Sep. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
An AGM Approach to Revising Preferences
Adrian Haret (Redner/in) & Johannes Peter Wallner (Beitragende/r)
2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Integrating multiple observation sets into consistency-based diagnosis
Franz Wotawa (Redner/in)
13 Sep. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Counteracting Exam Cheating by Leveraging Configuration and Recommendation Techniques
Viet Man Le (Redner/in)
17 Sep. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Crossing Numbers of K_n for Geometric and Topological Drawings
Oswin Aichholzer (Redner/in)
21 Jan. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Point sets maximizing the number of perfect cross-matchings
Rosna Paul (Redner/in)
1 Okt. 2021 → 17 Dez. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Strong Explanations in Abstract Argumentation
Markus Ulbricht (Beitragende/r) & Johannes Peter Wallner (Redner/in)
4 Nov. 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Simple Drawings and Shooting Stars
Alexandra Weinberger (Redner/in)
2020Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
On Using k-means Clustering for Test Suite Reduction
Nour Chetouane (Redner/in)
24 Okt. 2020Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Consistency-based Merging of Variability Models
Alexander Felfernig (Redner/in)
19 Sep. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
On the 2-Colored Crossing Number
Birgit Vogtenhuber (Redner/in)
20 März 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Messgeräte im Robotereinsatz
Richard Halatschek (Redner/in)
15 Nov. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
Conversational recommendations using model-based reasoning
Oliver Tazl (Redner/in)
19 Sep. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Redner/in)
22 Apr. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Decision Biases in Preference Acquisition
Alexander Felfernig (Redner/in)
19 Sep. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
Creative, engaging and playful activities with smartphones for interdisciplinary school projects
Vesna Krnjic (Redner/in) & Bernadette Spieler (Redner/in)
24 Aug. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Martin Gebser (Redner/in)
20 Nov. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Software configuration diagnosis – A Survey of existing methods and open challenges
Franz Wotawa (Redner/in)
28 Sep. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Spectrum-based fault localization for logic-based reasoning
Ingo Pill (Redner/in)
15 Okt. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Research vehicle for autonomous inner-city goods transport
Helmut Brunner (Redner/in), Mario Hirz (Redner/in) & Gerald Steinbauer (Redner/in)
18 Mai 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
On the automation of testing a logic-based diagnosis system
Franz Wotawa (Redner/in)
9 Apr. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
Franz Wotawa (Redner/in)
29 Aug. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"
Ingo Pill (Redner/in)
15 Okt. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)
10 Sep. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Adaptive System for Autonomous Driving
Martin Jochen Zimmermann (Redner/in)
18 Juli 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Chatbot-based tourist recommendations using model-based reasoning
Oliver Tazl (Redner/in)
18 Sep. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
SchülerInnen Konferenz "Ich bin online" WKO Steiermark
Bernadette Spieler (Redner/in)
18 Okt. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
Workshop IMAGINE / ICT2018
Bernadette Spieler (Beitragende/r)
Dez. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System
Franz Wotawa (Redner/in)
13 Apr. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Using LNT Formal Descriptions for Model-Based Diagnosis
Franz Wotawa (Redner/in)
27 Aug. 2018Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging
Birgit Gertraud Hofer (Redner/in)
26 Juli 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
A superlinear lower bound on the number of 5-holes
Birgit Vogtenhuber (Redner/in)
13 Apr. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Pocket Code - Computational Thinking for all
Matthias Müller (Redner/in)
14 Sep. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
SchülerInnenkonferenz „DIGITALISIERUNG- Wer geht den Weg mit uns?“
Bernadette Spieler (Redner/in)
31 Okt. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to public
-
V-Net 2.1Adv "Intelligente und vernetzte Systeme*"
Christian Josef Kreiner (Redner/in) & Gerald Steinbauer (Redner/in)
6 Juli 2017 → 7 Juli 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging
Birgit Gertraud Hofer (Redner/in)
23 Okt. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Qualitative deviation models vs. quantitative models for fault localization in spreadsheets
Birgit Gertraud Hofer (Redner/in)
21 Aug. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week
Bernhard Aichernig (Keynote speaker)
11 Apr. 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science