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
- The Design of Modal Proof Theories: the case of S5 + (20. Oktober 2004)
- Morphisms in Logic, Topology, and Formal Concept Analysis + (1. Februar 2005)
- Extracting Logic Programs from Artificial Neural Networks + (22. Februar 2005)
- Real-Time Structure from Motion Using Kalman Filtering + (21. März 2005)
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping + (31. Dezember 2005)
- Proof by Pointing and Selecting + (2006)
- Neural-Symbolic Integration - Constructive Approaches + (1. Januar 2006)
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach. + (24. Januar 2006)
- Concept Learning in Description Logics + (12. September 2006)
- Predicting the Performance of Wireless Communication Networks + (2007)
- Towards a Categorical Semantics for the Open Calculus of Constructions + (13. März 2007)
- θ-subsumption algorithms + (29. Oktober 2007)
- Hybrid Logic in the Calculus Structures + (2008)
- Logic Programs and Three-Valued Consequence Operators + (1. August 2009)
- Decidability of Reasoning under the Well-Founded Semantics + (2010)
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben + (2010)
- Memory Hierarchy Utilization of a SAT Solver + (31. März 2010)
- An Integrative Approach to Object Recognition in VSLAM + (15. September 2010)
- Improving SAT Solvers Using State-of-the-Art Techniques + (15. Dezember 2010)
- Reaching Definability via Abduction + (2011)
- Reasoning with Text Annotations + (1. April 2011)
- Backdoors for SAT + (1. Oktober 2011)
- Polynomial Reduction from PESP to SAT + (21. Oktober 2011)
- Menschliches räumliches Schließen und Ansätze aus der Computational Logic + (2014)
- Planning problems in Petri Nets and Fluent Calculus + (4. April 2014)
- Solving Product Configuration Problems using Non-standard Reasoning Services + (11. Juli 2014)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (4. September 2014)
- Increasing the Robustness of SAT Solving with Machine Learning Techniques + (10. September 2014)
- Automated Reasoning Support for Process Models using Action Languages + (28. September 2014)
- Iterative Ontology Update with Minimum Change + (9. März 2015)
- Grounded Circumscription in Description Logics + (9. April 2015)
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik + (20. April 2015)
- Intertranslatability of Labeling-Based Argumentation Semantics + (19. November 2015)
- Navigation Approaches for Answer Sets + (4. Dezember 2015)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata + (7. März 2016)
- On the Computation of Naive-based Argumentation Semantics + (14. März 2016)
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols + (14. April 2016)
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks + (7. Oktober 2016)
- Combining Belief Revision and Abstract Dialectical Frameworks + (13. Oktober 2016)
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks + (27. Oktober 2016)
- Monadic Reasoning with Weak Completion Semantics + (2017)
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (2017)
- Solving Angry Birds with Reinforcement Learning + (23. Februar 2017)
