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
- A Brief Introduction to Formal Concept Analysis +
- A Data-Driven Graph Schema +
- A General First-Order Solution to the Ramification Problem +
- A Lexico-Logical Approach to Ontology Engineering +
- All Elephants are Bigger than All Mice +
- An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms +
- An Ontology Design Pattern for Cartographic Map Scaling +
- Answer Set Navigation: Probleme Besser Verstehen +
- Characterization of the Expressivity of Existential Rule Queries +
- Chase Termination Beyond Polynomial Time +
- Completing Incomplete Bayesian Networks +
- Conjunctive Query Answering for Directional Rules +
- Contributions to ICFCA 2009 +
- Decomposing Finite Closure Operators by Attribute Exploration +
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog +
- Description Logics of Context with Rigid Roles Revisited +
- Efficient Inferencing for the Description Logic Underlying OWL EL +
- Efficiently Handling Skew in Outer Joins on Distributed Systems +
- Epistemic Queries for OWL Knowledge Bases +
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment +
- Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj +
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. +
- Extending Description Logic Rules +
- Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings +
- HUGS - A Lightweight Graph Partitioning Approach +
- Human Reasoning and Computational Logic +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas +
- Investigating subclasses of abstract dialectical frameworks +
- Learning Formal Definitions for Biomedical Concepts +
- Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization +
- OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context +
- On the Complexity of Graded Modal Logics with Converse. +
- Orel: Database-Driven Reasoning for OWL 2 Profiles +
- Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging +
- Practical Reasoning for Very Expressive Description Logics +
- Practical Reasoning with OWL and Rules +
- Reasonable Highly Expressive Query Languages: Extended Technical Report +
- Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian +
- Semantic Wikipedia +
- Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de +
- Solving Hidokus Using SAT-Solvers +
- State Defaults and Ramifications in the Unifying Action Calculus +
- Status QIO: Conjunctive Query Entailment is Decidable +
- The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees +
- The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics +
- The Two Cultures: Mashing up Web 2.0 and the Semantic Web +
- Truth—A Platform for Verification of Distributed Systems +
- Using Queries as Schema-Templates for Graph Databases +
- Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 +
