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
4 Dezember 2025 11:00:00Defeasible Conditionals using Answer Set ProgrammingRacquel Dennison
27 November 2025 11:00:00Defeasible 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
26 September 2024 11:00:00Winning Snake: Design Choices in Multi-Shot ASPElisa Böhl
15 August 2024 11:00:00Characterizing common argumentation semantics using branch evaluations for justification systemsSimon Birkenheuer
8 August 2024 11:00:00Multi-Cultural Commonsense Knowledge Base ConstructionSimon Razniewski
18 Juli 2024 11:00:00Algebraic Aspects of Propositional Logic, and Future Work in Defeasible ReasoningNicholas Leisegang
11 Juli 2024 11:00:00Finite Groundings for ASP with Functions: A Journey through ConsistencyLukas Gerlach
27 Juni 2024 11:00:00Research Lightning TalksAidan Bailey, Lucas Carr, Luke Slater
25 Juni 2024 11:00:00A SHACL primer for KR researchersMagdalena Ortiz
20 Juni 2024 11:00:00Nemo: Your Friendly and Versatile Rule Reasoning ToolkitAlex Ivliev
13 Juni 2024 11:00:00Data Complexity in Expressive Description Logics With Path ExpressionsBartosz Bednarczyk
6 Juni 2024 11:00:00Musings on Graph Data, Schemas, Modality, and CoinductionStephan Mennicke
30 Mai 2024 11:00:00Chase Termination Beyond Polynomial TimePhilipp Hanisch
16 Mai 2024 11:00:00Minesweeper goes Kaboom (in ASP) - and what makes it difficultAntonio Hentschke
25 April 2024 11:00:00An Algebraic Notion of Conditional Independence, and its Application to Knowledge RepresentationJesse Heyninck
18 April 2024 11:00:00Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal ModelsLukas Gerlach
28 März 2024 11:00:00Generating molecule graphs from mass spectrometry results using Answer-Set-ProgrammingNils Küchenmeister
15 Februar 2024 11:00:00Answer Set Navigation alongside Quantitative ReasoningDominik Rusovac
8 Februar 2024 11:00:00SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)Anouk Michelle Oudshoorn
1 Februar 2024 11:00:00ASYDE: An Argumentation-based System for classifYing Driving bEhaviorsGiuseppina Monterosso