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
- Navigation Approaches for Answer Sets +
- On the Computation of Naive-based Argumentation Semantics +
- From Logic Programs to Iterated Function Systems +
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband +
- Big Data in SAT Solving - Heuristiken von Beweisen lernen +
- Decidability of Reasoning under the Well-Founded Semantics +
- Proof by Pointing and Selecting +
- First-Order Rule Learning Through a Pulsed Neural Network +
- Grounded Circumscription in Description Logics +
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning +
- Properties of a Logical System in the Calculus of Structures +
- A Camera Sensor Model for Sensor Fusion +
- An Integrative Approach to Object Recognition in VSLAM +
- Backdoors for SAT +
- Reasoning with Text Annotations +
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation +
- A Constructive Connectionist Approach Towards Continual Robot Learning +
- Inkrementelle Fuzzy-Entscheidungsbäume +
- A Layered Architecture for Robot Control Using the Fluent Calculus +
- Planning problems in Petri Nets and Fluent Calculus +
- Ein massiv paralleles Berechnungsmodell für normale logische Programme +
- Intelligent Shift Scheduling +
- Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit +
- Analyse und Implementierung der scf2 Argumentation Semantik +
- Morphisms in Logic, Topology, and Formal Concept Analysis +
- Aktionen, Bedingungen und Ressourcen +
- Lösen des Stundenplanproblems mit SAT +
- Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern +
- Improving SAT Solvers Using State-of-the-Art Techniques +
- Increasing the Robustness of SAT Solving with Machine Learning Techniques +
- Combining Belief Revision and Abstract Dialectical Frameworks +
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks +
- Application of a Monocular Camera as a Motion Sensor for Mobile Robots +
- Logic Programs and Three-Valued Consequence Operators +
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator +
- θ-subsumption algorithms +
- Towards a Categorical Semantics for the Open Calculus of Constructions +
- Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation +
- Predicting the Performance of Wireless Communication Networks +
- Reaching Definability via Abduction +
- Towards Automated Symbolic Dynamic Programming +
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben +
- The Design of Modal Proof Theories: the case of S5 +
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata +
- Bedingte und rekursive Aktionen im Fluent-Kalkül +
- Iterative Ontology Update with Minimum Change +
- Justifications under the Fixed-Domain Semantics +
- Hybrid Logic in the Calculus Structures +
- Verbinden von Suchabstraktionen zur echten Suche +
- Verifizierte SAT-basierte Entscheidungsprozeduren +
