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

• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (Solving language equations and disequations with applications to disunification in description logics and monadic set constraints)
• Solving school time tables with SAT  + (Solving school time tables with SAT)
• Solving the All-Interval Series Problem: SAT vs CP  + (Solving the All-Interval Series Problem: SAT vs CP)
• Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams  + (Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams)
• Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams  + (Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams)
• Some Complexity Results about Essential Closed Sets  + (Some Complexity Results about Essential Closed Sets)
• Some Computational Problems Related to Pseudo-intents  + (Some Computational Problems Related to Pseudo-intents)
• Some Computational Problems Related to Pseudo-intents  + (Some Computational Problems Related to Pseudo-intents)
• Some Experimental Results on Randomly Generating Formal Contexts  + (Some Experimental Results on Randomly Generating Formal Contexts)
• Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods  + (Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods)
• Some Notes on Managing Closure Operators  + (Some Notes on Managing Closure Operators)
• Some Notes on Pseudo-closed Sets  + (Some Notes on Pseudo-closed Sets)
• 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)