{{Veranstaltung
|Titel DE=Multiperspective Reasoning in KR Formalisms via Standpoint Logic
|Titel EN=Multiperspective Reasoning in KR Formalisms via Standpoint Logic
|Beschreibung DE=The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing knowledge management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way. This talk will present an alternative, referred to as Standpoint Logic, a simple, yet versatile multi-modal logic “add-on” for existing logical languages – including Description Logics – intended for the integrated representation of domain knowledge relative to diverse standpoints, which can be hierarchically organised, combined, and put in relation with each other. It will introduce the general logical framework of Standpoint Logic and discuss variations which differ in expressivity and computational complexity of automated reasoning.

BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join
|Beschreibung EN=The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing knowledge management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way. This talk will present an alternative, referred to as Standpoint Logic, a simple, yet versatile multi-modal logic “add-on” for existing logical languages – including Description Logics – intended for the integrated representation of domain knowledge relative to diverse standpoints, which can be hierarchically organised, combined, and put in relation with each other. It will introduce the general logical framework of Standpoint Logic and discuss variations which differ in expressivity and computational complexity of automated reasoning.

BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join
|Veranstaltungsart=Vortrag
|Start=2026-01-15 11:00:00
|Ende=2026-01-15 12:00:00
|Raum=APB-2026
|Vortragender=Sebastian Rudolph
|Forschungsgruppe=Computational Logic
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

TBA8

2026-01-19T09:48:35Z

Meghna Bhadra:

Interactive Exploration of Plan Spaces

2026-01-19T09:42:49Z

Meghna Bhadra:

{{Veranstaltung
|Titel DE=Interactive Exploration of Plan Spaces
|Titel EN=Interactive Exploration of Plan Spaces
|Beschreibung DE=Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select, for example, when explaining plans. For decades, research in classical AI planning has primarily focused on quickly finding single plans. Only recently researchers have started to investigate preferences, enumerate plans by top-k planning, or count plans to reason about the plan space. Unfortunately, reasoning about the plan space is computationally extremely hard and feeding many similar plans to the user is hardly practical. To circumvent computational shortcomings while still being able to reason about variability in plans, faceted actions have been introduced very recently. These are meaningful actions that can be used by some plan but are not required by all plans. Enforcing or forbidding such facets allows for navigating even large plan spaces while ensuring desired properties quickly and step by step. This talk will illustrate an industrial challenge, the Beluga logistics problem of Airbus, where reasoning with facets enables targeted plan space navigation. It will present an approach to handle large plan spaces iteratively and present a tool that the authors call planpilot.
|Beschreibung EN=Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select, for example, when explaining plans. For decades, research in classical AI planning has primarily focused on quickly finding single plans. Only recently researchers have started to investigate preferences, enumerate plans by top-k planning, or count plans to reason about the plan space. Unfortunately, reasoning about the plan space is computationally extremely hard and feeding many similar plans to the user is hardly practical. To circumvent computational shortcomings while still being able to reason about variability in plans, faceted actions have been introduced very recently. These are meaningful actions that can be used by some plan but are not required by all plans. Enforcing or forbidding such facets allows for navigating even large plan spaces while ensuring desired properties quickly and step by step. This talk will illustrate an industrial challenge, the Beluga logistics problem of Airbus, where reasoning with facets enables targeted plan space navigation. It will present an approach to handle large plan spaces iteratively and present a tool that the authors call planpilot.
|Veranstaltungsart=Vortrag
|Start=2026-01-22 11:00:00
|Ende=2026-01-22 12:00:00
|Raum=APB-2026
|Vortragender=Sarah Gaggl
|Forschungsgruppe=Logische Programmierung und Argumentation
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}

Misc3086

2026-01-13T16:51:05Z

Meghna Bhadra:

{{Publikation Erster Autor
|ErsterAutorVorname=Meghna
|ErsterAutorNachname=Bhadra
|FurtherAuthors=Marco Ragni
}}
{{Misc
|Title=Can ChatGPT Predict What I Think? Exploring Transformer Models' Prediction of Human Information Processes
|Year=2025
|Month=Februar
|Howpublished=Poster at the AAAI Bridge Programme on Collaborative AI and Modeling of Humans in the 39th Annual AAAI Conference
}}
{{Publikation Details
|Abstract=While AI and machine learning often aim to solve problems optimally, cognitive modeling focuses on describing general patterns of human information processing. This paper investigates the application of transformer-based models for the automatic generation of cognitive models tailored to individual users. Using a dataset of 50 participants solving 64 syllogistic reasoning tasks, we demonstrate that transformer architectures can predict individual responses with accuracy comparable to the best cognitive models. Our methodology not only leverages the opaque processes of transformers but also aims to generate interpretable algorithms. Our approach achieves approximately 47% accuracy, placing it second to the best state-of-the-art cognitive model at 49%, while outperforming several established cognitive models.
|Projekt=SECAI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3455

2026-01-13T16:50:01Z

Meghna Bhadra:

{{Publikation Erster Autor
|ErsterAutorVorname=Meghna
|ErsterAutorNachname=Bhadra
}}
{{Inproceedings
|Referiert=1
|Title=Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning
|To appear=0
|Year=2025
|Month=Oktober
|Booktitle=28th European Conference on Artificial Intelligence
|Pages=1454-1461
|Publisher=IOS Press
|Editor=Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani
|Series=Frontiers in Artificial Intelligence and Applications
|Volume=413
}}
{{Publikation Details
|Projekt=SECAI
|Forschungsgruppe=Computational Logic
}}

2026-01-08T10:22:14Z

Meghna Bhadra:

Research Seminar Logic and AI

2026-01-08T10:21:22Z

Meghna Bhadra:

{{#leftsidenav:{{LeftsidenavHeading|Contents}}
<div class="no-toc-head">__TOC__</div>
|{{Main heading|Research Seminar on Logic and AI}}

In this research seminar, we invite speakers to present their research on (inter-disciplinary) topics related to logic and artificial intelligence. This includes presentations of published or accepted papers, rehearsals for future talks at conferences, defenses of very good student theses, as well as presentations of ongoing research. All are welcome!

The seminar is organized by the [[Computational Logic/en|Computational Logic]] group. Please contact [[Meghna Bhadra/en|Meghna Bhadra]], if you would like to give a talk or invite a guest speaker.

===[Schedule and Location]===

The research seminar is scheduled on Thursdays from 11.00 am to 12.00 pm. It is held in a hybrid form, both online through [https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join Big Blue Button] and physically in the room APB-2026.
For further information on an upcoming seminar pease check the program overview for the same.

====Recent and Upcoming Talks====

<table class="table" >
<tr><th>Date</th><th>Speaker</th><th>Topic</th></tr>
{{#ask: [[Event series::Research Seminar Logic and AI]]
| ?Titel EN=
| ?Datum#ISO=
| ?Vortragender=
| sort=Datum
| order=desc
| format=plainlist
| template=Talk short inline/en
| searchlabel=
| link=none
| limit=5
}}
<tr><td></td><td>{{#ask: [[Event series::Research Seminar Logic and AI]]|
| ?Datum=Date
| ?=Title
| ?Vortragender=Speaker
| mainlabel=-
| sort=Datum | order=desc | limit=0 | searchlabel=View older talks …}}</td><td>{{Upcoming events feed
| L=/en
| query=[[Event series::Research Seminar Logic and AI]]
| label=Subscribe to upcoming talks (iCal)
| calendartitle=ICCL Research Seminar Logic and AI
}}</td></tr>
</table>

===Calendar===

{{#ask:[[Event series::Research Seminar on Logic and AI]][[Start::+]]
| ?Start
| ?Ende
| ?Titel EN=title
| ?Raum=Room
| ?Veranstaltungsart=<br/>Type
| ?Vortragender=<br/>Speaker
| ?Beschreibung EN=<br/>Details
| format=eventcalendar
| firstday=Monday
| defaultview=month
| limit=1000
| link=subject
}}

}}

{{#set:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Computational Logic
|Lecturer=Sebastian Rudolph
|Lecturer=Thomas Feller
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=WS
|Year=2020
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Computational Logic
|Lecturer=Sebastian Rudolph
|Lecturer=Thomas Feller
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=SS
|Year=2021
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Wissensbasierte Systeme
|Lecturer=Markus Krötzsch
|Lecturer=Ali Elhalawati
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=WS
|Year=2021
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Wissensbasierte Systeme
|Lecturer=Markus Krötzsch
|Lecturer=Ali Elhalawati
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=SS
|Year=2022
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Computational Logic
|Lecturer=Sebastian Rudolph
|Lecturer=Piotr Ostropolski-Nalewaja
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=WS
|Year=2022
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Computational Logic
|Lecturer=Sebastian Rudolph
|Lecturer=Piotr Ostropolski-Nalewaja
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=SS
|Year=2023
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}
{{#subobject:
|Title=Research Seminar Logic and AI
|Forschungsgruppe=Computational Logic
|Lecturer=Sebastian Rudolph
|Lecturer=Piotr Ostropolski-Nalewaja
|Modul=INF-AQUA
|Modul=INF-PM-FOR
|Term=WS
|Year=2023
|SWSLecture=0
|SWSExercise=2
|SWSPractical=0
|@category=Vorlesung
}}

[[Kategorie:Event series]] [[Kategorie:Vorlesung]]

2026-01-08T09:58:16Z

Meghna Bhadra: Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-02-19 11:00:00 |Ende=2026-02-19 12:00:00 |Raum=APB-2026 |Vortragender=Lydia Blümel |Forschungsgruppe=Logische Programmierung und Argumentation |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

{{Veranstaltung
|Titel DE=TBA
|Titel EN=TBA
|Beschreibung DE=TBA
|Beschreibung EN=TBA
|Veranstaltungsart=Vortrag
|Start=2026-02-19 11:00:00
|Ende=2026-02-19 12:00:00
|Raum=APB-2026
|Vortragender=Lydia Blümel
|Forschungsgruppe=Logische Programmierung und Argumentation
|Event series=Research Seminar Logic and AI
|In News anzeigen=1
}}