Benutzerbeiträge

10: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: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
10:16, 4. Jul. 2022 Unterschied Versionen 0 Bytes‎ KLM-Style Defeasible Reasoning ‎ aktuell
10: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: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…“
15:23, 30. Jun. 2022 Unterschied Versionen +14 Bytes‎ Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog ‎ aktuell
15:23, 30. Jun. 2022 Unterschied Versionen 0 Bytes‎ Datei:Main.pdf ‎ Ali Elhalawati lud eine neue Version von Datei:Main.pdf hoch aktuell
15:20, 30. Jun. 2022 Unterschied Versionen -6 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎ aktuell
15:17, 30. Jun. 2022 Unterschied Versionen +31 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎
14: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: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
00: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: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…“
13: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: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
10:11, 17. Jun. 2022 Unterschied Versionen +9 Bytes‎ Satisfiability Testing -- Recent Developments and Open Problems ‎
10:04, 17. Jun. 2022 Unterschied Versionen +31 Bytes‎ N Datei:2022-06-TUD-SAT-nmanthey.pdf ‎ Presentation aktuell
13:23, 10. Jun. 2022 Unterschied Versionen +20 Bytes‎ N The World Avatar project – a universal digital twin/en ‎ Page created automatically by parser function on page The World Avatar project – a universal digital twin aktuell
13:23, 10. Jun. 2022 Unterschied Versionen +1.291 Bytes‎ N The World Avatar project – a universal digital twin ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=The World Avatar project – a universal digital twin |Beschreibung EN=“The World Avatar” (TWA) project aims to create a digital…“ aktuell
13:18, 10. Jun. 2022 Unterschied Versionen +20 Bytes‎ N Satisfiability Testing -- Recent Developments and Open Problems/en ‎ Page created automatically by parser function on page Satisfiability Testing -- Recent Developments and Open Problems aktuell
13:18, 10. Jun. 2022 Unterschied Versionen +1.306 Bytes‎ N Satisfiability Testing -- Recent Developments and Open Problems ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Satisfiability Testing -- Recent Developments and Open Problems |Beschreibung EN=With the introduction of clause learning in 1996, s…“
11:13, 30. Mai 2022 Unterschied Versionen +20 Bytes‎ N Blockmodelling Knowledge Graphs/en ‎ Page created automatically by parser function on page Blockmodelling Knowledge Graphs aktuell
11:13, 30. Mai 2022 Unterschied Versionen +794 Bytes‎ N Blockmodelling Knowledge Graphs ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Blockmodelling Knowledge Graphs |Beschreibung EN=In this talk, I provide an introductory overview of knowledge graphs, stochastic blo…“ aktuell
23:46, 16. Mai 2022 Unterschied Versionen +20 Bytes‎ N Communication with Automata/en ‎ Page created automatically by parser function on page Communication with Automata aktuell
23:46, 16. Mai 2022 Unterschied Versionen +665 Bytes‎ N Communication with Automata ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Communication with Automata |Beschreibung EN=In this talk I will give an overview on the basic notions of Petri nets, in order to der…“ aktuell
14:37, 1. Apr. 2022 Unterschied Versionen +20 Bytes‎ N Computing Generalizations of Temporal EL Concepts with Next and Global/en ‎ Page created automatically by parser function on page Computing Generalizations of Temporal EL Concepts with Next and Global aktuell
14:37, 1. Apr. 2022 Unterschied Versionen +1.274 Bytes‎ N Computing Generalizations of Temporal EL Concepts with Next and Global ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Computing Generalizations of Temporal EL Concepts with Next and Global |Beschreibung EN=In ontology-based applications, the authoring…“ aktuell
14:31, 1. Apr. 2022 Unterschied Versionen +20 Bytes‎ N The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard/en ‎ Page created automatically by parser function on page The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard aktuell
14:31, 1. Apr. 2022 Unterschied Versionen +1.400 Bytes‎ N The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard |Beschreibung EN=In logic-based knowledge represe…“ aktuell
15:53, 16. Mär. 2022 Unterschied Versionen +20 Bytes‎ N A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic/en ‎ Page created automatically by parser function on page A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic aktuell
15:53, 16. Mär. 2022 Unterschied Versionen +2.463 Bytes‎ N A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic |Beschreibung EN=In a previous paper [1], we…“ aktuell
11:52, 11. Feb. 2022 Unterschied Versionen +20 Bytes‎ N Agile Project Management - An overview on techniques and the agile mindset/en ‎ Page created automatically by parser function on page Agile Project Management - An overview on techniques and the agile mindset aktuell
11:52, 11. Feb. 2022 Unterschied Versionen +1.583 Bytes‎ N Agile Project Management - An overview on techniques and the agile mindset ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Agile Project Management - An overview on techniques and the agile mindset |Beschreibung EN=Being agile has become a fashionable word…“ aktuell
15:31, 27. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2/en ‎ Page created automatically by parser function on page Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 aktuell
15:31, 27. Jan. 2022 Unterschied Versionen +1.032 Bytes‎ N Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 |Beschreibung EN=Motivated by structural si…“ aktuell
12:38, 27. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics2/en ‎ Page created automatically by parser function on page Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics2 aktuell
12:38, 27. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics/en ‎ Page created automatically by parser function on page Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics aktuell
12:38, 27. Jan. 2022 Unterschied Versionen +935 Bytes‎ N Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics |Beschreibung EN=Motivated by structural similarit…“ aktuell
12:14, 25. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration/en ‎ Page created automatically by parser function on page Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration aktuell
12:14, 25. Jan. 2022 Unterschied Versionen +1.533 Bytes‎ N Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration |Beschreibung EN=e-Governmen…“ aktuell
16:27, 7. Jan. 2022 Unterschied Versionen +20 Bytes‎ N An Introduction to Proof Theory II: More on the Sequent Calculus/en ‎ Page created automatically by parser function on page An Introduction to Proof Theory II: More on the Sequent Calculus aktuell
16:27, 7. Jan. 2022 Unterschied Versionen +987 Bytes‎ N An Introduction to Proof Theory II: More on the Sequent Calculus ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=An Introduction to Proof Theory II: More on the Sequent Calculus |Beschreibung EN=This talk is a sequel to the first lecture "An Intr…“ aktuell
11:44, 6. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Tuple-Generating Dependencies Capture Complex Values/en ‎ Page created automatically by parser function on page Tuple-Generating Dependencies Capture Complex Values aktuell
11:44, 6. Jan. 2022 Unterschied Versionen +863 Bytes‎ N Tuple-Generating Dependencies Capture Complex Values ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tuple-Generating Dependencies Capture Complex Values |Beschreibung EN=We formalise a variant of Datalog that allows complex values co…“ aktuell
15:42, 3. Jan. 2022 Unterschied Versionen +20 Bytes‎ N Answering Queries with Negation over Existential Rules/en ‎ Page created automatically by parser function on page Answering Queries with Negation over Existential Rules aktuell
15:42, 3. Jan. 2022 Unterschied Versionen +1.487 Bytes‎ N Answering Queries with Negation over Existential Rules ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Answering Queries with Negation over Existential Rules |Beschreibung EN=Ontology-based query answering with existential rules is well…“ aktuell
16:28, 2. Dez. 2021 Unterschied Versionen 0 Bytes‎ Reliance-Based Optimization of Existential Rule Reasoning ‎ aktuell
11:51, 2. Dez. 2021 Unterschied Versionen +20 Bytes‎ N Reliance-Based Optimization of Existential Rule Reasoning/en ‎ Page created automatically by parser function on page Reliance-Based Optimization of Existential Rule Reasoning aktuell
11:51, 2. Dez. 2021 Unterschied Versionen +2.467 Bytes‎ N Reliance-Based Optimization of Existential Rule Reasoning ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Reliance-Based Optimization of Existential Rule Reasoning |Beschreibung EN=Existential rules is a powerful formalism for describing i…“
14:09, 25. Nov. 2021 Unterschied Versionen +20 Bytes‎ N Capturing Homomorphism-Closed Decidable Queries with Existential Rules/en ‎ Page created automatically by parser function on page Capturing Homomorphism-Closed Decidable Queries with Existential Rules aktuell