Kategorie:Veranstaltung

1

• 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)
• 12th EMCL Workshop
• 17. WLP - Workshop Logic Programming

2

• 22nd Workshop on (Constraint) Logic Programming 2008
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)

3

• 38th German Conference on Artificial Intelligence

9

• 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)

A

• A Dichotomy for Evaluating Simple Regular Path Queries
• A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation
• A proof of CSP Dichotomy conjecture
• A Single Approach to Decide Chase Termination on Linear Existential Rules
• Adaptive Language Interaction
• Adding Threshold Concepts to the Description Logic EL
• Advances in Abstract Argumentation - Expressiveness and Dynamics
• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics
• An Introduction to Wikidata
• Answering Temporal Conjunctive Queries over DL Ontologies
• ASPARTIX-D Ready for the Competition
• Attributed Description Logics: Ontologies for Knowledge Graphs
• Augmenting human cognition in collaborative knowledge collections
• Automata, Logic, Algebra... What do they have in common?

B

• Big Data Variety: On-Demand Data Integration
• Body-Mind-Language: Embodied Cognition in Natural Language

C

• Characterization of the Expressivity of Existential Rule Queries
• Chile – A Trip Report
• Classification of the finite polymorphism-homogeneous tournaments with loops
• Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic
• 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

• Decomposation of regular languages
• Deep Inference Christmas Meeting 2007

E

• Efficient Model Construction for Horn Logic with VLog
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract
• 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
• EPCL PhD Workshop
• EPCL PhD Workshop 2012
• EPCL PhD Workshop 2014
• Explaining Answer Sets using Argumentation Theory
• Explaining neural network reasoning
• Extending Datalog with Sets Using an Encoding in Existential Rules
• Extending Matching in Description Logics

F

• Faceted Answer-Set Navigation
• Finding p-indecomposable Functions
• Fixed Domain Reasoning for Description Logics
• 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
• Functional models and Data Complexity for FL0

G

• Generalized Consistent Query Answering under Existential Rules
• Graph Structure and Monadic Second-Order Logic
• Grounded Circumscription in Description Logics2

H

• HUGS – A Lightweight Graph Partitioning Approach

I

• 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
• Image schemas in computational concept invention
• Improved Answer-Set Programming Encodings for Abstract Argumentation
• Inconsistency Handling in Ontology-Mediated Query Answering
• Integrating Semantic Web in the Real World: A journey between two cities
• 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

L

• Learning Description Logic Ontologies via Queries
• Learning in Fuzzy Description Logics
• Learning Word Representation in Compositional Matrix-Space Models
• 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
• Lyndon words and density of runs

M

• Making Repairs in Description Logics More Gentle
• 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
• Modal Separation Logic: an ongoing quest for elementary complexity
• 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

N

• News about Reasoning with Bit-Vectors
• NextClosures: Parallel Computation of the Canonical Base
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
• Notes on Computational Learning Theory and the problem of learning CNFs

O

• On Computing Explanations in Argumentation
• On inconsistency-minimizing, paraconsistent reasoning in knowledge bases
• On Mono- and Multilingual Word embeddings for NLP
• On the Complexity of k-Piecewise Testability and the Depth of Automata
• On the Complexity of Universality for Partially Ordered NFAs
• Ontological Modelling in Wikidata
• Ontologies for Knowledge Graphs: Breaking the Rules
• Ontology Evolution trough Interaction
• Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis)

P

• Past, Current and Future Trends in Description Logic
• Pattern-based ontology modeling and some of its implications for Description Logics research
• Preserving Constraints with the Stable Chase
• Provenance and Probabilities in Relational Databases

Q

• Quantitative Versions of the Chomsky-Schützenberger Theorem

Q (Fortsetzung)

• Quantum Computing and the Limits of the Efficiently Computable
• Query Rewriting for DL-Lite with n-ary Concrete Domains
• Query Stability in Data-aware Business Processes
• Querying Probabilistic Ontologies
• Question Answering over Real-World Knowledge Graphs
• Question Answering Systems

R

• Reasonable Highly Expressive Query Languages
• Relbacoess
• Report on research visit to NRC
• Restricted Chase (Non)Termination for Existential Rules with Disjunctions
• Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics
• Revisiting Circumscription

S

• Satisfiability in the Triguarded Fragment of First-Order Logic
• Satisfiability of temporal logics with concrete domain
• SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge
• Searching for Structural Similarities in Large Graphs
• Second Workshop on Human Reasoning and Computational Logic
• Selected Advances in Data Semantics
• Semantic Search for Novel Information
• Seminar talk, title: "Practical Linked Data Access via SPARQL: The Case of Wikidata"
• Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces
• Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
• Solving Angry Birds with Reinforcement Learning
• Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA
• SOQE 2017
• SQID: Reasonable Wikidata
• STEP by Step, towards Smart Services
• Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition

T

• TBA
• Temporal constraint satisfaction problems in least fixed point logic
• Temporal Query Answering in EL
• The 21st International Workshop on Description Logics 2008
• The Combined Approach to Query Answering in Horn-ALCHOIQ
• The Combined Approach to Query Answering in Horn-ALCHOIQ2
• The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
• The Identity Problem in Description Logic Ontologies
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems
• Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations
• Towards Conjunctive Query Answering in Defeasible EL bot
• Towards Privacy-Preserving Ontology Publishing
• Tractable Query Answering for Expressive Ontologies and Existential Rules
• Two-Dimensional Description Logics of Context

U

• Uniform Interpolation for Expressive Description Logics
• Universality Results for Spiking Neural P Systems with Cooperating Rules
• Using Ontologies to Query Probabilistic Numerical Data

V

• Verification of Golog Programs over Description Logic Actions
• Verification of Knowledge-Based Programs over Description Logic Actions
• Verifying Temporal Properties of Biological Systems
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata
• Visualization and navigation paradigms for triadic formal concept analysis
• VLog: A Column-oriented Rule-Based Engine

W

• Weighted Model Counting on the GPU by Exploiting Small Treewidth
• What makes modern SAT Solvers work that well
• Workshop on Human Reasoning and Computational Logic