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

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