Benutzerbeiträge von „Meghna Bhadra“

20. März 2026

• 12:4312:43, 20. Mär. 2026 Unterschied Versionen +172 Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination Keine Bearbeitungszusammenfassung aktuell
• 12:4212:42, 20. Mär. 2026 Unterschied Versionen +342 N Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination2 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Titel EN=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Veranstaltungsart=Vortrag |Start=2026-03-20 12:38:05 |Ende=2026-03-20 12:38:05 |In News anzeigen=1 }}“ aktuell
• 12:4212:42, 20. Mär. 2026 Unterschied Versionen +2.337 N Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Titel EN=Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase Termination |Beschreibung DE=The chase is a sound and complete but possibly non-terminating procedure for query answering over ontologies that feature existential rules (aka. tuple-generating dependencies), a highly expressive know…“

13. März 2026

• 12:4912:49, 13. Mär. 2026 Unterschied Versionen +172 Declarative Debugging for Datalog with Aggregation Keine Bearbeitungszusammenfassung aktuell
• 12:4812:48, 13. Mär. 2026 Unterschied Versionen +1.383 N Declarative Debugging for Datalog with Aggregation Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Declarative Debugging for Datalog with Aggregation |Titel EN=Declarative Debugging for Datalog with Aggregation |Beschreibung DE=This talk will propose summary proof trees as a way for explaining derivations in Datalog programs with aggregation. These combine structurally similar parts of proof trees into a single, easier to understand structure. It will show how to query for such summaries, discuss the implementation in the rule…“

9. März 2026

• 16:3516:35, 9. Mär. 2026 Unterschied Versionen 0 Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP Keine Bearbeitungszusammenfassung aktuell

4. März 2026

• 21:0921:09, 4. Mär. 2026 Unterschied Versionen +172 Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP Keine Bearbeitungszusammenfassung
• 21:0821:08, 4. Mär. 2026 Unterschied Versionen +172 TBA9 Keine Bearbeitungszusammenfassung aktuell
• 21:0821:08, 4. Mär. 2026 Unterschied Versionen +172 News from Knowledge-aware AI Keine Bearbeitungszusammenfassung aktuell
• 21:0721:07, 4. Mär. 2026 Unterschied Versionen +2.477 N Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |Titel EN=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |Beschreibung DE=Static filtering is a data-independent optimisation method for Datalog, which generalises algebraic query rewriting techniques from relational databases. In spite of its early discovery by Kifer and Lozinskii in 1986, the method has been overlooked…“

16. Februar 2026

• 12:2512:25, 16. Feb. 2026 Unterschied Versionen −16 TBA9 Keine Bearbeitungszusammenfassung
• 12:1812:18, 16. Feb. 2026 Unterschied Versionen +3.908 TBA9 Keine Bearbeitungszusammenfassung

11. Februar 2026

• 10:5710:57, 11. Feb. 2026 Unterschied Versionen +15 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 10:5610:56, 11. Feb. 2026 Unterschied Versionen −40 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:5210:52, 11. Feb. 2026 Unterschied Versionen −2 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:4810:48, 11. Feb. 2026 Unterschied Versionen +30 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:4710:47, 11. Feb. 2026 Unterschied Versionen −29 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:4610:46, 11. Feb. 2026 Unterschied Versionen +55 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 10:4410:44, 11. Feb. 2026 Unterschied Versionen −29 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung

19. Januar 2026

• 09:4909:49, 19. Jan. 2026 Unterschied Versionen +172 Interactive Exploration of Plan Spaces Keine Bearbeitungszusammenfassung aktuell
• 09:4909:49, 19. Jan. 2026 Unterschied Versionen +2 TBA8 Keine Bearbeitungszusammenfassung aktuell
• 09:4809:48, 19. Jan. 2026 Unterschied Versionen +170 TBA8 Keine Bearbeitungszusammenfassung
• 09:4209:42, 19. Jan. 2026 Unterschied Versionen +22 Interactive Exploration of Plan Spaces Keine Bearbeitungszusammenfassung

13. Januar 2026

• 16:5116:51, 13. Jan. 2026 Unterschied Versionen +15 Misc3086 Keine Bearbeitungszusammenfassung aktuell
• 16:5016:50, 13. Jan. 2026 Unterschied Versionen +15 Inproceedings3455 Keine Bearbeitungszusammenfassung aktuell

8. Januar 2026

• 10:2510:25, 8. Jan. 2026 Unterschied Versionen −6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung 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
• 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 }}“
• 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…“
• 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…“
• 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…“

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