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
- Semantic Characterizations of AGM Revision for Tarskian Logics + (Semantic Characterizations of AGM Revision for Tarskian Logics)
- Semantic Computing + (Semantic Computing)
- Semantic Computing + (Semantic Computing)
- Semantic Description of Distributed Business Processes + (Semantic Description of Distributed Business Processes)
- Semantic MediaWiki + (Semantic MediaWiki)
- Semantic MediaWiki + (Semantic MediaWiki)
- Semantic Modularity and Module Extraction in Description Logics + (Semantic Modularity and Module Extraction in Description Logics)
- Semantic Node-RED for rapid development of interoperable industrial IoT applications + (Semantic Node-RED for rapid development of interoperable industrial IoT applications)
- Semantic Operators and Fixed-Point Theory in Logic Programming + (Semantic Operators and Fixed-Point Theory in Logic Programming)
- Semantic Technologies (Swap and Transfer Workshops) + (Semantic Technologies (Swap and Transfer Workshops))
- Semantic Web - Grundlagen + (Semantic Web - Grundlagen)
- Quotation in Formal Logics and the Web + (Semantic Web and RDF)
- Semantic Wikipedia + (Semantic Wikipedia)
- Semantic Wikipedia + (Semantic Wikipedia)
- Semantic Wikipedia + (Semantic Wikipedia)
- Semantic Wikipedia (ESWC2006 demo) + (Semantic Wikipedia (ESWC2006 demo))
- Semantic Wikipedia (software demo) + (Semantic Wikipedia (software demo))
- Concurrency Theory + (Semantics of Programming Languages)
- Semantik, Linked Data, Web-Präsentation: Grundlagen der NachlasserschlieÃung im Portal www.pueckler-digital.de + (Semantik, Linked Data, Web-Präsentation: Grundlagen der NachlasserschlieÃung im Portal www.pueckler-digital.de)
- Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de + (Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de)
- Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs + (Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs)
- Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web + (Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web)
- Database Theory + (Semi-Positive Datalog)
- Database Theory + (Semi-Positive Datalog)
- Database Theory + (Semi-positive Datalog)
- Seminar "Learning in Description Logics" + (Seminar "Learning in Description Logics")
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Abstract Argumentation + (Seminar Abstract Argumentation)
- Seminar Data-Aware Processes + (Seminar Data-Aware Processes)
- Seminar Large Language Models and Knowledge-aware AI + (Seminar Large Language Models and Knowledge-aware AI)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Logic-Based Knowledge Representation + (Seminar Logic-Based Knowledge Representation)
- Seminar Practical Planning for Angry Birds + (Seminar Practical Planning for Angry Birds)
- Seminar Rule-Based Paradigms in KR + (Seminar Rule-Based Paradigms in KR)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics in Database Theory + (Seminar Selected Topics in Database Theory)
- Seminar Selected Topics of Computational Logic + (Seminar Selected Topics of Computational Logic)
- Seminar Selected Topics on Existential Rules + (Seminar Selected Topics on Existential Rules)
- Seminar Theoretical Computer Science + (Seminar Theoretical Computer Science)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" + (Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting")
- Seminar Theoretical Computer Science "Automata for Description Logics" + (Seminar Theoretical Computer Science "Automata for Description Logics")
- Seminar Theoretical Computer Science "Learning in Description logics" + (Seminar Theoretical Computer Science "Learning in Description logics")
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar “Selected Topics in Logic and Verification” + (Seminar “Selected Topics in Logic and Verification”)
- Seminar: Further Topics in Description Logics + (Seminar: Further Topics in Description Logics)
- Seminar: Knowledge Representation + (Seminar: Knowledge Representation)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
- Seminar: Logical Modelling + (Seminar: Logical Modelling)
