Benutzerbeiträge von „Meghna Bhadra“

8. Januar 2026

• 10:2510:25, 8. Jan. 2026 Unterschied Versionen −6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 10:2410:24, 8. Jan. 2026 Unterschied Versionen +5 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:2310:23, 8. Jan. 2026 Unterschied Versionen +1 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:2210:22, 8. Jan. 2026 Unterschied Versionen −2 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 10:2110:21, 8. Jan. 2026 Unterschied Versionen +2 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:2010:20, 8. Jan. 2026 Unterschied Versionen +1 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:2010:20, 8. Jan. 2026 Unterschied Versionen +21 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:1910:19, 8. Jan. 2026 Unterschied Versionen 0 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:1810:18, 8. Jan. 2026 Unterschied Versionen +9 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:1810:18, 8. Jan. 2026 Unterschied Versionen −6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:1510:15, 8. Jan. 2026 Unterschied Versionen +1.918 TBA8 Keine Bearbeitungszusammenfassung aktuell
• 10:0410:04, 8. Jan. 2026 Unterschied Versionen +6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:0310:03, 8. Jan. 2026 Unterschied Versionen +6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 09:5809:58, 8. Jan. 2026 Unterschied Versionen +335 N TBA9 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 }}“ aktuell
• 09:5609:56, 8. Jan. 2026 Unterschied Versionen +1.390 N News from Knowledge-aware AI Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=News from Knowledge-aware AI |Titel EN=News from Knowledge-aware AI |Beschreibung DE=In this talk, the speaker will summarize developments from last year, in particular, GPTKB version v1.5 (won the ISWC best demo award), and the EACL 2026 paper "Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness". The talk will also give an outlook on recent research towards statistical estimation of the scale…“ aktuell
• 09:5209:52, 8. Jan. 2026 Unterschied Versionen +2.877 N Interactive Exploration of Plan Spaces Die Seite wurde neu angelegt: „{{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 starte…“ aktuell
• 09:4909:49, 8. Jan. 2026 Unterschied Versionen +317 N TBA8 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |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 }}“

6. Januar 2026

