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 Description Logic Primer +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Note on Undecidability of Observation Consistency for Non-Regular Languages +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Compositional matrix-space models of language: Definitions, properties, and learning methods +
- Die Zukunft der Wikis: Semantic Web +
- Encoding Closure Operators into Neural Networks +
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment +
- Integrated view and comparison of alignment semantics +
- Logik und Logikprogrammierung +
- OBDD-based Tbox Reasoning in SHIQ +
- On the Decomposition of ADFs and the Complexity of Naive-based Semantics +
- One-Variable Logic Meets Presburger Arithmetic +
- Query Containment for Highly Expressive Datalog Fragments +
- Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules +
- Semantic Web - Grundlagen +
- Solving Advanced Argumentation Problems with Answer Set Programming +
- Succinctness and tractability of closure operator representations +
- The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence +
- The Relative Expressiveness of Abstract Argumentation and Logic Programming +
- Unification Theory – An Introduction +
