Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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 +
