Suche mittels Attribut

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

• Brave and Cautious Reasoning in EL  + (274-286)
• Formalizing Ontology Alignment and its Operations with Category Theory  + (277--288)
• Hashtag Processing for Enhanced Clustering of Tweets  + (277-283)
• Planning Mathematical Proofs with Methods  + (277-291)
• Unification of Concepts Terms in Description Logics  + (277-305)
• Tempus Fugit - Towards an Ontology Update Language  + (278--292)
• Some Notes on Managing Closure Operators  + (278-291)
• Minimised Residue Hypotheses in Relevant Logic  + (278-292)
• Connecting Many-Sorted Theories  + (278-294)
• The Not-So-Easy Task of Computing Class Subsumptions in OWL RL  + (279-294)
• Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies  + (28-40)
• Mathematical Morphology Operators over Concept Lattices  + (28-43)
• Tableaux for Verification of Data-Centric Processes  + (28-43)
• Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey  + (28-63)
• Compositional Semantics of an Actor-Based Language Using Constraint Automata  + (281--297)
• Decomposing Abstract Dialectical Frameworks  + (281-292)
• Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —  + (281-294)
• The Complexity of Subsumption in Fuzzy EL  + (2812–2818)
• Temporal Query Answering in the Description Logic EL  + (2819–2825)
• Reasonable Highly Expressive Query Languages  + (2826-2832)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (283-286)
• From Logic Programming to Human Reasoning: How to be Artificially Human (abstract)  + (283-286)
• Description Logics with Symbolic Number Restrictions  + (283-287)
• Spatial concepts - a rule exploration  + (284 -- 288)
• Towards the Complexity of Recognizing Pseudo-intents  + (284-292)

• Energy-Utility Quantiles  + (285--299)

• Detecting Cardinality Constraints in CNF  + (285-301)
• On Decision Problems for Probabilistic Büchi Automata  + (287--301)
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat  + (287--304)
• CEL—A Polynomial-time Reasoner for Life Science Ontologies  + (287-291)
• Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs  + (287-298)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (289--305)
• A general first-order solution to the ramification problem with cycles  + (289--308)
• Computing with Logic as Operator Elimination: The ToyElim System  + (289-296)
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents  + (28:1--28:16)
• The Orbit Problem for Parametric Linear Dynamical Systems  + (28:1--28:17)
• Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems  + (29)
• Descriptional complexity of semi-conditional grammars  + (29-31)
• Towards Knowledge-Based Assistance for Scholarly Editing  + (29-31)
• Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics  + (29-34)
• Hybrid EL-Unification is NP-Complete  + (29-40)
• Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis  + (290-303)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (291-302)
• Automated Deduction - A Basis for Applications  + (291-321)
• A Heuristic Search Algorithm for Solving First-Order MDPs  + (292-299)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (292-306)
• An Extension-Based Approach to Belief Revision in Abstract Argumentation  + (2926–2932)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (293--300)
• Model Checking Markov Chains as Distribution Transformers  + (293--313)
• On restricted context-free grammars  + (293–304)
• The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers  + (294-305)