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 Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A General Form of Attribute Exploration +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A New Computational Model for Human Reasoning +
- A New Computational Model for Human Reasoning +
- A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A bridge between decentralized and coordination control +
- A fuzzy extension of explanatory relations based on mathematical morphology +
- A general first-order solution to the ramification problem with cycles +
- A hybrid approach for learning concept definitions from text +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- About Subsumption in Fuzzy EL +
- Abstract Dialectical Frameworks Revisited +
- Abstract Dialectical Frameworks Revisited +
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies +
- An Efficient Encoding of the At-Most-One Constraint +
- An Efficient Encoding of the at-most-one Constraint +
- An Ontology Design Pattern for Cartographic Map Scaling +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings +
- Ausgezeichnete Informatikdissertationen 2012 +
- Award1023 +
- Award1024 +
- Award1025 +
- Awards in 2013 +
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals +
- Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data +
- Beam Me Up! - LaTeX-Beamer For Those Who Already Know +
- Benchmark libraries for argumentation +
- Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning +
- Compact Rewritings for Existential Rules +
- Complexities of Horn Description Logics +
- Computational Logic and Human Reasoning +
- Computing Quantiles in Markov Reward Models +
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR +
- Computing Stable Models for Nonmonotonic Existential Rules +
- Computing the lcs w.r.t. General EL^+ TBoxes +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Concept Adjustment for Description Logics +
- Concrete Results on Abstract Rules +
- Coordination Control of Distributed Discrete-Event Systems +
- Distributed wait state tracking for runtime MPI deadlock detection +
- EQuIKa: Epistemic Querying in OWL 2 Ontologies +
