Benutzerbeiträge von „Meghna Bhadra“

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 aktuell
• 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 }}“
• 13:4513:45, 13. Okt. 2025 Unterschied Versionen −28 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 13:4313:43, 13. Okt. 2025 Unterschied Versionen +1.405 N Grounding Rule-Based Argumentation Using Datalog Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Grounding Rule-Based Argumentation Using Datalog |Beschreibung EN=Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reason over rule-based argumentation only support propositional rules. To enable reasoning over first-order instances, a preliminary grounding step is required. As groundings can lead to an exponential increase in size of the program, intelligent procedures are needed. Howe…“ aktuell
• 11:5811:58, 13. Okt. 2025 Unterschied Versionen 0 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung

9. Oktober 2025

• 09:1009:10, 9. Okt. 2025 Unterschied Versionen 0 Software Verification in Ada/SPARK Keine Bearbeitungszusammenfassung aktuell

8. Oktober 2025

• 11:5211:52, 8. Okt. 2025 Unterschied Versionen 0 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 11:5011:50, 8. Okt. 2025 Unterschied Versionen +16 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 11:4811:48, 8. Okt. 2025 Unterschied Versionen +6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 11:4711:47, 8. Okt. 2025 Unterschied Versionen −1 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 11:4611:46, 8. Okt. 2025 Unterschied Versionen 0 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung

2. September 2025

• 22:2322:23, 2. Sep. 2025 Unterschied Versionen +15 Misc3086 Keine Bearbeitungszusammenfassung aktuell
• 22:2122:21, 2. Sep. 2025 Unterschied Versionen +12 Inproceedings3431 Keine Bearbeitungszusammenfassung aktuell
• 22:1922:19, 2. Sep. 2025 Unterschied Versionen +1.266 N Misc3086 Die Seite wurde neu angelegt: „{{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 |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 pro…“
• 22:1122:11, 2. Sep. 2025 Unterschied Versionen +393 N Inproceedings3431 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Meghna |ErsterAutorNachname=Bhadra |FurtherAuthors=Marco Ragni }} {{Inproceedings |Referiert=0 |Title=Boosting Cognitive Modelling for Human Reasoning |To appear=0 |Year=2025 |Booktitle=Proceedings of the Annual Meeting of the Cognitive Science Society |Pages=1897-1903 |Volume=47 }} {{Publikation Details |Forschungsgruppe=Computational Logic }}“
• 22:0222:02, 2. Sep. 2025 Unterschied Versionen +651 Meghna Bhadra Keine Bearbeitungszusammenfassung aktuell

12. Mai 2025

• 12:5112:51, 12. Mai 2025 Unterschied Versionen 0 Meghna Bhadra Keine Bearbeitungszusammenfassung
• 12:5112:51, 12. Mai 2025 Unterschied Versionen 0 N Datei:Mbhadra.jpg Keine Bearbeitungszusammenfassung aktuell
• 12:4012:40, 12. Mai 2025 Unterschied Versionen −1 Meghna Bhadra Keine Bearbeitungszusammenfassung
• 12:1412:14, 12. Mai 2025 Unterschied Versionen +106 Meghna Bhadra Keine Bearbeitungszusammenfassung