Benutzerbeiträge von „Ali Elhalawati“
Aus International Center for Computational Logic
Für Ali Elhalawati Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
16. Februar 2023
- 14:2214:22, 16. Feb. 2023 Unterschied Versionen 0 Bytes N Datei:Dresden Multilinguality in KGs 2023.pdf Keine Bearbeitungszusammenfassung aktuell
4. Oktober 2022
- 10:5410:54, 4. Okt. 2022 Unterschied Versionen −2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:5110:51, 4. Okt. 2022 Unterschied Versionen −2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4910:49, 4. Okt. 2022 Unterschied Versionen +2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4810:48, 4. Okt. 2022 Unterschied Versionen +10 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4610:46, 4. Okt. 2022 Unterschied Versionen +2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4610:46, 4. Okt. 2022 Unterschied Versionen −2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4510:45, 4. Okt. 2022 Unterschied Versionen +2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4510:45, 4. Okt. 2022 Unterschied Versionen −1 Byte Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4310:43, 4. Okt. 2022 Unterschied Versionen −1 Byte Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4310:43, 4. Okt. 2022 Unterschied Versionen +2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4210:42, 4. Okt. 2022 Unterschied Versionen −12 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4210:42, 4. Okt. 2022 Unterschied Versionen +2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4110:41, 4. Okt. 2022 Unterschied Versionen −2 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4110:41, 4. Okt. 2022 Unterschied Versionen 0 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:4010:40, 4. Okt. 2022 Unterschied Versionen −95 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 10:2010:20, 4. Okt. 2022 Unterschied Versionen +170 Bytes Ali Elhalawati Keine Bearbeitungszusammenfassung
- 09:2909:29, 4. Okt. 2022 Unterschied Versionen −8 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
- 09:2809:28, 4. Okt. 2022 Unterschied Versionen +48 Bytes Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
30. September 2022
- 09:4709: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
- 09:4709: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
- 14:1314: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
- 14:1314: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
- 10:2110:21, 9. Sep. 2022 Unterschied Versionen +114 Bytes Inproceedings3342 Keine Bearbeitungszusammenfassung
- 10:2110: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
- 10:1810:18, 9. Sep. 2022 Unterschied Versionen +31 Bytes N Inproceedings3342/en Page created automatically by parser function on page Inproceedings3342 aktuell Markierung: Neue Weiterleitung
- 10:1810: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
- 10:4810: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
- 10:4810: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
- 15:2915: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
- 15:2915: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
- 15:2615: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
- 15:2615: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
- 09:0709: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
- 09:0709: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
- 09:1609:16, 4. Jul. 2022 Unterschied Versionen 0 Bytes KLM-Style Defeasible Reasoning Keine Bearbeitungszusammenfassung aktuell
- 09:1509: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
- 09:1509: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
- 14:2314:23, 30. Jun. 2022 Unterschied Versionen +14 Bytes Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog Keine Bearbeitungszusammenfassung aktuell
- 14:2314:23, 30. Jun. 2022 Unterschied Versionen 0 Bytes Datei:Main.pdf Ali Elhalawati lud eine neue Version von Datei:Main.pdf hoch
- 14:2014:20, 30. Jun. 2022 Unterschied Versionen −6 Bytes Satisfiability Testing -- Recent Developments and Open Problems Keine Bearbeitungszusammenfassung aktuell
- 14:1714:17, 30. Jun. 2022 Unterschied Versionen +31 Bytes Satisfiability Testing -- Recent Developments and Open Problems Keine Bearbeitungszusammenfassung
- 13:2513: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
- 13:2513: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
27. Juni 2022
- 23:3323:33, 27. 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
- 23:3323:33, 27. 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
- 12:0412: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
- 12:0412: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
- 09:1109:11, 17. Jun. 2022 Unterschied Versionen +9 Bytes Satisfiability Testing -- Recent Developments and Open Problems Keine Bearbeitungszusammenfassung
- 09:0409:04, 17. Jun. 2022 Unterschied Versionen +31 Bytes N Datei:2022-06-TUD-SAT-nmanthey.pdf Presentation aktuell