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 "Converse" of the Banach Contraction Mapping Theorem +
- A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +
- A Fuzzy Description Logic with Hedges as Concept Modifiers +
- A Local System for Classical Logic +
- A Method of Estimating Oriented Surface Elements from Stereo Images +
- A More Efficient Parallel Unit Propagation +
- A Non-commutative Extension of MELL +
- A Resource–Oriented Deductive Approach towards Hierarchical Planning +
- A Short Overview on Modern Parallel SAT-Solvers +
- A System of Interaction and Structure +
- A Theory of Hypothesis Finding in Clausal Logic +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A cartesian closed category of approximable concept structures +
- A compact fuzzy extension of the Naive Bayesian classification algorithm +
- A semi-supervised method for learning the structure of robot-environment interaction +
- A systematic proof theory for several modal logics +
- An Abstract Machine for Reasoning about Situations, Actions, and Causality +
- Anforderungen an die FABEL-Sprache +
- Anomaly-Driven Concept Acquisition +
- Architekturkonzept für FABEL +
- Ausgezeichnete Informatikdissertationen 2009 +
- Ausgezeichnete Informatikdissertationen 2012 +
- Automated Reencoding of Boolean Formulas +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- Case-Based Support System for Treatment of Pain Diseases +
- Circular Belief in Logic Programming Semantics +
- Cognitive Science, Computational Logic and Connectionism +
- Computing Change and Specificity with Equational Logic Programs +
- Computing with Logic as Operator Elimination: The ToyElim System +
- Concurrent Production, Consumption and Occupation +
- Constraint Equational Logic Programming and Resource-Based Partial Order Planning +
- Contraction Properties of a Semantic Operator for Human Reasoning +
- Convergence Classes and Spaces of Partial Functions +
- DOM: An Active Assistance System for Architectural and Engineering Design +
- Dimensions of neural-symbolic integration — a structured survey +
- FABEL: Projektstatus, Perspektiven, Potentiale +
- Fallverwaltung in heterogenen Fallwissensbasen +
- Formal Concept Analysis and Resolution in Algebraic Domains +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Generating Clique Coloring Problem Formulas +
- Generating Rational Models +
- Guiding Backprob by Inserting Rules +
- Implementing System BV of the Calculus of Structures in Maude +
- Intelligent execution monitoring in dynamic environments +
- Kontraktionssätze auf verallgemeinerten metrischen Räumen +
- LIFT-UP: Lifted First-Order Planning Under Uncertainty +
- Level mapping characterizations of selector generated models for logic programs +
- Linear Deductive Planning +
- Literal Projection and Circumscription +
- Literal Projection and Circumscription +
