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
- Terminology Harmonization in Industry Classification Standards + (Gromann)
- Terminology-based patterns for natural language definitions in ontologies + (Gromann)
- Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts + (Gromann)
- Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (Gromann)
- A Model and Method to Terminologize Existing Domain Ontologies + (Gromann)
- Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following + (Gromann)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (Gromann)
- Hashtag Processing for Enhanced Clustering of Tweets + (Gromann)
- Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition + (Gromann)
- Polynomial Reduction from PESP to SAT + (Grossmann)
- Linear Deductive Planning + (Gros̈e)
- Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I + (Groth)
- Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II + (Groth)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (Groza)
- A semi-supervised method for learning the structure of robot-environment interaction + (Großmann)
- Symbolic Dynamic Programming within the Fluent Calculus + (Großmann)
- A robot control system integrating reactive control, reasoning, and execution monitoring + (Großmann)
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids + (Großmann)
- Reduction Methods for Probabilistic Model Checking + (Größer)
- Partial Order Reduction for Markov Decision Processes: A Survey + (Größer)
- Partial Order Reduction for Markov Decision Processes: A Survey + (Größer)
- On reduction criteria for probabilistic reward models + (Größer)
- Incremental Fuzzy Decision Trees + (Guetova)
- A Calculus of Order and Interaction + (Guglielmi)
- A Non-commutative Extension of MELL + (Guglielmi)
- A System of Interaction and Structure + (Guglielmi)
- The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference + (Guglielmi)
- Non-commutativity and MELL in the Calculus of Structures + (Guglielmi)
- A Calculus of Order and Interaction + (Guglielmi)
- On Metric Temporal Description Logics + (Gutiérrez-Basulto)
- ILP Operators for Propositional Connectionist Networks + (Gutiérrez-Naranjo)
- Ambiguity: What is it that needs representing and what needs resolving? + (Gómez Álvarez)
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (Gómez Álvarez)
- Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics + (Gómez Álvarez)
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (Gómez Álvarez)
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) + (Gómez Álvarez)
- Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (Gómez Álvarez)
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (Gómez Álvarez)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Gómez Álvarez)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Gómez Álvarez)
- Standpoint Logic: Multi-Perspective Knowledge Representation + (Gómez Álvarez)
- Talking about Forests: an Example of Sharing Information Expressed with Vague Terms + (Gómez Álvarez)
- Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL + (Gómez Álvarez)
- PDL with Intersection and Converse is 2EXP-complete + (Göller)
- Towards Predictive Self-optimization by Situation Recognition + (Götz)
- Advances in Artificial Intelligence + (Götz)
- Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable + (Głuch)
- Languages, Decidability, and Complexity + (Haar)
- A Description Logic with Concrete Domains and Role-forming Predicates + (Haarslev)
- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics + (Haarslev)
- D1.1.1 Networked Ontology Model + (Haase)
- D3.1.1 Context Languages - State of the Art + (Haase)
- Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes + (Haase)
- An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions + (Hacid)
- A rule based data manipulation language for OLAP systems + (Hacid)
- A Rule-Based Language for Ordered Multidimensional Databases + (Hacid)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (Hacid)
- A rule based data manipulation language for OLAP systems + (Hacid)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (Hacid)
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) + (Hahn)
- Semantic Wikipedia (software demo) + (Haller)
- Discovering Implicational Knowledge in Wikidata + (Hanika)
