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
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Suppression Task +
- A Finitary System for First Order Logic +
- A First Order System with Finite Choice of Premises +
- A Logic-Based Approach to Dynamic Programming +
- A Normalization Algorithm for Automated First-Order Value Iteration +
- A Recursive Neural Network for Reflexive Reasoning +
- A Resolution Theorem for Algebraic Domains +
- A Resource–Oriented Deductive Approach towards Hierarchical Planning +
- A Systematic Proof Theory for Several Modal Logics +
- A generalized resolution theorem +
- A uniform approach to logic programming semantics +
- Actions and Specificity +
- Advances in Artificial Intelligence +
- An Efficient Encoding of the At-Most-One Constraint +
- Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT +
- Assessment Supported by a Domain Ontology (DOM) +
- Ausgezeichnete Informatikdisserationen 2001 +
- Ausgezeichnete Informatikdissertationen 2002 +
- Ausgezeichnete Informatikdissertationen 2004 +
- Ausgezeichnete Informatikdissertationen 2006 +
- Ausgezeichnete Informatikdissertationen 2008 +
- Automatic flow classification using machine learning +
- BCU Mathematics Contest 2001 — Problems and Solutions +
- Begabtenförderung im MINT-Bereich +
- Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning +
- Combining A1- and AC1-Unification Sharing Unit +
- Complex Plans in the Fluent Calculus +
- Connectionist Model Generation: A First-Order Approach +
- Consistency Without Cut Elimination +
- Contexts, Concepts, and Logic of Domains +
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks +
- Coprocessor - a Standalone SAT Preprocessor +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- Deduktives Planen +
- Default reasoning over domains and concept hierarchies +
- Descriptions in the Fluent Calculus +
- Detecting Cardinality Constraints in CNF +
- Different Approaches to the Semantics of Workflow +
- Efficient SAT-Encoding of Linear CSP Constraints +
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems +
- FABEL +
- FCPlanner: A Planning Strategy for First-Order MDPs +
- Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes +
- Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection +
- Incremental Fuzzy Decision Trees +
- Integrating Reactive and Reflexive Reasoning by Generating Rational Models +
- Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel +
- International Tele-Teaching – A Progress Report +
