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