Suche mittels Attribut

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)
• 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)
• Solving Angry Birds with Reinforcement Learning  + (23. Februar 2017)
• Präprozessortechniken für Pseudo-Boolean-Constraints  + (22. März 2017)
• Using (Deep) Reinforcement Learning To Play Angry Birds  + (26. September 2017)
• Justifications under the Fixed-Domain Semantics  + (28. September 2017)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (30. September 2020)
• Analyse und Implementierung der scf2 Argumentation Semantik  + (25. Februar 2021)
• Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods  + (27. Februar 2021)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (31. März 2021)
• Chase-Based Computation of Cores for Existential Rules  + (29. August 2021)
• Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten  + (9. Dezember 2021)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (5. Juli 2022)
• Scheduling Complex Oral Exams in Answer Set Programming  + (2. April 2024)