Semantische Suche
Aus International Center for Computational Logic
15. April 2021
Vortrag: An Introduction to Proof Theory I: Sequent Calculus
22. April 2021
Vortrag: A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
29. April 2021
Vortrag: From Data to Knowledge: Extending Database Techniques for Knowledge Graphs
6. Mai 2021
Vortrag: Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
20. Mai 2021