• 16:1716:17, 6. Jan. 2026 Unterschied Versionen +617 N Inproceedings3455 Die Seite wurde neu angelegt: „{{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 Omic…“ aktuell

4. Dezember 2025

• 17:5517:55, 4. Dez. 2025 Unterschied Versionen +449 A Basis for Defeasible Reasoning Keine Bearbeitungszusammenfassung aktuell
• 12:2512:25, 4. Dez. 2025 Unterschied Versionen 0 A Basis for Defeasible Reasoning Keine Bearbeitungszusammenfassung
• 12:2112:21, 4. Dez. 2025 Unterschied Versionen +1.186 A Basis for Defeasible Reasoning Keine Bearbeitungszusammenfassung

3. Dezember 2025

• 14:4014:40, 3. Dez. 2025 Unterschied Versionen +4 Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction Keine Bearbeitungszusammenfassung aktuell
• 14:4014:40, 3. Dez. 2025 Unterschied Versionen +4 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung aktuell
• 14:3814:38, 3. Dez. 2025 Unterschied Versionen +541 N A Basis for Defeasible Reasoning Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=A Basis for Defeasible Reasoning |Titel EN=A Basis for Defeasible Reasoning |Beschreibung DE=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Beschreibung EN=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Veranstaltungsart=Vortrag |Start=2025-12-11 11:00:00 |Ende=2025-12-11 12:00:00 |Raum=APB-2026 |Vortragender=Lucas Carr |Forschungsgrupp…“

30. November 2025

• 20:2320:23, 30. Nov. 2025 Unterschied Versionen +12 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung
• 20:2220:22, 30. Nov. 2025 Unterschied Versionen +1.252 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung

24. November 2025

• 13:4513:45, 24. Nov. 2025 Unterschied Versionen +40 Defeasible Conditionals using Answer Set Programming Keine Bearbeitungszusammenfassung aktuell

21. November 2025

• 14:2514:25, 21. Nov. 2025 Unterschied Versionen +2 Defeasible Conditionals using Answer Set Programming Keine Bearbeitungszusammenfassung
• 14:2514:25, 21. Nov. 2025 Unterschied Versionen +2.205 Defeasible Conditionals using Answer Set Programming Keine Bearbeitungszusammenfassung

6. November 2025

• 13:3613:36, 6. Nov. 2025 Unterschied Versionen 0 Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction Keine Bearbeitungszusammenfassung
• 13:3513:35, 6. Nov. 2025 Unterschied Versionen +1.885 Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction Keine Bearbeitungszusammenfassung

3. November 2025

• 13:1713:17, 3. Nov. 2025 Unterschied Versionen 0 Defeasible Conditionals using Answer Set Programming/en Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 13:1713:17, 3. Nov. 2025 Unterschied Versionen 0 Defeasible Conditionals using Answer Set Programming/en Keine Bearbeitungszusammenfassung
• 13:1213:12, 3. Nov. 2025 Unterschied Versionen +209 Defeasible Conditionals using Answer Set Programming Keine Bearbeitungszusammenfassung
• 13:1013:10, 3. Nov. 2025 Unterschied Versionen +6 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung
• 13:0913:09, 3. Nov. 2025 Unterschied Versionen −4 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung
• 13:0913:09, 3. Nov. 2025 Unterschied Versionen −2 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung
• 13:0813:08, 3. Nov. 2025 Unterschied Versionen +278 Defeasible Standpoint Logics Keine Bearbeitungszusammenfassung
• 13:0813:08, 3. Nov. 2025 Unterschied Versionen +778 TBA7 Keine Bearbeitungszusammenfassung aktuell
• 12:2912:29, 3. Nov. 2025 Unterschied Versionen −2 TBA7 Keine Bearbeitungszusammenfassung
• 12:2812:28, 3. Nov. 2025 Unterschied Versionen +3 TBA7 Keine Bearbeitungszusammenfassung
• 12:2812:28, 3. Nov. 2025 Unterschied Versionen +17 TBA7 Keine Bearbeitungszusammenfassung
• 12:2612:26, 3. Nov. 2025 Unterschied Versionen +68 TBA7 Keine Bearbeitungszusammenfassung

24. Oktober 2025

• 07:5007:50, 24. Okt. 2025 Unterschied Versionen +657 TBA7 Keine Bearbeitungszusammenfassung
• 07:1107:11, 24. Okt. 2025 Unterschied Versionen +282 N TBA7 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-06 11:00:00 |Ende=2025-11-06 12:00:00 |Raum=APB-2026 |Vortragender=Lukas Gerlach |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

17. Oktober 2025

• 07:1607:16, 17. Okt. 2025 Unterschied Versionen 0 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 07:0607:06, 17. Okt. 2025 Unterschied Versionen +1.278 N Verifying Datalog Reasoning with Lean Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Verifying Datalog Reasoning with Lean |Beschreibung EN=Datalog is an essential logical rule language with many applications, and modern rule engines compute logical consequences for Datalog with high performance and scalability. While Datalog is rather simple and, in principle, explainable by design, such sophisticated implementations and optimizations are hard to verify. We therefore propose a certificate-based approach to valid…“ aktuell

14. Oktober 2025

• 13:1113:11, 14. Okt. 2025 Unterschied Versionen +308 N Defeasible Standpoint Logics Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Defeasible Standpoint Logics |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-12-04 11:00:00 |Ende=2025-12-04 12:00:00 |Raum=APB-2026 |Vortragender=Nicholas Leisegang |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

13. Oktober 2025

• 13:5213:52, 13. Okt. 2025 Unterschied Versionen +330 N Defeasible Conditionals using Answer Set Programming Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Defeasible Conditionals using Answer Set Programming |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-27 11:00:00 |Ende=2025-11-27 12:00:00 |Raum=APB-2026 |Vortragender=Racquel Dennison |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“
• 13:5013:50, 13. Okt. 2025 Unterschied Versionen +340 N Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-13 11:00:00 |Ende=2025-11-13 12:00:00 |Raum=APB-2026 |Vortragender=Ruvarashe Madzime |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“