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

Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems + (Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems)
Some advances in tools and algorithms for the construction and analysis of systems + (Some advances in tools and algorithms for the construction and analysis of systems)
Sommer der Logik: Dresdner Forscher feiern Erfolge beim größten Logikertreffen aller Zeiten + (Sommer der Logik: Dresdner Forscher feiern Erfolge beim größten Logikertreffen aller Zeiten)
Sonic—Non-standard Inferences go OilEd + (Sonic—Non-standard Inferences go OilEd)
Sonic—System Description + (Sonic—System Description)
Sound Statistical Model Checking for Probabilities and Expected Rewards + (Sound Statistical Model Checking for Probabilities and Expected Rewards)
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules + (Sound, Complete and Minimal UCQ-Rewriting for Existential Rules)
Sound, Complete, and Minimal Query Rewriting for Existential Rules + (Sound, Complete, and Minimal Query Rewriting for Existential Rules)
Soundness of Inprocessing in Clause Sharing SAT Solvers + (Soundness of Inprocessing in Clause Sharing SAT Solvers)
SparrowToRiss + (SparrowToRiss)
Spatial concepts - a rule exploration + (Spatial concepts - a rule exploration)
Special Issue ArgLP 2016 + (Special Issue ArgLP 2016)
Special ``TACAS'15 issue + (Special ``TACAS'15 issue)
Specification of a common framework for characterizing alignment + (Specification of a common framework for characterizing alignment)
Speeding up Approximation with Nicer Concepts + (Speeding up Approximation with Nicer Concepts)
Spinoza's Ontology + (Spinoza's Ontology)
Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme + (Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme)
Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme + (Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme)
Stage semantics and the SCC-recursive schema for argumentation semantics + (Stage semantics and the SCC-recursive schema for argumentation semantics)
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata + (Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata)
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata + (Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata)
Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben + (Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben)
Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben + (Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben)
Standpoint Linear Temporal Logic + (Standpoint Linear Temporal Logic)
Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information)
Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information)

Standpoint Logic: Multi-Perspective Knowledge Representation + (Standpoint Logic: Multi-Perspective Knowledge Representation)
Standpoint Logic: Multi-Perspective Knowledge Representation + (Standpoint Logic: Multi-Perspective Knowledge Representation)
Standpoint Logic: Multi-Perspective Knowledge Representation + (Standpoint Logic: Multi-Perspective Knowledge Representation)

Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy + (Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy)
Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy + (Standpoint logic: a multi-modal logic for reasoning within semantic indeterminacy)
State Complexity of Projected Languages + (State Complexity of Projected Languages)
State Defaults and Ramifications in the Unifying Action Calculus + (State Defaults and Ramifications in the Unifying Action Calculus)
Static Partial Order Reduction for Probabilistic Concurrent Systems + (Static Partial Order Reduction for Probabilistic Concurrent Systems)
Static Program Analysis in Datalog + (Static Program Analysis in Datalog)
Static Program Analysis in Datalog + (Static Program Analysis in Datalog)
Statistical EL is ExpTime-complete + (Statistical EL is ExpTime-complete)
Statistics for Knowledge Graph Modelling + (Statistics for Knowledge Graph Modelling)
Status QIO: Conjunctive Query Entailment is Decidable + (Status QIO: Conjunctive Query Entailment is Decidable)
Stefan Borgwardt + (Stefan Borgwardt)
Stefan Borgwardt + (Stefan Borgwardt)
Stefan Ellmauthaler + (Stefan Ellmauthaler)
Stefan Ellmauthaler + (Stefan Ellmauthaler)
Stephan Böhme + (Stephan Böhme)
Stephan Böhme + (Stephan Böhme)
Stephan Mennicke + (Stephan Mennicke)
Stephan Mennicke + (Stephan Mennicke)
Stochastic Game Logic + (Stochastic Game Logic)
Stochastic Game Logic + (Stochastic Game Logic)
Stochastic Reasoning About Channel-Based Component Connectors + (Stochastic Reasoning About Channel-Based Component Connectors)
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes + (Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes)
Stochastic Timed Automata + (Stochastic Timed Automata)
Stochastic transition systems: bisimulation, logic, and composition + (Stochastic transition systems: bisimulation, logic, and composition)