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

• Intensional Question Answering using ILP: What does an answer mean?  + (Cimiano)
• The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings  + (Cimiano)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Claßen)
• A computational logic approach to human syllogistic reasoning  + (Costa)
• Fallverwaltung und Fallretrieval: Implementierungen und Tests  + (Coulon)
• Deductive Joint Support for Rational Unrestricted Rebuttal  + (Cramer)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (Croitoru)
• Exclusivity-based allocation of knowledge  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (Croitoru)
• Blackhole Pushdown Automata  + (Csuhaj-Varjú)
• Blackhole State-Controlled Regulated Pushdown Automata  + (Csuhaj-Varjú)
• Efficient Separability of Regular Languages by Subsequences and Suffixes  + (Czerwiński)
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces  + (Dachselt)
• Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance  + (Dagmar)
• Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements  + (Darari)
• Rule Extraction from Trained ANN: A Survey  + (Darbari)
• Situation Recognition for Service Management Systems Using OWL 2 Reasoners  + (Dargie)
• On restricted context-free grammars  + (Dassow)
• Access Policy Design Supported by FCA Methods  + (Dau)
• Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques  + (De Bortoli)
• A Generic Model for Video Content Based Retrieval  + (Decleir)
• Modeling and Querying Video Databases  + (Decleir)
• Modeling and Querying Video Data: A Hybrid Approach  + (Decleir)
• A Database Approach for Modeling and Querying Video Data  + (Decleir)
• A Database Approach for Modeling and Querying Video Data  + (Decleir)

• Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies  + (Declerck)
• Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies  + (Declerck)
• Extraction of Multilingual Term Variants in the Business Reporting Domain  + (Declerck)
• Porting the xEBR taxonomies to a LOD compliant format  + (Declerck)
• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (Declerck)

• DeaLing with Ontologies using CODs  + (Del Vescovo)
• Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics  + (Delivorias)
• Revisiting Grounded Circumscription in Description Logics  + (Delivorias)
• Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops  + (Dell'Aglio)
• Automata-Theoretic Decision Procedures for Information Logics  + (Demri)
• A Formal Theory of Justifications  + (Denecker)
• D1.1.1 Conceptual models for enterprise knowledge (Initial Models)  + (Dengler)
• Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm  + (Denker)
• Enumerating Satisfiable Propositional Formulae  + (Dershowitz)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (Dewoprabowo)
• On Indicative Conditionals  + (Dietz)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Dietz)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (Dietz)
• A Computational Logic Approach to the Suppression Task  + (Dietz)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (Dietz)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Dietz)
• A Simple Model for the Wason Selection Task  + (Dietz)
• A Computational Logic Approach to the Suppression Task  + (Dietz)
• A Computational Logic Approach to Syllogisms in Human Reasoning  + (Dietz)
• A New Computational Logic Approach to Reason with Conditionals  + (Dietz)
• On Indicative Conditionals  + (Dietz)
• Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics  + (Dietz)
• A computational logic approach to human spatial reasoning  + (Dietz)