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 "Converse" of the Banach Contraction Mapping Theorem +
- A Resolution Theorem for Algebraic Domains +
- A cartesian closed category of approximable concept structures +
- A categorical view on algebraic lattices in formal concept analysis +
- A generalized resolution theorem +
- A generalized resolution theorem +
- A uniform approach to logic programming semantics +
- Approximate OWL Instance Retrieval with Screech +
- BCU Mathematics Contest 2001 — Problems and Solutions +
- Begabtenförderung im MINT-Bereich +
- Characterizing logic programming semantics with level mappings +
- Circular Belief in Logic Programming Semantics +
- Contexts, Concepts, and Logic of Domains +
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks +
- Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- DLP isn't so bad after all +
- Default reasoning over domains and concept hierarchies +
- Default reasoning over domains and concept hierarchies +
- Formal Concept Analysis and Resolution in Algebraic Domains +
- Foundations of Semantic Web Technologies +
- Generalized Metrics and Uniquely Determined Logic Programs +
- Integrated view and comparison of alignment semantics +
- Kontraktionssätze auf verallgemeinerten metrischen Räumen +
- Level mapping characterizations of selector generated models for logic programs +
- Logic Programs and Connectionist Networks +
- On the Coincidence of Semantics for Uniquely Determined Programs +
- Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper +
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 +
- Querying formal contexts with answer set programs +
- Report on realizing practical approximate and distributed reasoning for ontologies +
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults +
- Semantic Operators and Fixed-Point Theory in Logic Programming +
- Semantic Web - Grundlagen +
- The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming +
- The Well-Founded Semantics is a Stratified Fitting Semantics +
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge +
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge +
- Towards a Systematic Account of Different Logic Programming Semantics +
- Unique Supported-Model Classes of Logic Programs +
- VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^ +
- What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts +
- 语义Web技术基础 +
