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 Correspondance between Temporal Description Logics +
- A Method of Estimating Oriented Surface Elements from Stereo Images +
- A PSpace Algorithm for Graded Modal Logic +
- A Rule-Based Language for Ordered Multidimensional Databases +
- A Suggestion for an n-ary Description Logic +
- A rule based data manipulation language for OLAP systems +
- Combining Equational Theories Sharing Non-Collapse-Free Constructors +
- Complexity of Terminological Reasoning Revisited +
- Connectionist Model Generation: A First-Order Approach +
- Decision making improves sperm chemotaxis in the presence of noise +
- Dimensions of neural-symbolic integration — a structured survey +
- Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles +
- Extracting Reduced Logic Programs from Artificial Neural Networks +
- From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata +
- Guiding Backprob by Inserting Rules +
- Lazy model checking for recursive state machines +
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms +
- More for Less: Safe Policy Improvement with Stronger Performance Guarantees +
- On the probabilistic bisimulation spectrum with silent moves +
- Reasoning with Concrete Domains +
- Responsibility Attribution in Parameterized Markovian Models +
- SAT Encoding of Unification in EL +
- Symbolic Dynamic Programming within the Fluent Calculus +
- The SAT Solver Framework priss (System Description) +
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics +
- npSolver - a SAT based Solver for Optimization Problems (System Description) +
