Semantische Suche
Aus International Center for Computational Logic
4. Dezember 2025
Vortrag: Multi-Network Batch Scheduling with Answer Set Programming
11. Dezember 2025
Vortrag: Investigating Preferential Reasoning in Formal Concept Analysis
15. Januar 2026
Vortrag: Multiperspective Reasoning in KR Formalisms via Standpoint Logic
22. Januar 2026
Vortrag: Interactive Exploration of Plan Spaces
5. Februar 2026