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 Framework For Evaluating Visual SLAM +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Local System for Linear Logic +
- A Probability Theoretic Analysis of Score Systems +
- A Purely Logical Account of Sequentiality in Proof Search +
- A Visual-Sensor Model for Mobile Robot Localisation +
- A framework for connection calculi +
- A generalized resolution theorem +
- A new context-based -subsumption algorithm +
- A probabilistic visual sensor model for mobile robot localisation in structured environments +
- A1-Unification +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- Abduction in Logic Programming as Second-Order Quantifier Elimination +
- An Abductive Model for Human Reasoning (Poster Paper) +
- An Adequate Connectionist System for Reflexive Reasoning +
- An open architecture for multiple case retrieval methods +
- Application Patterns of Projection/Forgetting +
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks +
- Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze +
- Atomic Cut Elimination for Classical Logic +
- Ausgezeichnete Informatikdisserationen 2000 +
- Ausgezeichnete Informatikdissertationen 1999 +
- Ausgezeichnete Informatikdissertationen 2007 +
- Ausgezeichnete Informatikdissertationen 2011 +
- Automated Deduction - A Basis for Applications +
- CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies +
- Challenge Problems for the Integration of Logic and Connectionist Systems +
- Characterizing logic programming semantics with level mappings +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts +
- DOM-ArC: An Active Decision Support System for Quality Assessment of Cases +
- Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems +
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks +
- Efficient Symbolic Reasoning for First-Order MDPs +
- Equational Logic and Theories of Action +
- Expressing View-Based Query Processing and Related Approaches with Second-Order Operators +
- Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach +
- Extracting Reduced Logic Programs from Artificial Neural Networks +
- Extracting Reduced Logic Programs from Artificial Neural Networks +
- FABEL im Überblick +
- FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval +
- FLUCAP: A Heuristic Search Planner for First-Order MDPs +
- Fallverwaltung und Fallretrieval: Implementierungen und Tests +
- GSAT versus Simulated Annealing +
- Generalized Metrics and Uniquely Determined Logic Programs +
- Hybrid Knowledge Organization within an Object Framework +
- Hybrid Neural Systems +
- Hybride Wissensorganisation mittels Objektstrukturen +
- Implementing Deep Inference in TOM +
