Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)