Semantische Suche

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Datum„Datum <span style="font-size:small;">(Date)</span>“ ist ein <a href="/web/Spezial:Datentypen/Date" title="Spezial:Datentypen/Date">Datentyp</a> für Datumswerte. Er wird Attributen mit Hilfe eines von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.TitleSpeaker
27 August 2026 11:00:00Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description LogicsStefan Borgwardt
13 August 2026 11:00:00Logical Institutional and Narrative DynamicsFedor Grigoryevich Pogulskiy
6 August 2026 11:00:00SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge GraphsAlex Ivliev
30 Juli 2026 11:00:00The Chase in Lean - Crafting a Formal Library for Existential Rule ResearchLukas Gerlach
16 Juli 2026 11:00:00Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed SetsSergei Obiedkov
9 Juli 2026 11:00:00ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on CommunicationAlisa Kovtunova
2 Juli 2026 11:00:00TBAAlisa Kovtunova
25 Juni 2026 11:00:00Multi-Agent Belief ManagementJonas Karge
7 Mai 2026 11:00:00Complexity and Expressive Power of Description Logics with Numerical ConstraintsFilippo De Bortoli
30 April 2026 11:00:00Reliable Problem Solving via LLMs with Symbolic ArgumentationAntonis Kakas
26 März 2026 11:00:00Recurring Problems: Decidability, Sufficient Conditions and Formal Verification for Chase TerminationLukas Gerlach
19 März 2026 11:00:00Declarative Debugging for Datalog with AggregationPhilipp Hanisch
12 März 2026 11:00:00Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASPPhilipp Hanisch
19 Februar 2026 11:00:00Concepts of Conditional Independence in Computational ArgumentationLydia Blümel
5 Februar 2026 11:00:00News from Knowledge-aware AISimon Razniewski
22 Januar 2026 11:00:00Interactive Exploration of Plan SpacesSarah Gaggl
15 Januar 2026 11:00:00Multiperspective Reasoning in KR Formalisms via Standpoint LogicSebastian Rudolph
11 Dezember 2025 11:00:00Investigating Preferential Reasoning in Formal Concept AnalysisLucas Carr
4 Dezember 2025 11:00:00Multi-Network Batch Scheduling with Answer Set ProgrammingRacquel Dennison
27 November 2025 11:00:00Defeasibility in Propositional Standpoint LogicsNicholas Leisegang
13 November 2025 11:00:00ECCRS: An Interpretable Rule Classifier with ExceptionsRuvarashe Madzime
6 November 2025 11:00:00About the Multi-Head Linear Restricted Chase TerminationLukas Gerlach
30 Oktober 2025 11:00:00Grounding Rule-Based Argumentation Using DatalogGiuseppina Monterosso
23 Oktober 2025 11:00:00Verifying Datalog Reasoning with LeanLukas Gerlach
16 Oktober 2025 11:00:00Software Verification in Ada/SPARKMarcos Cramer
25 September 2025 11:00:00Supporting Risk Management for Medical Devices via the Riskman Ontology and ShapesPiotr Gorczyca
18 September 2025 08:00:00Reliance-based Static Analysis of Existential RulesNils Küchenmeister
11 September 2025 11:00:00Linear Ghost Types Are All You Need - An Introduction to Proof-Oriented Programming in VerusMatthias Meißner
21 August 2025 11:00:00A Crash Course in DeterminacyPiotr Ostropolski-Nalewaja
14 August 2025 11:00:00PhD Status Talk: Multi-agent Belief ManagementJonas Karge
31 Juli 2025 11:00:00Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming SemanticsPascal Kettmann
24 Juli 2025 11:00:00Satisfying Rationality Postulates of Structured Argumentation through Deductive SupportTom Friese
3 Juli 2025 11:00:00Non-Monotonic S4F Standpoint LogicPiotr Gorczyca
26 Juni 2025 11:00:00Predictive Modelling for Human ReasoningMeghna Bhadra
5 Juni 2025 11:00:00No Cliques Allowed: The Next Step Towards FUS/FC ConjectureLucas Larroque
22 Mai 2025 11:00:00Defeasible Reasoning in Formal Concept AnalysisSergei Obiedkov
15 Mai 2025 11:00:00Model Checking Linear Temporal Logic with Standpoint ModalitiesRajab Aghamov
8 Mai 2025 11:00:00Restricted Chase Termination: You Want More than FairnessLukas Gerlach
3 April 2025 11:00:00On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic LogicTim Lyon
6 März 2025 11:00:00Formalizing Possibly Infinite Trees of Bounded DegreeLukas Gerlach
6 Februar 2025 11:00:00Description Logic with Abstraction and RefinementLukas Schulze
16 Januar 2025 11:00:00GPTKB: Comprehensively Materializing Factual LLM KnowledgeSimon Razniewski
12 Dezember 2024 11:00:00Tree Automata with Global and Non-Global CountingLuisa Herrmann
5 Dezember 2024 11:00:00Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans SensoriumEmma Reyner-Fuentes
28 November 2024 11:00:00The RustBelt and its Separation LogicMatthias Meißner
21 November 2024 11:00:00Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional LogicPatrick Karlsen
14 November 2024 11:00:00Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and RewritingAlexander Beiser
24 Oktober 2024 11:00:00Cyclic Proof TheoryBahareh Afshari (University of Gothenburg)
17 Oktober 2024 11:00:00Navigating ASP Solution Spaces (Canceled)Sarah Alice Gaggl
10 Oktober 2024 11:00:00Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity RollercoasterQuentin Maniere