Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
8. Oktober 2026
|
|
N 11:52 | Inproceedings3484 2 Änderungen Versionsgeschichte +1.253 [Pascal Kettmann (2×)] | |||
|
|
11:52 (Aktuell | Vorherige) +798 Pascal Kettmann Diskussion Beiträge | ||||
| N |
|
11:44 (Aktuell | Vorherige) +455 Pascal Kettmann Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Pascal |ErsterAutorNachname=Kettmann |FurtherAuthors=Hannes Straß; Jesse Heyninck; Jeroen Spaans }} {{Inproceedings |Referiert=1 |Title=Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory |To appear=1 |Year=2026 |Booktitle=The 10th International Joint Conference on Rules and Reasoning }} {{Publikation Details |Projekt=SECAI |Forschungsgruppe=Computational Logic }}“) | |||
| 11:37 | Datei-Logbuch Pascal Kettmann Diskussion Beiträge lud Datei:Eflp-aft-ruleml26.pdf hoch | ||||
| 10:58 | Lösch-Logbuch Francesco Kriegel Diskussion Beiträge löschte die Seite Datei:Foto francesco.jpg (Inhalt war: „“. Einziger Bearbeiter: Francesco Kriegel (Diskussion)) | ||||
| N 10:29 | Reinforcement Learning for BDD Variable Ordering UnterschiedVersionen +339 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Reinforcement Learning for BDD Variable Ordering |Veranstaltungsart=Vortrag |Start=2026-11-05 11:00:00 |Ende=2026-11-05 12:00:00 |Raum=APB 3027 |Vortragender=Luke Slater |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“) | ||||
| N 10:25 | Survey of Syntax Splitting UnterschiedVersionen +319 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Survey of Syntax Splitting |Veranstaltungsart=Vortrag |Start=2026-11-12 11:00:00 |Ende=2026-11-12 12:00:00 |Raum=APB 3027 |Vortragender=Ameerah Allie |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“) | ||||
| 08:29 | Advanced Problem Solving and Search (WS2026) UnterschiedVersionen 0 Sarah Gaggl Diskussion Beiträge | ||||
7. Oktober 2026
| 09:11 | Inproceedings3473 UnterschiedVersionen +17 Hannes Straß Diskussion Beiträge | ||||
| 09:10 | Inproceedings3472 UnterschiedVersionen +17 Hannes Straß Diskussion Beiträge | ||||
| 08:12 | Research Seminar Logic and AI UnterschiedVersionen +6 Nils Küchenmeister Diskussion Beiträge | ||||
| N 07:35 | Inproceedings3483 UnterschiedVersionen +2.157 Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Omar Taher }} {{Inproceedings |Referiert=1 |Title=Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents |To appear=0 |Year=2026 |Booktitle=Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) |Pages=148-164 |Publisher=Electronic Proceedings in Theoretical Computer Scien…“) | ||||
| N 07:33 | Inproceedings3482 UnterschiedVersionen +1.974 Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Inproceedings |Referiert=1 |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |To appear=0 |Year=2026 |Booktitle=Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) |Pages=165-182 |Publisher=Electronic Proceedings in Theoretical Co…“) | ||||
6. Oktober 2026
|
|
20:26 | Foundations of Knowledge Representation (WS2026) 3 Änderungen Versionsgeschichte +131 [Sebastian Rudolph (3×)] | |||
|
|
20:26 (Aktuell | Vorherige) +43 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
15:12 (Aktuell | Vorherige) +42 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
11:50 (Aktuell | Vorherige) +46 Sebastian Rudolph Diskussion Beiträge | ||||
|
|
20:26 | (Datei-Logbuch) [Maximilian Marx; Sebastian Rudolph (3×)] | |||
|
|
20:26 Sebastian Rudolph Diskussion Beiträge lud Datei:FKR-2026-exercise-1-Logic4KR.pdf hoch | ||||
|
|
17:27 Maximilian Marx Diskussion Beiträge lud Datei:Kg2026-exercise-00.pdf hoch | ||||
|
|
15:12 Sebastian Rudolph Diskussion Beiträge lud Datei:FKR-2026-lecture-2-Logic4KR.pdf hoch | ||||
|
|
11:50 Sebastian Rudolph Diskussion Beiträge lud Datei:FKR-2026-lecture-1-Introduction.pdf hoch | ||||
|
|
17:28 | Knowledge Graphs (WS2026) 3 Änderungen Versionsgeschichte −272 [Maximilian Marx; Stephan Mennicke (2×)] | |||
|
|
17:28 (Aktuell | Vorherige) +33 Maximilian Marx Diskussion Beiträge | ||||
|
|
08:42 (Aktuell | Vorherige) −16 Stephan Mennicke Diskussion Beiträge (further room changes, also in dates & materials) | ||||
|
|
08:41 (Aktuell | Vorherige) −289 Stephan Mennicke Diskussion Beiträge (room change after lecture schedule publication) | ||||
| N 08:49 | HSZ 204 UnterschiedVersionen +325 Maximilian Marx Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/hsz/02/raum/136102.0040 |Beschreibung DE=Dies ist einer der Seminarräume im zweiten Stock des Hörsaalzentrums. Er enthält etwa 60 Sitzplätze. |Beschreibung EN=This is one of the seminar rooms on the second floor of Hörsaalzentrum. It offers around 60 seats. }}“) | ||||
| N 08:48 | HSZ 304 UnterschiedVersionen +326 Maximilian Marx Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/hsz/03/raum/136103.0040 |Beschreibung DE=Dies ist einer der Seminarräume im dritten Stock des Hörsaalzentrums. Er enthält etwa 100 Sitzplätze. |Beschreibung EN=This is one of the seminar rooms on the third floor of Hörsaalzentrum. It offers around 100 seats. }}“) | ||||
|
|
08:37 | Advanced Problem Solving and Search (WS2026) 4 Änderungen Versionsgeschichte 0 [Sarah Gaggl (4×)] | |||
|
|
08:37 (Aktuell | Vorherige) 0 Sarah Gaggl Diskussion Beiträge | ||||
|
|
08:37 (Aktuell | Vorherige) 0 Sarah Gaggl Diskussion Beiträge | ||||
|
|
08:36 (Aktuell | Vorherige) 0 Sarah Gaggl Diskussion Beiträge | ||||
|
|
06:28 (Aktuell | Vorherige) 0 Sarah Gaggl Diskussion Beiträge | ||||
|
|
07:22 | Research Seminar Logic and AI 4 Änderungen Versionsgeschichte +77 [Nils Küchenmeister (4×)] | |||
|
|
07:22 (Aktuell | Vorherige) +20 Nils Küchenmeister Diskussion Beiträge | ||||
|
|
06:33 (Aktuell | Vorherige) +15 Nils Küchenmeister Diskussion Beiträge | ||||
|
|
06:32 (Aktuell | Vorherige) −3 Nils Küchenmeister Diskussion Beiträge | ||||
|
|
06:31 (Aktuell | Vorherige) +45 Nils Küchenmeister Diskussion Beiträge | ||||
| N 06:26 | Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) UnterschiedVersionen +1.030 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |Beschreibung EN=Every closure operator on a finite set admits a canonical minimum implication basis – the stem base or Duquenne--Guigues base – whose premises are the pseudo-closed sets. The Pseudo-Closed Family problem (PCF) asks whether a given family of sets equals the pseudo-closed sets of some closure operator. We prove…“) | ||||
5. Oktober 2026
|
|
16:02 | Complexity Theory (WS2026) 3 Änderungen Versionsgeschichte +5.668 [Maximilian Marx (3×)] | |||
|
|
16:02 (Aktuell | Vorherige) −441 Maximilian Marx Diskussion Beiträge | ||||
|
|
16:01 (Aktuell | Vorherige) +6.084 Maximilian Marx Diskussion Beiträge | ||||
|
|
14:29 (Aktuell | Vorherige) +25 Maximilian Marx Diskussion Beiträge | ||||
|
|
15:27 | Knowledge Graphs (WS2026) 6 Änderungen Versionsgeschichte +3.930 [Maximilian Marx (6×)] | |||
|
|
15:27 (Aktuell | Vorherige) −195 Maximilian Marx Diskussion Beiträge | ||||
|
|
15:26 (Aktuell | Vorherige) +4.065 Maximilian Marx Diskussion Beiträge | ||||
|
|
14:34 (Aktuell | Vorherige) 0 Maximilian Marx Diskussion Beiträge | ||||
|
|
14:33 (Aktuell | Vorherige) 0 Maximilian Marx Diskussion Beiträge | ||||
|
|
14:32 (Aktuell | Vorherige) +26 Maximilian Marx Diskussion Beiträge | ||||
|
|
14:30 (Aktuell | Vorherige) +34 Maximilian Marx Diskussion Beiträge | ||||
| N 15:14 | Stratified Negation in RDF Rules: A Correct Approach UnterschiedVersionen +1.408 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Stratified Negation in RDF Rules: A Correct Approach |Beschreibung EN=Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual triples do not carry enough information to meaningfully restrict potential dependencies. Blank nodes in rule heads further complicate the matter, since the order of rule applications may…“) | ||||
| N 15:12 | Recovering Explanations from Transformed Rule-Based Ontologies UnterschiedVersionen +1.032 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Recovering Explanations from Transformed Rule-Based Ontologies |Beschreibung EN=Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluated more efficiently. These transformations preserve the entailed facts, but not the structure of the underlying derivations. A proof tree under the rewritten rules explains w…“) | ||||
|
|
N 15:10 | Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops 2 Änderungen Versionsgeschichte +1.420 [Nils Küchenmeister (2×)] | |||
|
|
15:10 (Aktuell | Vorherige) +1 Nils Küchenmeister Diskussion Beiträge | ||||
| N |
|
15:10 (Aktuell | Vorherige) +1.419 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops |Beschreibung EN=Propositional Dynamic Logic (PDL) is a well-established modal logic of programs. Among its many extensions, the loop operator stands out for capturing the cyclic behaviour of programs: a world satisfies loop(pi) precisely when it can return to itself along a path matching the regular expression pi. While the satisfiability problem fo…“) | |||
| N 15:06 | Mo' nads, mo' problems UnterschiedVersionen +978 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Mo' nads, mo' problems |Beschreibung EN=There are many important concepts in category theory that find immediate use in theoretical computer science, the most famous of which being monads. This talk will serve as a short introduction for computer scientists to the theory of monads. We will first discuss (using supporting examples from computer science) some of the foundational structures of category theory: mainly functors, natur…“) | ||||
|
|
N 14:57 | Equivalence Checking Between Logic Programs with Aggregates in ASP 2 Änderungen Versionsgeschichte +1.514 [Nils Küchenmeister (2×)] | |||
|
|
14:57 (Aktuell | Vorherige) −14 Nils Küchenmeister Diskussion Beiträge | ||||
| N |
|
14:54 (Aktuell | Vorherige) +1.528 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Equivalence Checking Between Logic Programs with Aggregates in ASP |Beschreibung EN=Answer Set Programming (ASP) is a form of declarative programming. It is used in a range of practical applications in problem solving tasks, which has continued to expand in recent years. Equivalence checking is useful to determine whether modifications to a program preserve the intended meaning, or when evaluating a program’s semantic c…“) | |||
| 12:53 | Techreport3063 UnterschiedVersionen +115 Tim Lyon Diskussion Beiträge | ||||
