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

• 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)
• Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications  + (M.)
• Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies  + (M.)
• Development of Objective Functions for Soft Computing in Medical Applications  + (M.)
• Multimedia Technology in Medical Training  + (M.)
• Indexing Medical Abstract Databases  + (M.)
• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (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)
• 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)

• 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)
• A Formal Theory of Justifications  + (Marc)
• Deductive Joint Support for Rational Unrestricted Rebuttal  + (Marcos)
• Bridging the Application Knowledge Gap  + (Marcus)
• Reduction Methods for Probabilistic Model Checking  + (Marcus)
• Partial Order Reduction for Markov Decision Processes: A Survey  + (Marcus)
• Partial Order Reduction for Markov Decision Processes: A Survey  + (Marcus)
• On reduction criteria for probabilistic reward models  + (Marcus)
• The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware  + (Marcus)
• An Introduction to Ontology-Based Query Answering with Existential Rules  + (Marie-Laure)
• On the complexity of entailment in existential conjunctive first-order logic with atomic negation  + (Marie-Laure)
• Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers  + (Marijn J.H.)
• Incremental Fuzzy Decision Trees  + (Marina)
• Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction  + (Marina M.)
• Fuzzy Answer Sets Approximations  + (Mario)
• Boolean Functions with Ordered Domains in Answer Set Programming  + (Mario)
• Compositional Semantics of an Actor-Based Language Using Constraint Automata  + (Marjan)
• Generalized Ultrametric Spaces in Quantitative Domain Theory  + (Markus)
• Semantic Wikipedia  + (Markus)
• D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes)  + (Markus)