All pages
From International Center for Computational Logic
Previous page (Christian Al-Rabbaa/Publikationen/en) | Next page (How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions./en)
- En
- Enabling Fine-grained RDF Data Completeness Assessment
- Enabling Fine-grained RDF Data Completeness Assessment/en
- Enrico Franconi
- Enrico Franconi/Abschlussarbeiten
- Enrico Franconi/Abschlussarbeiten/en
- Enrico Franconi/Publikationen
- Enrico Franconi/Publikationen/en
- Enrico Franconi/en
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements
- Ensuring Soundness for SPARQL with Negation Using Completeness Statements/en
- Enterprise Management in the Presence of Data
- Enterprise Management in the Presence of Data/en
- Epistemic Answer Set Programming
- Epistemic Answer Set Programming/en
- Erik Zenker
- Erik Zenker/Publikationen
- Erik Zenker/Publikationen/en
- Erik Zenker/en
- Existential-rules-acyclicity
- Existential-rules-acyclicity/en
- Existential Rules (SS2018)
- Existential Rules (SS2018)/en
- Existenzielle Regeln
- Existenzielle Regeln/en
- Explaining Answer Sets using Argumentation Theory
- Explaining Answer Sets using Argumentation Theory/en
- Explaining neural network reasoning
- Explaining neural network reasoning/en
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment/en
- Explorations into Belief State Compression
- Explorations into Belief State Compression/en
- Expressivity of Planning with Horn Description Logic Ontologies
- Expressivity of Planning with Horn Description Logic Ontologies/en
- Extending Datalog with Sets Using an Encoding in Existential Rules
- Extending Datalog with Sets Using an Encoding in Existential Rules/en
- Extending EL++ with Linear Constraints on the Probability of Axioms
- Extending EL++ with Linear Constraints on the Probability of Axioms/en
- Extending Matching in Description Logics
- Extending Matching in Description Logics/en
- Externe
- FS2016
- FS2016/en
- FS2017
- FS2017/en
- FS2020
- FS2020/en
- FS2023
- FS2023/en
- Faceted Answer-Set Navigation
- Faceted Answer-Set Navigation/en
- Faiq Miftakhul Falakh
- Faiq Miftakhul Falakh/Abschlussarbeiten
- Faiq Miftakhul Falakh/Abschlussarbeiten/en
- Faiq Miftakhul Falakh/Publikationen
- Faiq Miftakhul Falakh/Publikationen/en
- Faiq Miftakhul Falakh/en
- Faron Moller
- Faron Moller/Abschlussarbeiten
- Faron Moller/Abschlussarbeiten/en
- Faron Moller/Publikationen
- Faron Moller/Publikationen/en
- Faron Moller/en
- Felix Distel
- Felix Distel/Publikationen
- Felix Distel/Publikationen/en
- Felix Distel/en
- Filippo De Bortoli
- Filippo De Bortoli/Publikationen
- Filippo De Bortoli/Publikationen/en
- Filippo De Bortoli/en
- Finding p-indecomposable Functions
- Finding p-indecomposable Functions/en
- Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
- Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying/en
- Finite Base Contraction and Expansion via Models - The ALC case
- Finite Base Contraction and Expansion via Models - The ALC case/en
- Finite Groundings for ASP with Functions: A Journey through Consistency
- Finite Groundings for ASP with Functions: A Journey through Consistency/en
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols/en
- Finite and algorithmic model theory (22/23) (WS2022)
- Finite and algorithmic model theory (22/23) (WS2022)/en
- Finite and algorithmic model theory (SS2021)
- Finite and algorithmic model theory (SS2021)/en
- First-Order Logic – Semantic and Computational Properties (SS2024)
- First-Order Logic – Semantic and Computational Properties (SS2024)/en
- Fixed Domain Reasoning for Description Logics
- Fixed Domain Reasoning for Description Logics/en
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation/en
- For Prospective Students
- Formal Concept Analysis
- Formal Concept Analysis/en
- Formale Begriffsanalyse
- Formale Begriffsanalyse/en
- Formale System (WS2020)/en
- Formale Systeme
- Formale Systeme(WS2015)
- Formale Systeme(WS2015)/en
- Formale Systeme(WS2018)
- Formale Systeme(WS2018)/en
- Formale Systeme/en
- Formale Systeme (WS2016)
- Formale Systeme (WS2016)/en
- Formale Systeme (WS2017)
- Formale Systeme (WS2017)/en
- Formale Systeme (WS2020)
- Formale Systeme (WS2020)/en
- Formale Systeme (WS2021)
- Formale Systeme (WS2021)/en
- Formale Systeme (WS2022)
- Formale Systeme (WS2022)/en
- Formale Systeme (WS2023)
- Formale Systeme (WS2023)/en
- Formale Systeme (WS2024)
- Formale Systeme (WS2024)/en
- Formalizing "Formale Systeme"
- Formalizing "Formale Systeme"/en
- Forschungsfelder
- Forschungsfelder/en
- Forschungsgruppen
- Forschungsgruppen/en
- Forschungslinie (SS2015)
- Forschungslinie (SS2015)/en
- Forschungslinie (SS2016)
- Forschungslinie (SS2016)/en
- Forschungsprojekte
- Forschungsprojekte/en
- Foundations Repetition (WS2017)
- Foundations Repetition (WS2017)/en
- Foundations for Machine Learning(SS2019)/en
- Foundations for Machine Learning (SS2019)
- Foundations for Machine Learning (SS2019)/en
- Foundations for Maschine Learning (SS2018)
- Foundations for Maschine Learning (SS2018)/en
- Foundations for Maschine Learning (SS2019)/en
- Foundations for Maschine Learning (WS2018)
- Foundations for Maschine Learning (WS2018)/en
- Foundations of Complexity Theory (WS2020/21)/en
- Foundations of Constraint Programming (WS2014)
- Foundations of Constraint Programming (WS2014)/en
- Foundations of Constraint Programming (WS2015)
- Foundations of Constraint Programming (WS2015)/en
- Foundations of Constraint Programming (WS2016)
- Foundations of Constraint Programming (WS2016)/en
- Foundations of Constraint Programming (WS2017)
- Foundations of Constraint Programming (WS2017)/en
- Foundations of Constraint Programming (WS2018)
- Foundations of Constraint Programming (WS2018)/en
- Foundations of Constraint Programming (WS2019)
- Foundations of Constraint Programming (WS2019)/en
- Foundations of Databases and Query Languages (SS2015)
- Foundations of Databases and Query Languages (SS2015)/en
- Foundations of Knowledge Representation (WS2020)
- Foundations of Knowledge Representation (WS2020)/en
- Foundations of Knowledge Representation (WS2021)
- Foundations of Knowledge Representation (WS2021)/en
- Foundations of Knowledge Representation (WS2022)
- Foundations of Knowledge Representation (WS2022)/en
- Foundations of Knowledge Representation (WS2023)
- Foundations of Knowledge Representation (WS2023)/en
- Foundations of Knowledge Representation (WS2024)
- Foundations of Knowledge Representation (WS2024)/en
- Foundations of Logic Programming (WS2014)
- Foundations of Logic Programming (WS2014)/en
- Foundations of Logic Programming (WS2015)
- Foundations of Logic Programming (WS2015)/en
- Foundations of Logic Programming (WS2016)
- Foundations of Logic Programming (WS2016)/en
- Foundations of Logic Programming (WS2017)
- Foundations of Logic Programming (WS2017)/en
- Foundations of Logic Programming (WS2018)
- Foundations of Logic Programming (WS2018)/en
- Foundations of Logic Programming (WS2019)
- Foundations of Logic Programming (WS2019)/en
- Foundations of Logic Programming (WS2020)
- Foundations of Logic Programming (WS2020)/en
- Foundations of Logic Programming (WS2021)
- Foundations of Logic Programming (WS2021)/en
- Foundations of Logic Programming (WS2022)
- Foundations of Logic Programming (WS2022)/en
- Foundations of Logic Programming (WS2023)
- Foundations of Logic Programming (WS2023)/en
- Foundations of Semantic Web Technologies (SS2015)
- Foundations of Semantic Web Technologies (SS2015)/en
- Foundations of Semantic Web Technologies (SS2016)
- Foundations of Semantic Web Technologies (SS2016)/en
- Foundations of Semantic Web Technologies (SS2017)
- Foundations of Semantic Web Technologies (SS2017)/en
- Foundations of Semantic Web Technologies (WS2022)
- Foundations of Semantic Web Technologies (WS2022)/en
- Foundations of Semantic Web Technologies (WS2023)
- Foundations of Semantic Web Technologies (WS2023)/en
- Framework for the Specification and Execution of parallel Clustering Algorithms
- Framework for the Specification and Execution of parallel Clustering Algorithms/en
- Francesco Kriegel
- Francesco Kriegel/Abschlussarbeiten
- Francesco Kriegel/Abschlussarbeiten/en
- Francesco Kriegel/FIS
- Francesco Kriegel/Publikationen
- Francesco Kriegel/Publikationen/en
- Francesco Kriegel/en
- Francisco Martín-Recuerda
- Francisco Martín-Recuerda/Publikationen
- Francisco Martín-Recuerda/Publikationen/en
- Francisco Martín-Recuerda/en
- Franz Baader
- Franz Baader/Publikationen
- Franz Baader/Publikationen/en
- Franz Baader/en
- Franz J. Kurfess
- Franz J. Kurfess/Abschlussarbeiten
- Franz J. Kurfess/Abschlussarbeiten/en
- Franz J. Kurfess/Publikationen
- Franz J. Kurfess/Publikationen/en
- Franz J. Kurfess/en
- Franziska Krüger
- Franziska Krüger/Abschlussarbeiten
- Franziska Krüger/Abschlussarbeiten/en
- Franziska Krüger/Publikationen
- Franziska Krüger/Publikationen/en
- Franziska Krüger/en
- Fredo Erxleben
- Fredo Erxleben/Publikationen
- Fredo Erxleben/Publikationen/en
- Fredo Erxleben/en
- Free University of Bozen-Bolzano
- Free University of Bozen-Bolzano/en
- From Classical to Consistent Query Answering under Existential Rules
- From Classical to Consistent Query Answering under Existential Rules/en
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment/en
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals/en
- Functional models and Data Complexity for FL0
- Functional models and Data Complexity for FL0/en
- Fuzzy Description Logic (WS2018)
- Fuzzy Description Logic (WS2018)/en
- Fuzzy Description Logic (WS2020)
- Fuzzy Description Logic (WS2020)/en
- Fuzzy Description Logic (WS2022)
- Fuzzy Description Logic (WS2022)/en
- Fuzzy Informationsverarbeitung (SS2019)
- Fuzzy Informationsverarbeitung (SS2019)/en
- GE2RAT
- GER 0038
- GER 0038/en
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase/en
- Generalized Consistent Query Answering under Existential Rules
- Generalized Consistent Query Answering under Existential Rules/en
- Generating molecule graphs from mass spectrometry results using Answer-Set-Programming
- Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en
- Georg Wild
- Georg Wild/en
- Gerald Pfeifer
- Gerald Pfeifer/Abschlussarbeiten
- Gerald Pfeifer/Abschlussarbeiten/en
- Gerald Pfeifer/Publikationen
- Gerald Pfeifer/Publikationen/en
- Gerald Pfeifer/en
- German Language Course (WS2015)
- German Language Course (WS2015)/en
- Gerson Zaverucha
- Gerson Zaverucha/Abschlussarbeiten
- Gerson Zaverucha/Abschlussarbeiten/en
- Gerson Zaverucha/Publikationen
- Gerson Zaverucha/Publikationen/en
- Gerson Zaverucha/en
- Giorgio Levi
- Giorgio Levi/Abschlussarbeiten
- Giorgio Levi/Abschlussarbeiten/en
- Giorgio Levi/Publikationen
- Giorgio Levi/Publikationen/en
- Giorgio Levi/en
- Giuseppina Monterosso
- Giuseppina Monterosso/Abschlussarbeiten
- Giuseppina Monterosso/Abschlussarbeiten/en
- Giuseppina Monterosso/Publikationen
- Giuseppina Monterosso/Publikationen/en
- Giuseppina Monterosso/en
- GoAsQ
- GoAsQ/en
- Graduation List
- Graph Structure and Monadic Second-Order Logic
- Graph Structure and Monadic Second-Order Logic/en
- Gregory R. Wheeler
- Gregory R. Wheeler/Abschlussarbeiten
- Gregory R. Wheeler/Abschlussarbeiten/en
- Gregory R. Wheeler/Publikationen
- Gregory R. Wheeler/Publikationen/en
- Gregory R. Wheeler/en
- Grounded Circumscription in Description Logics/en
- Grounded Circumscription in Description Logics2
- Grounded Circumscription in Description Logics2/en
- Guest Lecturers
- GÖR/0226/H
- GÖR/0226/H/en
- HAEC
- HAEC/en
- HAEC B02
- HAEC B02/Publication reports/en
- HAEC B02/en
- HAEC B08
- HAEC B08/Publication reports/en
- HAEC B08/en
- HSZ/0002
- HSZ/0002/en
- HSZ/0003
- HSZ/0003/en
- HSZ/0004
- HSZ/0004/en
- HSZ/0401
- HSZ/0401/en
- HSZ/AUDI
- HSZ/AUDI/en
- HUGS – A Lightweight Graph Partitioning Approach
- HUGS – A Lightweight Graph Partitioning Approach/en
- Hannes Strass
- Hannes Strass/en
- Hannes Straß
- Hannes Straß/Abschlussarbeiten
- Hannes Straß/Abschlussarbeiten/en
- Hannes Straß/Publikationen
- Hannes Straß/Publikationen/en
- Hannes Straß/en
- Hongkai Liu
- Hongkai Liu/Publikationen
- Hongkai Liu/Publikationen/en
- Hongkai Liu/en
- Honorary Doctoral Degree 2006/en
- Horst Graupner
- Horst Graupner/Abschlussarbeiten
- Horst Graupner/Abschlussarbeiten/en
- Horst Graupner/Publikationen
- Horst Graupner/Publikationen/en
- Horst Graupner/en
- Horst Reichel
- Horst Reichel/Abschlussarbeiten
- Horst Reichel/Abschlussarbeiten/en
- Horst Reichel/Publikationen
- Horst Reichel/Publikationen/en
- Horst Reichel/en
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions.
