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

• Weighted Automata with Storage  + (Luisa)
• Weighted automata with storage  + (Luisa)
• A Medvedev Characterization of Recognizable Tree Series  + (Luisa)
• Weighted Symbolic Automata with Data Storage  + (Luisa)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (Luisa)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (Luisa)
• Global One-Counter Tree Automata  + (Luisa)
• Non-Global Parikh Tree Automata  + (Luisa)
• Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules  + (Lukas)
• Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies  + (Lukas)
• Chase-Based Computation of Cores for Existential Rules  + (Lukas)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (Lukas)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)  + (Lukas)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (Lukas)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report)  + (Lukas)
• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)  + (Lukas)
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization  + (Lukas)
• For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Finite De­gree  + (Lukas)
• Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions  + (Lukas)
• System NEL is Undecidable  + (Lutz)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Lutz)
• The Undecidability of System NEL  + (Lutz)
• A Local System for Linear Logic  + (Lutz)
• MELL in the Calculus of Structures  + (Lutz)
• MELL in the Calculus of Structures  + (Lutz)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Lutz)
• A Computational Logic Approach to the Belief Bias Effect  + (Luís Moniz)
• Contextual Abductive Reasoning with Side-Effects  + (Luís Moniz)

• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (M.)
• Development of Objective Functions for Soft Computing in Medical Applications  + (M.)
• Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies  + (M.)
• Indexing Medical Abstract Databases  + (M.)
• Multimedia Technology in Medical Training  + (M.)
• Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications  + (M.)
• Quantitative Characterization of Reconfigurable Transistor Logic Gates  + (M.)

• A rule based data manipulation language for OLAP systems  + (M. S.)
• A Rule-Based Language for Ordered Multidimensional Databases  + (M. S.)
• A rule based data manipulation language for OLAP systems  + (M. S.)
• Representing and Reasoning on Conceptual Queries Over Image Databases  + (M.-S.)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Madalina)
• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (Madalina)
• Exclusivity-based allocation of knowledge  + (Madalina)
• Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  + (Madalina)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (Madalina)
• Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2  + (Magdalena)
• Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ  + (Magdalena)
• Complexity of Planning in Action Formalisms Based on Description Logics  + (Maja)
• Planning in Action Formalisms based on DLs: First Results  + (Maja)
• Completing Incomplete Bayesian Networks  + (Manfred)
• On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.  + (Manfred)
• PIT: A System for Reasoning with Probabilities.  + (Manfred)
• Probabilistic Aspects of Score Systems  + (Manfred)
• Probabilistic Aspects of Score Systems  + (Manfred)
• Completing Incomplete Bayesian Networks  + (Manfred)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (Manuel)
• On Logics and Homomorphism Closure  + (Manuel)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (Manuel)