Benutzerbeiträge von „Ali Elhalawati“

16. Februar 2023

• 15:2215:22, 16. Feb. 2023 Unterschied Versionen 0 Bytes‎ N Datei:Dresden Multilinguality in KGs 2023.pdf ‎Keine Bearbeitungszusammenfassung aktuell

4. Oktober 2022

• 11:5411:54, 4. Okt. 2022 Unterschied Versionen −2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:5111:51, 4. Okt. 2022 Unterschied Versionen −2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4911:49, 4. Okt. 2022 Unterschied Versionen +2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4811:48, 4. Okt. 2022 Unterschied Versionen +10 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4611:46, 4. Okt. 2022 Unterschied Versionen +2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4611:46, 4. Okt. 2022 Unterschied Versionen −2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4511:45, 4. Okt. 2022 Unterschied Versionen +2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4511:45, 4. Okt. 2022 Unterschied Versionen −1 Byte‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4311:43, 4. Okt. 2022 Unterschied Versionen −1 Byte‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4311:43, 4. Okt. 2022 Unterschied Versionen +2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4211:42, 4. Okt. 2022 Unterschied Versionen −12 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4211:42, 4. Okt. 2022 Unterschied Versionen +2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4111:41, 4. Okt. 2022 Unterschied Versionen −2 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4111:41, 4. Okt. 2022 Unterschied Versionen 0 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:4011:40, 4. Okt. 2022 Unterschied Versionen −95 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 11:2011:20, 4. Okt. 2022 Unterschied Versionen +170 Bytes‎ Ali Elhalawati ‎Keine Bearbeitungszusammenfassung
• 10:2910:29, 4. Okt. 2022 Unterschied Versionen −8 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung
• 10:2810:28, 4. Okt. 2022 Unterschied Versionen +48 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung

30. September 2022

• 10:4710:47, 30. Sep. 2022 Unterschied Versionen +20 Bytes‎ N Discovering Fine-Grained Semantics in Knowledge Graph Relations/en ‎ Page created automatically by parser function on page Discovering Fine-Grained Semantics in Knowledge Graph Relations aktuell
• 10:4710:47, 30. Sep. 2022 Unterschied Versionen +1.883 Bytes‎ N Discovering Fine-Grained Semantics in Knowledge Graph Relations ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Discovering Fine-Grained Semantics in Knowledge Graph Relations |Beschreibung EN=Knowledge graphs (KGs) provide structured representa…“ aktuell

9. September 2022

