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
- Wolpertinger: A Fixed-Domain Reasoner + (Rudolph)
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (Rudolph)
- The Triguarded Fragment of First-Order Logic + (Rudolph)
- Künstliche Intelligenz, quo vadis? + (Rudolph)
- SPARQL Queries over Ontologies Under the Fixed-Domain Semantics + (Rudolph)
- Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando + (Rudolph)
- Answer Set Navigation: Probleme Besser Verstehen + (Rusovac)
- Rushing and Strolling among Answer Sets - Navigation Made Easy + (Rusovac)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Rusovac)
- Fast Computation of Proper Premises + (Ryssel)
- Fast algorithms for implication bases and attribute exploration using proper premises + (Ryssel)
- A NExpTime-complete Description Logic Strictly Contained in C^2 + (S .Tobies)
- From Linear Proofs to Direct Logic with Exponentials + (Sandner)
- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems + (Sardar)
- Modeling OWL with Rules: The ROWL Protege Plugin + (Sarker)
- Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (Sarker)
- A Concept Language for an engeneering application with part-whole relations + (Sattler)
- Knowledge Representation in Process Engineering + (Sattler)
- A Concept Language Extended with Different Kinds of Transitive Roles + (Sattler)
- Description Logics for the Representation of Aggregated Objects + (Sattler)
- The Hybrid mu-Calculus + (Sattler)
- Description Logics for Ontologies + (Sattler)
- Relationship with other Formalisms + (Sattler)
- FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval + (Schmidt-Belz)
- Modeling in OWL 2 without Restrictions + (Schneider)
- Modeling in OWL 2 without Restriction + (Schneider)
- Topological Entropy of Formal Languages + (Schneider)
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios + (Schrader)
- Completing Incomplete Bayesian Networks + (Schramm)
- Completing Incomplete Bayesian Networks + (Schramm)
- On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems. + (Schramm)
- PIT: A System for Reasoning with Probabilities. + (Schramm)
- Probabilistic Aspects of Score Systems + (Schramm)
- Probabilistic Aspects of Score Systems + (Schramm)
- Autonomous, Model-Based Diagnosis Agents + (Schroeder)
- SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions + (Schulz)
- Formal representation of complex SNOMED CT expressions + (Schulz)
- SNOMED reaching its adolescence: Ontologists' and logicians' health check + (Schulz)
- Abstract Domains for Database Manipulating Processes + (Schüler)
- Convergence Classes and Spaces of Partial Functions + (Seda)
- Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL + (Sertkaya)
- Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006) + (Sertkaya)
- Explaining User Errors in Description Logic Knowledge Base Completion + (Sertkaya)
- Explaining User Errors in Knowledge Base Completion + (Sertkaya)
- OntoComP System Description + (Sertkaya)
- Towards the Complexity of Recognizing Pseudo-intents + (Sertkaya)
- OntoComP: A Protege Plugin for Completing OWL Ontologies + (Sertkaya)
- Some Computational Problems Related to Pseudo-intents + (Sertkaya)
- Some Computational Problems Related to Pseudo-intents + (Sertkaya)
- Fixed Parameter Tractable Reasoning in DLs via Decomposition + (Simančík)
- Compositional Semantics of an Actor-Based Language Using Constraint Automata + (Sirjani)
- A new context-based -subsumption algorithm + (Skvortsova)
- Say "No" to Grounding: An Inference Algorithm for First-Order MDPs + (Skvortsova)
- A Spectrum of Approximate Probabilistic Bisimulations + (Spork)
- Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations + (Springer)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (Stefanoni)
