Kategorie:Veranstaltung: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
The category of events. | The category of events. {{#default_form:Veranstaltung}} | ||
Aktuelle Version vom 16. März 2019, 16:31 Uhr
The category of events. Seiten in dieser Kategorie nutzen das Formular „Veranstaltung“.
Seiten in der Kategorie „Veranstaltung“
Folgende 200 Seiten sind in dieser Kategorie, von 349 insgesamt.
(vorherige Seite) (nächste Seite)1
2
A
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
- A diamond in the rough: Theorizing column stores
- A Dichotomy for Evaluating Simple Regular Path Queries
- A Distributed Blockchain Model of Selfish Mining
- A Glimpse into Propositional Model Counting
- A Logic-based Reasoning Framework for Graph Databases
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment
- A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation
- A proof of CSP Dichotomy conjecture
- A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
- A SHACL primer for KR researchers
- A Single Approach to Decide Chase Termination on Linear Existential Rules
- A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications
- Abstract Domains for Database Manipulating Processes
- Adaptive Language Interaction
- Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
- Adding Threshold Concepts to the Description Logic EL
- Admissibility in Probabilistic Argumentation
- Advances in Abstract Argumentation - Expressiveness and Dynamics
- Adventures in Computer Science -- Grades 1 & 2
- Agile Project Management - An overview on techniques and the agile mindset
- Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
- An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics
- An Introduction to Proof Theory II: More on the Sequent Calculus
- An Introduction to Wikidata
- Answer Set Navigation alongside Quantitative Reasoning
- Answering Queries with Negation over Existential Rules
- Answering Temporal Conjunctive Queries over DL Ontologies
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics
- Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2
- ASNP: a tame fragment of existential second-order logic
- ASPARTIX-D Ready for the Competition
- ASYDE: An Argumentation-based System for classifYing Driving bEhaviors
- Attributed Description Logics: Ontologies for Knowledge Graphs
- Augmenting human cognition in collaborative knowledge collections
- Automata, Logic, Algebra... What do they have in common?
- Automatic Extraction of Compositional Matrix-Space Models of Language
- Automatic translation of clinical trial eligibility criteria into formal queries
B
- Beyond NP Revolution
- Big Data Variety: On-Demand Data Integration
- Blockmodelling Knowledge Graphs
- Body-Mind-Language: Embodied Cognition in Natural Language
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
- Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
C
- Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics
- Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules
- Causality meets Configurable Systems
- Characterization of the Expressivity of Existential Rule Queries
- Characterizing common argumentation semantics using branch evaluations for justification systems
- Chase Termination Beyond Polynomial Time
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
- Checking Chase Termination over Ontologies of Existential Rules with Equality
- Chile – A Trip Report
- Classification of the finite polymorphism-homogeneous tournaments with loops
- Closed-World Semantics for Conjunctive Queries with Negation over ELH bottom Ontologies
- Codifying Logical Fragments in ASP - A General Knowledge Base Approach
- Communication with Automata
- Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic
- Compositional Matrix-Space Models: Learning Methods and Evaluation
- Computability and Complexity of (Iterated) Belief Revision
- Computing Generalizations of Temporal EL Concepts with Next and Global
- Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis
- Constraint Propagation and Pebble Games
- Containment of Monadic Datalog
- Context Reasoning for Role-Based Models
- Cyclic Proof Theory
D
- Data Complexity in Expressive Description Logics With Path Expressions
- Data Science Use Cases for Lifestyle Banking
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
- Decomposation of regular languages
- Deep Inference Christmas Meeting 2007
- Deontic Explanations via Logical Argumentation.
- Description Logic with Abstraction and Refinement
- Discovering Fine-Grained Semantics in Knowledge Graph Relations
- Discovering Implicational Knowledge in Wikidata
- Discrete Linear Dynamical Systems: The Introduction.
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination
- Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration
E
- Efficient Dependency Analysis for Rule-Based Ontologies
- Efficient Emulation of Datalog(S) in the Existential Rules Engine VLog
- Efficient Model Construction for Horn Logic with VLog
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers
- Embodied Terminology: Language, Knowledge, and Cognition
- EMCL Student Workshop 2017
- EMCL Student Workshop Summer 2010
- Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!
- Enabling Fine-grained RDF Data Completeness Assessment
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements
- Enterprise Management in the Presence of Data
- EPCL PhD Workshop
- EPCL PhD Workshop 2012
- EPCL PhD Workshop 2014
- Epistemic Answer Set Programming
- Explaining Answer Sets using Argumentation Theory
- Explaining neural network reasoning
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
- Explorations into Belief State Compression
- Expressivity of Planning with Horn Description Logic Ontologies
- Extending Datalog with Sets Using an Encoding in Existential Rules
- Extending EL++ with Linear Constraints on the Probability of Axioms
- Extending Matching in Description Logics
F
- Faceted Answer-Set Navigation
- Finding p-indecomposable Functions
- Finite Base Contraction and Expansion via Models - The ALC case
- Finite Groundings for ASP with Functions: A Journey through Consistency
- Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
- Fixed Domain Reasoning for Description Logics
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
- Formalizing "Formale Systeme"
- Formalizing Possibly Infinite Trees of Bounded Degree
- Framework for the Specification and Execution of parallel Clustering Algorithms
- From Classical to Consistent Query Answering under Existential Rules
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals
- Functional models and Data Complexity for FL0
G
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
- Generalized Consistent Query Answering under Existential Rules
- Generating molecule graphs from mass spectrometry results using Answer-Set-Programming
- GPTKB: Comprehensively Materializing Factual LLM Knowledge
- Graph Structure and Monadic Second-Order Logic
- Grounded Circumscription in Description Logics2
H
I
- IASCAR: Incremental Answer Set Counting by Anytime Refinement
- ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning', September 18-29, 2017, Dresden
- ICCL Summer School 2005
- ICCL Summer School 2006
- ICCL Summer School 2008
- ICCL Summer School 2010
- ICCL Summer School 2013
- ICCL Summer School 2015
- Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models
- Image schemas in computational concept invention
- Imprecise Probabilities in Decision-making
- Improved Answer-Set Programming Encodings for Abstract Argumentation
- Inconsistency Handling in Ontology-Mediated Query Answering
- Inconsistency Values for Logic Programs under Answer Set Semantics
- Indexing for Datalog Materialisation with Leapfrog Triejoin
- Integrating Semantic Web in the Real World: A journey between two cities
- Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit
- Interface between Logical Analysis of Data and Formal Concept Analysis
- Intertranslatability of Labeling-based Argumentation Semantics
- Introducing a Semantic Web Portal for Everyone
- Introducing Existential Rules and Module Extraction
- Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de
- Introduction to p-adic numbers and analysis
K
- KLM-Style Defeasible Reasoning
- Knowledge Dynamics in Social Environments
- Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain
- Knowledge Graphs for AI: Wikidata and Beyond
- Knowledge graphs: description, validation and subsetting
- Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT
L
- Learning Description Logic Ontologies via Queries
- Learning in Fuzzy Description Logics
- Learning Ontologies with Epistemic Reasoning: The EL Case
- Learning Word Representation in Compositional Matrix-Space Models
- Lecture on Partition Width
- Logic for Database Systems Implementation (or Life beyond Lite Logics and CQ/UCQ)
- Logic on MARS: Ontologies for Generalised Property Graphs
- Logical Foundations of Linked Data Anonymisation
- Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing
- Lyndon words and density of runs
M
- Making Repairs in Description Logics More Gentle
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization
- Managing and Consuming Completeness Information for RDF Data Sources
- Membership Constraints in Formal Concept Analysis
- Metric Temporal Description Logics with Interval-Rigid Names
- Minesweeper goes Kaboom (in ASP) - and what makes it difficult
- Mining DL ontologies
- Mixing Description Logics in Privacy-Preserving Ontology Publishing
- Modal Separation Logic: an ongoing quest for elementary complexity
- Modeling Computational Properties of Description Logics in ASP
- Modeling Concept Learning Problems with Second-Order Description Logics
- Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
- Monotone Monadic SNP 1: Classical Results and Applications
- Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture
- Most Probable Explanations for Probabilistic Database Queries
- Multi-Cultural Commonsense Knowledge Base Construction
- Multilinguality in Knowledge Graphs
- Musings on Graph Data, Schemas, Modality, and Coinduction
- Musings on the Semantics of SPARQL