• 15:1315:13, 9. Sep. 2022 Unterschied Versionen +20 Bytes‎ N An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog/en ‎ Page created automatically by parser function on page An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog aktuell
• 15:1315:13, 9. Sep. 2022 Unterschied Versionen +2.048 Bytes‎ N An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog |Beschreibung EN=Why-provenance — explaining why a…“ aktuell
• 11:2111:21, 9. Sep. 2022 Unterschied Versionen +114 Bytes‎ Inproceedings3342 ‎Keine Bearbeitungszusammenfassung
• 11:2111:21, 9. Sep. 2022 Unterschied Versionen 0 Bytes‎ N Datei:An Existential Rule Framework for Computing Why Provenance On Demand for Datalog (2).pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1811:18, 9. Sep. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3342/en ‎ Page created automatically by parser function on page Inproceedings3342 aktuell Markierung: Neue Weiterleitung
• 11:1811:18, 9. Sep. 2022 Unterschied Versionen +1.889 Bytes‎ N Inproceedings3342 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ali |ErsterAutorNachname=Elhalawati |FurtherAuthors=Stephan Mennicke; Markus Krötzsch }} {{Inproceedings |Refer…“

6. September 2022

• 11:4811:48, 6. Sep. 2022 Unterschied Versionen +20 Bytes‎ N Finite Base Contraction and Expansion via Models - The ALC case/en ‎ Page created automatically by parser function on page Finite Base Contraction and Expansion via Models - The ALC case aktuell
• 11:4811:48, 6. Sep. 2022 Unterschied Versionen +1.250 Bytes‎ N Finite Base Contraction and Expansion via Models - The ALC case ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Finite Base Contraction and Expansion via Models - The ALC case |Beschreibung EN=We propose a new paradigm for Belief Change in which…“ aktuell

29. August 2022

• 16:2916:29, 29. Aug. 2022 Unterschied Versionen +20 Bytes‎ N Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg/en ‎ Page created automatically by parser function on page Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg aktuell
• 16:2916:29, 29. Aug. 2022 Unterschied Versionen +1.872 Bytes‎ N Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg |Beschreibung EN=Answer set programming (ASP) solvers have adv…“ aktuell
• 16:2616:26, 29. Aug. 2022 Unterschied Versionen +20 Bytes‎ N Representing Abstract Dialectical Frameworks with Binary Decision Diagrams/en ‎ Page created automatically by parser function on page Representing Abstract Dialectical Frameworks with Binary Decision Diagrams aktuell
• 16:2616:26, 29. Aug. 2022 Unterschied Versionen +1.388 Bytes‎ N Representing Abstract Dialectical Frameworks with Binary Decision Diagrams ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Representing Abstract Dialectical Frameworks with Binary Decision Diagrams |Beschreibung EN=Abstract dialectical frameworks (ADFs) ar…“ aktuell

26. Juli 2022

• 10:0710:07, 26. Jul. 2022 Unterschied Versionen +20 Bytes‎ N The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion/en ‎ Page created automatically by parser function on page The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion aktuell
• 10:0710:07, 26. Jul. 2022 Unterschied Versionen +1.684 Bytes‎ N The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion |Beschreibung EN=In multi-agent belief fusion…“ aktuell

4. Juli 2022

• 10:1610:16, 4. Jul. 2022 Unterschied Versionen 0 Bytes‎ KLM-Style Defeasible Reasoning ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1510:15, 4. Jul. 2022 Unterschied Versionen +20 Bytes‎ N KLM-Style Defeasible Reasoning/en ‎ Page created automatically by parser function on page KLM-Style Defeasible Reasoning aktuell
• 10:1510:15, 4. Jul. 2022 Unterschied Versionen +974 Bytes‎ N KLM-Style Defeasible Reasoning ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=KLM-Style Defeasible Reasoning |Beschreibung EN=This talk will give an overview of KLM-style defeasible reasoning, a form of non-mono…“

30. Juni 2022

• 15:2315:23, 30. Jun. 2022 Unterschied Versionen +14 Bytes‎ Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog ‎Keine Bearbeitungszusammenfassung aktuell
• 15:2315:23, 30. Jun. 2022 Unterschied Versionen 0 Bytes‎ Datei:Main.pdf ‎ Ali Elhalawati lud eine neue Version von Datei:Main.pdf hoch
• 15:2015:20, 30. Jun. 2022 Unterschied Versionen −6 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎Keine Bearbeitungszusammenfassung aktuell
• 15:1715:17, 30. Jun. 2022 Unterschied Versionen +31 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎Keine Bearbeitungszusammenfassung
• 14:2514:25, 30. Jun. 2022 Unterschied Versionen +20 Bytes‎ N A Glimpse into Propositional Model Counting/en ‎ Page created automatically by parser function on page A Glimpse into Propositional Model Counting aktuell
• 14:2514:25, 30. Jun. 2022 Unterschied Versionen +1.173 Bytes‎ N A Glimpse into Propositional Model Counting ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Glimpse into Propositional Model Counting |Beschreibung EN=Model counting (#SAT) asks to compute the number of satisfying assignmen…“ aktuell

28. Juni 2022

• 00:3300:33, 28. Jun. 2022 Unterschied Versionen +20 Bytes‎ N Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog/en ‎ Page created automatically by parser function on page Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog aktuell
• 00:3300:33, 28. Jun. 2022 Unterschied Versionen +1.166 Bytes‎ N Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog |Beschreibung EN=We propose a translation of the expressive lo…“

20. Juni 2022

• 13:0413:04, 20. Jun. 2022 Unterschied Versionen +20 Bytes‎ N Statistics for Knowledge Graph Modelling/en ‎ Page created automatically by parser function on page Statistics for Knowledge Graph Modelling aktuell
• 13:0413:04, 20. Jun. 2022 Unterschied Versionen +826 Bytes‎ N Statistics for Knowledge Graph Modelling ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Statistics for Knowledge Graph Modelling |Beschreibung EN=In this talk I will provide a high level overview of how statistical approa…“ aktuell

17. Juni 2022

• 10:1110:11, 17. Jun. 2022 Unterschied Versionen +9 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎Keine Bearbeitungszusammenfassung
• 10:0410:04, 17. Jun. 2022 Unterschied Versionen +31 Bytes‎ N Datei:2022-06-TUD-SAT-nmanthey.pdf ‎ Presentation aktuell