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
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach. + (24. Januar 2006)
- Concept Learning in Description Logics + (12. September 2006)
- Towards a Categorical Semantics for the Open Calculus of Constructions + (13. März 2007)
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (24. Mai 2007)
- A revised evaluation framework for region of interest detectors using artificial 3d-scenes + (24. Mai 2007)
- θ-subsumption algorithms + (29. Oktober 2007)
- Hybrid Logic in the Calculus Structures + (2008)
- Kamerabasierte personenortung + (10. November 2008)
- Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung + (1. Mai 2009)
- Decidability of Reasoning under the Well-Founded Semantics + (2010)
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben + (2010)
- Learning in the context of a formal calculus for the boolean satisfiability problem. + (2010)
- Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing + (2010)
- Memory Hierarchy Utilization of a SAT Solver + (31. März 2010)
- An Integrative Approach to Object Recognition in VSLAM + (15. September 2010)
- Human reasoning and abduction + (29. 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)
- Faktorisierung von natürlichen zahlen als sat-problem + (2014)
- Solving Product Configuration Problems using Non-standard Reasoning Services + (1. April 2014)
- Planning problems in Petri Nets and Fluent Calculus + (4. April 2014)
- Increasing the Robustness of SAT Solving with Machine Learning Techniques + (21. April 2014)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (30. Mai 2014)
- Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik + (1. Juni 2014)
- Intertranslatability of Labeling-Based Argumentation Semantics + (2. Juni 2014)
- Automated Reasoning Support for Process Models using Action Languages + (28. September 2014)
- Iterative Ontology Update with Minimum Change + (1. Oktober 2014)
- Grounded Circumscription in Description Logics + (15. Oktober 2014)
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks + (6. März 2015)
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata + (8. Juni 2015)
- Navigation Approaches for Answer Sets + (26. Juni 2015)
- On the Computation of Naive-based Argumentation Semantics + (8. September 2015)
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols + (1. Oktober 2015)
- Combining Belief Revision and Abstract Dialectical Frameworks + (11. Februar 2016)
- Encoding Belief Revision Operators in Abstract Dialectical Frameworks + (11. Februar 2016)
- Solving Angry Birds with Reinforcement Learning + (11. Oktober 2016)
- Solving Angry Birds with Reinforcement Learning + (11. Oktober 2016)
- Präprozessortechniken für Pseudo-Boolean-Constraints + (7. November 2016)
- Monadic Reasoning with Weak Completion Semantics + (2017)
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics + (2017)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (1. April 2020)