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
- 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 +