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
- Logische Programmierung und Argumentation + (Logic Programming and Argumentation)
- Modal- und Temporallogiken + (Modal and Temporal Logics)
- Multiagentensysteme + (Multi-agent systems)
- Verstehen natürlicher Sprache + (Natural-Language Understanding)
- Nichtmonotones Schließen + (Non-Monotonic Reasoning)
- Beweistheorie + (Proof Theory)
- Regelbasiertes Schließen + (Rule-Based Reasoning)
- Semantische Technologien + (Semantic Technologies)
