Kategorie:Veranstaltung
Aus International Center for Computational Logic
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 324 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 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 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
- 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
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
- 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
D
- 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.
- 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-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"
- 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
- 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
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
- 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
- Multilinguality in Knowledge Graphs
- Musings on the Semantics of SPARQL
N
- Navigating ASP Solution Spaces
- Nested Sequents for First-Order Modal Logics via Reachability Rules
- News about Reasoning with Bit-Vectors
- NextClosures: Parallel Computation of the Canonical Base
- Normalisations of Existential Rules: Not so Innocuous!
- Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
- Notation3 as an Existential Rule Language
- Notation3 Logic: From informal to formal semantics
- Notes on Computational Learning Theory and the problem of learning CNFs
O
- On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
- On Computing Explanations in Argumentation
- On inconsistency-minimizing, paraconsistent reasoning in knowledge bases
- On Mono- and Multilingual Word embeddings for NLP
- On the Abstract Expressive Power of Description Logics with Concrete Domains
- On the Complexity of k-Piecewise Testability and the Depth of Automata
- On the Complexity of Synthesis of nop-Free Boolean Petri Nets.
- On the Complexity of Universality for Partially Ordered NFAs
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets