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
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (Grau)
- Acyclicity Conditions and their Application to Query Answering in Description Logics + (Grau)
- A cross-lingual correcting and completive method for multilingual ontology labels + (Gromann)
- Business lexicography + (Gromann)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (Gromann)
- 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 Calculus of Order and Interaction + (Guglielmi)
- A Non-commutative Extension of MELL + (Guglielmi)
- A System of Interaction and Structure + (Guglielmi)
- Non-commutativity and MELL in the Calculus of Structures + (Guglielmi)
- The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference + (Guglielmi)
- On Metric Temporal Description Logics + (Gutiérrez-Basulto)
- ILP Operators for Propositional Connectionist Networks + (Gutiérrez-Naranjo)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Gómez Álvarez)
- Talking about Forests: an Example of Sharing Information Expressed with Vague Terms + (Gómez Álvarez)
- Ambiguity: What is it that needs representing and what needs resolving? + (Gómez Álvarez)
- Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics + (Gómez Álvarez)
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (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)
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) + (Gómez Álvarez)
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (Gómez Álvarez)
- Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL + (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)
- 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)
