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 Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Computational Logic Approach to Human Reasoning +
- A Fuzzy Description Logic with Hedges as Concept Modifiers +
- A Logic-Based Approach to Dynamic Programming +
- A New Computational Model for Human Reasoning +
- A New Computational Model for Human Reasoning +
- A Normalization Algorithm for Automated First-Order Value Iteration +
- A Simple Model for the Wason Selection Task +
- Actions and Specificity +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- An Abductive Model for Human Reasoning +
- An Abductive Model for Human Reasoning (Poster Paper) +
- An Adequate Connectionist System for Reflexive Reasoning +
- An Efficient Encoding of the At-Most-One Constraint +
- An Efficient Encoding of the at-most-one Constraint +
- Answer Set Programming and Clasp (INFOCOM-6) +
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks +
- BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) +
- Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract) +
- Computational Logic and Human Reasoning +
- Computational Logic and Human Reasoning Episodes +
- Computing Change and Specificity with Equational Logic Programs +
- Computing Conditional Probabilities: Implementation and Evaluation +
- Connectionist Model Generation +
- Constraint Equational Logic Programming and Resource-Based Partial Order Planning +
- Descriptions in the Fluent Calculus +
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks +
- EU-Drittlandprogramme 2007-2013 +
- Equational Logic and Theories of Action +
- FLUCAP: A Heuristic Search Planner for First-Order MDPs +
- Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) +
- From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) +
- From the Calculus of Structures to Term Rewriting Systems +
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers +
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers +
- Human Reasoning and Computational Logic +
- Human Reasoning and Computational Logic +
- Hybrid Neural Systems +
- Intellectics and Computational Logic +
- Intellectics and Computational Logic +
- KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI +
- KI-Forschungsführer 1998 +
- LIFT-UP: Lifted First-Order Planning Under Uncertainty +
- Logic Programs under Three-Valued Lukasiewicz Semantics +
- Logics and Networks for Human Reasoning +
- Logics and Networks for the Suppression Task +
- Logik und Logikprogrammierung +
- Logik und Logikprogrammierung +
- Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen +
- Logik und Logikprogrammierung. Band 1: Grundlagen. +
