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
- Unification in the Description Logic EL Without the Top Concept + (BBBM-LTCS-11-01.pdf)
- Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor + (BBBM-NDJFL15.pdf)
- Computing Local Unifiers in the Description Logic EL without the Top Concept + (BBBM-UNIF11.pdf)
- Extending Two-Variable Logic on Trees + (BBE-CSL17.pdf)
- Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? + (BBE-Demri-LMCS22.pdf)
- Finite and algorithmic model theory (22/23) + (BBE-FMT-Exercises1.pdf)
- "Most of" leads to undecidability: Failure of adding frequencies to LTL + (BBE-FOSSACS-21.pdf)
- Modulo Counting on Words and Trees. + (BBE-FSTTCS17.pdf)
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic + (BBE-ICALP23-Corrected.pdf)
- Data Complexity in Expressive Description Logics With Path Expressions + (BBE-IJCAI-2024.pdf)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (BBE-IJCAI19.pdf)
- All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs + (BBE-IJCAI20-Chases.pdf)
- A Framework for Reasoning about Dynamic Axioms in Description Logics + (BBE-IJCAI20-Sep.pdf)
- Statistical EL is ExpTime-complete + (BBE-IPL21.pdf)
- On the Complexity of Graded Modal Logics with Converse. + (BBE-JELIA19.pdf)
- Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features + (BBE-JELIA23-FINAL.pdf)
- Why propositional quantification makes modal logics on trees robustly hard ? + (BBE-LICS19.pdf)
- Modal Logics with Composition on Finite Forests: Expressivity and Complexity + (BBE-LICS20.pdf)
- Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics + (BBE-Spoilers2021.pdf)
- One-Variable Logic Meets Presburger Arithmetic + (BBE-TCSv2.pdf)
- A note on C2 interpreted over finite data-words + (BBE-TIME-20.pdf)
- Completing the Picture: Complexity of Graded Modal Logics with Converse + (BBE-TPLP.pdf)
- Database-Inspired Reasoning Problems in Description Logics With Path Expressions + (BBE-thesis-final.pdf)
- Finite Entailment of Local Queries in the Z family of Description Logics + (BBEKieroAAAI22.pdf)
- Towards Model Theory of Ordered Logics: Expressivity and Interpolation + (BBEReijo22.pdf)
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC + (BBESRU2023JAIR-final.pdf)
- UEL: Unification Solver for EL + (BBMM-DL-12.pdf)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (BBR-DL-2019.pdf)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (BCKRT-terminating-chase-KR2021.pdf)
- Admissibility in Probabilistic Argumentation + (BDDGHK2021.pdf)
- On Logics and Homomorphism Closure + (BFKR-LICS-2021-extended.pdf)
- Preferential Query Answering in the Semantic Web with Possibilistic Networks + (BFL+-IJCAI16.pdf)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis + (BGSS-IJCAI07.pdf)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis + (BGSS-LTCS-06-02.pdf)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis + (BGSS-OWLED07.pdf)
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic + (BKR-ICALP2021-GSO.pdf)
- Reasonable Highly Expressive Query Languages: Extended Technical Report + (BKR-IJCAI2015-queries.pdf)
- Integrating Description Logics and Action Formalisms for Reasoning about Web Services + (BMLSW-LTCS-05-02.ps.gz)
- Conjunctive Query Answering with Finitely Many Truth Degrees + (BMPT-DL15.pdf)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (BMPT-JoDS16.pdf)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (BMR-PODS-2023.pdf)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (BSc-Thesis-Georg-Wild-2014.pdf)
- Ontology-Based Monitoring of Dynamic Systems + (Ba-KR-2014.pdf)
- Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles + (BaBL-AI15.pdf)
- Temporalizing Ontology-Based Data Access + (BaBL-CADE13.pdf)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (BaBL-IJCAI17.pdf)
- Temporal Query Entailment in the Description Logic SHQ + (BaBL-JWS15.pdf)
- Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles + (BaBL-LTCS-15-17.pdf)
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (BaBM-AI12.pdf)
- Computing Minimal EL-unifiers is Hard + (BaBM-AiML12.pdf)
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes + (BaBM-DL-12.pdf)
