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
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- A Benchmark Framework for a Computational Argumentation Competition +
- A Computational Logic Approach to the Belief Bias Effect +
- A Description Logic Primer +
- A Fully Parallel Framework for Fast Analyzing RDF Data +
- A Model and Method to Terminologize Existing Domain Ontologies +
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
- A Note on Relative Observability in Coordination Control +
- A Scalable Analysis Framework for Large-scale RDF Data +
- A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory +
- A cross-lingual correcting and completive method for multilingual ontology labels +
- A rule-based ontological framework for the classification of molecules +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles +
- Alternating Towers and Piecewise Testable Separators +
- An FCA grounded study of user dynamics through log exploration +
- An Introduction to Ontology-Based Query Answering with Existential Rules +
- An Ontology Design Pattern for Activity Reasoning +
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answer Set Programming and Clasp (INFOCOM-6) +
- Answering Instance Queries Relaxed by Concept Similarity +
- Application Patterns of Projection/Forgetting +
- Application Patterns of Projection/Forgetting +
- Applying Triadic FCA in Studying Web Usage Behaviors +
- Are Good-for-Games Automata Good for Probabilistic Model Checking? +
- Asynchronous Multi-Context Systems +
- Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing +
- Automata-based Reasoning in Fuzzy Description Logics +
- Award1026 +
- Award1027 +
- Awards in 2014 +
- Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition +
- Bayesian Description Logics +
- Brave and Cautious Reasoning in EL +
- Bridging the Application Knowledge Gap +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies +
- COBRA, a Demo +
- Certain Answers in a Rough World +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers +
- Compact Argumentation Frameworks +
- Compact Argumentation Frameworks +
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities +
- Complexities of Nominal Schemas +
- Computational Logic and Human Reasoning Episodes +
- Computing Conditional Probabilities in Markovian Models Efficiently +
