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 Description Logic Primer +
- A First Order System with Finite Choice of Premises +
- A Lexico-Logical Approach to Ontology Engineering +
- A Recursive Neural Network for Reflexive Reasoning +
- A Theory of Hypothesis Finding in Clausal Logic +
- A cross-lingual correcting and completive method for multilingual ontology labels +
- Abstract Dialectical Frameworks +
- Advances in Artificial Intelligence +
- Automated Deduction - A Basis for Applications +
- BCU Mathematics Contest 2001 — Problems and Solutions +
- BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) +
- Basic Description Logics +
- Benchmark libraries for argumentation +
- Business lexicography +
- Combining Constraint Solving +
- Complex Plans in the Fluent Calculus +
- Computing extensions of terminological default theories +
- Computing in Civil Engineering +
- Coordination Control of Distributed Discrete-Event Systems +
- Coordination Control of Distributed Discrete-Event Systems +
- Description Logic +
- Description Logic Terminology +
- Description Logics +
- Description Logics +
- Description Logics +
- Description Logics as Ontology Languages for the Semantic Web +
- Die Zukunft der Wikis: Semantic Web +
- Die zwei Kulturen +
- Dimensions of neural-symbolic integration — a structured survey +
- ETALIS: Rule-Based Reasoning in Event Processing +
- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination +
- Extending Description Logics to Vague Knowledge in Medicine +
- Extensions to Description Logics +
- FABEL +
- Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes +
- Foundations of Description Logics +
- Foundations of Implementations for Formal Argumentation +
- Guiding Backprob by Inserting Rules +
- Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación +
- Humans Reason Skeptically +
- Hybrid Neural Systems +
- Intellectics and Computational Logic +
- KI-96: Abvances in Artificial Intelligence +
- KI-96: Lecture Notes in Artificial Intelligence +
- Kontraktionssätze auf verallgemeinerten metrischen Räumen +
- Languages, Decidability, and Complexity +
- Model Checking Probabilistic Systems +
- Model checking linear-time properties of probabilistic systems +
- Multidimensional Data Models and Aggregation +
