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
- A Logical Geo-Ontology Design Pattern for Quantifying over Types +
- A New Computational Model for Human Reasoning +
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results +
- Admissibility in Probabilistic Argumentation +
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know +
- Bound Your Models! How to Make OWL an ASP Modeling Language +
- Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions +
- Computational Logic and Human Reasoning Episodes +
- Concept lattices with negative information: A characterization theorem +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Connectionist Model Generation +
- D1.1.1 Networked Ontology Model +
- DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners +
- DLP isn't so bad after all +
- Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos) +
- EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization +
- Finding the Largest Datalog Fragment of Description Logic +
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) +
- Formalizing Ontology Alignment and its Operations with Category Theory +
- GPTKB: Comprehensively Materializing Factual LLM Knowledge +
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC +
- How to reason with OWL in a logic programming system +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Incorporating Uncertainty into RDF and OWL. X-Media Deliverable D2.1 +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies +
- Massively Parallel Reasoning under the Well-Founded Semantics using X10 +
- Modal Schema Graphs for Graph Databases +
- Navigating ASP Solution Spaces +
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? +
- Nemo: A Scalable and Versatile Datalog Engine +
- On the complexity of Horn description logics +
- Ontology-based Interpretation of Keywords for Semantic Search +
- Probabilistic Aspects of Score Systems +
- Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016) +
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios +
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory +
- Reasoning Support for Ontology Design +
- Robust and Skew-resistant Parallel Joins in Shared-nothing Systems +
- SAT Solving - Scheduling, Generic CDCL, Partitioning +
- Semantic MediaWiki +
- SmartWeb: Mobile Access to the Semantic Web +
- TU Dresden and Computer Science +
- Wikidata as a Cultural Heritage Information Hub +
