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
- 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)
- Analyse und Implementierung der scf2 Argumentation Semantik + (1. Juli 2020)
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods + (1. Juli 2020)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (1. Oktober 2020)
- Chase-Based Computation of Cores for Existential Rules + (1. April 2021)
- Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten + (1. April 2021)
- Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation + (20. April 2022)
- Scheduling Complex Oral Exams in Answer Set Programming + (12. Dezember 2023)
