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

• 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)