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
- Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions + (45-61)
- Supervisory Control with Complete Observations + (45-64)
- On the complexity of enumerating pseudo-intents + (450-466)
- Complexity Boundaries for Horn Description Logics + (452--457)
- A Scheme for Integrating Concrete Domains into Concept Languages + (452-457)
- Are Good-for-Games Automata Good for Probabilistic Model Checking? + (453--465)
- Conservative Extensions in Expressive Description Logics + (453-458)
- Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement + (454-460)
- A Benchmark Framework for a Computational Argumentation Competition + (459--460)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (459–475)
- Updating Description Logic ABoxes + (46-56)
- Revisiting Grounded Circumscription in Description Logics + (46-60)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (46-61)
- A Recursive Neural Network for Reflexive Reasoning + (46-62)
- The ASPARTIX System Suite + (461-462)
- EL-ifying Ontologies + (464--479)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (464-467)
- Logic Programs under Three-Valued Łukasiewicz's Semantics + (464-478)
- On the probabilistic bisimulation spectrum with silent moves + (465---512)
- Waiting for Locks: How Long Does It Usually Take? + (47--62)
- Investigating the Dimensions of Spatial Language + (47-56)
- Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik + (470--481)
- DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND + (471--472)
- DIAMOND 3.0 - A Native C++ Implementation of DIAMOND + (471-472)
- Evaluation of Extraction Techniques for Ontology Excerpts + (471-482)
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (473-480)
- Implementing Instantiation of Knowledge Bases in Argumentation Frameworks + (475--476)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (476–492)
- Neva – Extension Visualization for Argumentation Frameworks + (477-478)
- Computing the lcs w.r.t. General EL^+ TBoxes + (477-488)
- Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases + (477-503)
- Linear Context-Free Tree Languages and Inverse Homomorphisms + (478-489)
- The Hanoi Omega-Automata Format + (479--486)
- Unification in Commutative Theories + (479-497)
- MinitSAT + (48)
- A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) + (48-59)
- Tractable and Decidable Fragments of Conceptual Graphs + (480-493)
- The Bayesian Description Logic BEL + (480-494)
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (480-501)
- Comparative Branching-Time Semantics + (482--497)
- Description Logic Terminology + (485-495)
- SPARQL Queries over Ontologies Under the Fixed-Domain Semantics + (486--499)
- Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction + (487-500)
- Supporting Lexical Ontology Learning by Relational Exploration + (488-491)
- Using Sums-of-Products for Non-standard Reasoning + (488-499)
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR + (49-60)
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms + (49-64)
- Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs + (49-64)
- Modeling and Querying Video Databases + (492-498)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator + (492-502)
