Benutzerbeiträge von „Meghna Bhadra“

3. Juni 2026

• 11:5611:56, 3. Jun. 2026 Unterschied Versionen +313 N TBA14 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-08-20 11:00:00 |Ende=2026-08-20 12:00:00 |Raum=APB-2026 |Vortragender=Stefan Borgwardt |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell
• 07:5207:52, 3. Jun. 2026 Unterschied Versionen +311 N TBA13 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-06-25 11:00:00 |Ende=2026-06-25 12:00:00 |Raum=APB-2026 |Vortragender=Jonas Karge |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell
• 07:5107:51, 3. Jun. 2026 Unterschied Versionen +312 N TBA12 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-09 11:00:00 |Ende=2026-07-09 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell
• 07:4907:49, 3. Jun. 2026 Unterschied Versionen +312 N TBA11 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-07-02 11:00:00 |Ende=2026-07-02 12:00:00 |Raum=APB-2026 |Vortragender=Alisa Kovtunova |Forschungsgruppe=Automatentheorie |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell

4. Mai 2026

• 08:1508:15, 4. Mai 2026 Unterschied Versionen −6 Complexity and Expressive Power of Description Logics with Numerical Constraints Keine Bearbeitungszusammenfassung aktuell

29. April 2026

• 08:3608:36, 29. Apr. 2026 Unterschied Versionen +28 Complexity and Expressive Power of Description Logics with Numerical Constraints Keine Bearbeitungszusammenfassung
• 08:3608:36, 29. Apr. 2026 Unterschied Versionen +174 Complexity and Expressive Power of Description Logics with Numerical Constraints Keine Bearbeitungszusammenfassung
• 08:3508:35, 29. Apr. 2026 Unterschied Versionen +2.613 N Complexity and Expressive Power of Description Logics with Numerical Constraints Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Complexity and Expressive Power of Description Logics with Numerical Constraints |Titel EN=Complexity and Expressive Power of Description Logics with Numerical Constraints |Beschreibung DE=In this talk the speaker will showcase some of the results developed in his doctoral thesis, defended in August 2025. After a high-level introduction to Description Logics, their usage for knowledge representation and the mechanisms that they o…“

20. April 2026

• 14:0514:05, 20. Apr. 2026 Unterschied Versionen +172 TBA10 Keine Bearbeitungszusammenfassung aktuell
• 14:0414:04, 20. Apr. 2026 Unterschied Versionen +3.742 TBA10 Keine Bearbeitungszusammenfassung

2. April 2026

• 11:3211:32, 2. Apr. 2026 Unterschied Versionen +313 N TBA10 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-04-30 11:00:00 |Ende=2026-04-30 12:00:00 |Raum=APB-2026 |Vortragender=Antonis Kakas |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“

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 }}“