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

• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Jens)
• A Hardware/Software Stack for Heterogeneous Systems  + (Jeronimo)
• From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK  + (Jianmin)
• Implementing Default and Autoepistemic Logics via the Logic of GK  + (Jianmin)
• Evaluation of Extraction Techniques for Ontology Excerpts  + (Jieying)
• Compositional Synthesis and Most General Controllers  + (Joachim)
• Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic  + (Joachim)
• Experiments with deterministic $ømega$-automata for formulas of linear temporal logic  + (Joachim)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (Joachim)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (Joachim)
• Are Good-for-Games Automata Good for Probabilistic Model Checking?  + (Joachim)
• Compositional Construction of Most General Controllers  + (Joachim)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (Joachim)
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata  + (Joachim)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (Johanna)
• Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement  + (Johanna)
• Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing  + (Johannes)
• Linear context-free tree languages and inverse homomorphisms  + (Johannes)
• Linear Context-Free Tree Languages and Inverse Homomorphisms  + (Johannes)
• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (Johannes Klaus)
• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (Johannes Klaus)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Johannes Klaus)
• Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)  + (Johannes Klaus)
• Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)  + (Johannes Klaus)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Johannes Klaus)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Johannes Klaus)

• A Modified Supervaluationist Framework for Decision-Making  + (Jonas)
• Second-order Confidence in Supervaluationism  + (Jonas)
• Taming Dilation in Imprecise Pooling  + (Jonas)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (Jonas)
• To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence  + (Jonas)
• Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem  + (Jonas)

• Metric semantics for true concurrent real time  + (Joost-Pieter)
• Towards an FCA-based Recommender System for Black-Box Optimization  + (Josefine)
• Concept lattices with negative information: A characterization theorem  + (José Manuel)
• A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning  + (Julia)
• Reintroducing CEL as an OWL 2 EL Reasoner  + (Julian)
• Implementing completion-based inferences for the el-family  + (Julian)
• jcel: A Modular Rule-based Reasoner  + (Julian)
• Counterfactual Causality for Reachability and Safety based on Distance Functions  + (Julie)
• Decision making improves sperm chemotaxis in the presence of noise  + (Justus A.)
• Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik  + (Jörg)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (Jörg)
• LATPub37  + (Jörn)
• Symbolic Reasoning with Weighted and Normalized Decision Diagrams  + (Jörn)
• A uniform framework for weighted decision diagrams and its implementation  + (Jörn)
• More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation  + (Jürgen)
• On restricted context-free grammars  + (Jürgen)
• HyperMed: A Hypermedia System for Anatomical Education  + (K.)
• Parallel Variable Elimination on CNF Formulas  + (K.)
• A Local System for Classical Logic  + (Kai)
• A Finitary System for First Order Logic  + (Kai)
• Two Restrictions on Contraction  + (Kai)
• A First Order System with Finite Choice of Premises  + (Kai)