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
- Mixing Materialization and Query Rewriting for Existential Rules + (897-902)
- Solving a PSPACE-complete problem by gene assembly + (897-908)
- OntoComP: A Protege Plugin for Completing OWL Ontologies + (898-902)
- Report on the Sixth Conference on Artificial General Intelligence + (9-125)
- Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (9-13)
- A Semantics for Open Normal Defaults via a Modified Preferential Approach + (9-16)
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set + (9-20)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (9-21)
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices + (9-24)
- Reasoning with Concrete Domains + (90-95)
- Compositional Matrix-Space Models of Language + (907-916)
- Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems + (91-100)
- Automata-based Axiom Pinpointing + (91-129)
- Temporal Tableaux + (91-134)
- A Note on Unification Type Zero + (91-93)
- The Inverse Method Implements the Automata Approach for Modal Satisfiability + (92-106)
- Restricted chase (non)termination for existential rules with disjunctions + (922-928)
- The cf2 argumentation semantics revisited + (925-949)
- Chase Termination Beyond Polynomial Time + (93)
- Semantic MediaWiki + (935-942)
- On a structural property in the state complexity of projected regular languages + (93–105)
- Satisfiability of ECTL* with tree constraints + (94 - 108)
- Materializing Knowledge Bases via Trigger Graphs + (943-956)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (949-975)
- On the Combination of Partial Action Descriptions + (95-106)
- A Probability Theoretic Analysis of Score Systems + (95-108)
- Semantic Characterizations of AGM Revision for Tarskian Logics + (95-110)
- Admissibility in Probabilistic Argumentation + (957-1004)
- Linear Logic and Noncommutativity in the Calculus of Structures + (96)
- Probabilistic Model Checking for Energy-Utility Analysis + (96--123)
- Computing Least Common Subsumers in Description Logics with Existential Restrictions + (96-101)
- Model Checking Probabilistic Systems + (963--999)
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness + (963-968)
- A bridge between decentralized and coordination control + (966-972)
- Tuple-Generating Dependencies Capture Complex Values (extended abstract) + (97--103)
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles + (97--108)
- Design and Verification of Systems with Exogenous Coordination Using Vereofy + (97--111)
- Partial Order Reduction for Probabilistic Branching Time + (97--116)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (97-106)
- SAT Encoding of Unification in EL + (97-111)
- Too Many Rooks + (97-98)
- Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL + (976-985)
- Description Logics with Aggregates and Concrete Domains + (979-1004)
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing + (98-110)
- SROIQ Syntax Approximation by Using Nominal Schemas + (988--999)
- The Fuzzy Description Logic ALC_FLH + (99-104)
- Die zwei Kulturen + (99-123)
- Quantitative Temporal Logics: PSpace and below + (99-123)
- ETALIS: Rule-Based Reasoning in Event Processing + (99-124)
- Computing Change and Specificity with Equational Logic Programs + (99-133)