Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Tree Automata with Global and Non-Global Counting + (Luisa Herrmann)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Lukas Gerlach)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Lukas Gerlach)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (Lukas Gerlach)
- Chase-Based Computation of Cores for Existential Rules + (Lukas Gerlach)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (Lukas Gerlach)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (Lukas Gerlach)
- Fighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models + (Lukas Gerlach)
- Finite Groundings for ASP with Functions: A Journey through Consistency + (Lukas Gerlach)
- Formalizing Possibly Infinite Trees of Bounded Degree + (Lukas Gerlach)
- Description Logic with Abstraction and Refinement + (Lukas Schulze)
- Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de + (Lukas Schweizer)
- Fixed-Domain Reasoning for Description Logics + (Lukas Schweizer)
- Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Lukas Schweizer)
- A SHACL primer for KR researchers + (Magdalena Ortiz)
- Topological Clones and the Computational Complexity of Constraint Satisfaction Problems + (Manuel Bodirsky)
- Monotone Monadic SNP 1: Classical Results and Applications + (Manuel Bodirsky)
- ASNP: a tame fragment of existential second-order logic + (Manuel Bodirsky and Simon Knäuer)
- Extending EL++ with Linear Constraints on the Probability of Axioms + (Marcelo Finger)
- Blockmodelling Knowledge Graphs + (Marcin Pietrasik)
- Statistics for Knowledge Graph Modelling + (Marcin Pietrasik)
- SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability + (Marcos Cramer)
- Image schemas in computational concept invention + (Maria Hedblom)
- STEP by Step, towards Smart Services + (Maria Maleshkova)
- Knowledge Dynamics in Social Environments + (Maria Vanina Martinez)
- From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (Maribel Acosta)
- Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? + (Marko Tesic)
- TE-ETH: Lower Bounds for QBFs of Bounded Treewidth + (Markus Hecher)
- The World Avatar project – a universal digital twin + (Markus KRAFT)
- An Introduction to Wikidata + (Markus Krötzsch)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Markus Krötzsch)
- Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (Markus Krötzsch)
- Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden) + (Markus Krötzsch)
- Knowledge Graphs for AI: Wikidata and Beyond + (Markus Krötzsch)
- Ontological Modelling in Wikidata + (Markus Krötzsch)
- Reasonable Highly Expressive Query Languages + (Markus Krötzsch)
- The Power of the Terminating Chase + (Markus Krötzsch)
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers + (Martin Bromberger)
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic + (Martin Bromberger)
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization + (Martin Diller)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (Martin Diller)
- Formalizing "Formale Systeme" + (Matthias Meißner)
- The RustBelt and its Separation Logic + (Matthias Meißner)
- Forgetting Atoms and Arguments + (Matti Berthold)
- Universality Results for Spiking Neural P Systems with Cooperating Rules + (Maximilian Marx)
- Logic on MARS: Ontologies for Generalised Property Graphs + (Maximilian Marx)
- SQID: Reasonable Wikidata + (Maximilian Marx)
- Preserving Constraints with the Stable Chase + (Maximilian Marx)
- Discovering Implicational Knowledge in Wikidata + (Maximilian Marx)
- Tuple-Generating Dependencies Capture Complex Values + (Maximilian Marx)
- Towards Conjunctive Query Answering in Defeasible EL_bot + (Maximilian Pensel)
- Knowledge Graph Embedding + (Michael Cochez)
- Semantic Search for Novel Information + (Michael Färber)
- Suche struktureller Ähnlichkeiten in großen Graphen + (Michael Günther)
- Graph Structure and Monadic Second-Order Logic + (Michaël Thomazo)
- Characterization of the Expressivity of Existential Rule Queries + (Michaël Thomazo)
- A Single Approach to Decide Chase Termination on Linear Existential Rules + (Michaël Thomazo)
- Reasoning about disclosure in data integration in the presence of source constraints + (Michaël Thomazo)
