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

• Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions  + (Adam)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (Adam Z.)
• Data Complexity in the EL family of Description Logics  + (Adila)
• Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning  + (Adrian)
• SparrowToRiss  + (Adrian)
• CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies  + (Adrian)
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.  + (Adrian)
• Practical Linked Data Access via SPARQL: The Case of Wikidata  + (Adrian)
• Display to Labeled Proofs and Back Again for Tense Logics  + (Agata)
• Modern Cooperative Parallel SAT Solving  + (Ahmed)
• Search Space Splitting with Lookahead  + (Ahmed)
• A Theory of Hypothesis Finding in Clausal Logic  + (Akihiro)
• The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events  + (Aldo)
• A Description Logic of Change  + (Alessandro)

• A Calculus of Order and Interaction  + (Alessio)
• A Calculus of Order and Interaction  + (Alessio)
• A Non-commutative Extension of MELL  + (Alessio)
• A System of Interaction and Structure  + (Alessio)
• Non-commutativity and MELL in the Calculus of Structures  + (Alessio)
• The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference  + (Alessio)

• Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging  + (Alex)
• Reliance-Based Optimization of Existential Rule Reasoning  + (Alex)
• Nemo: First Glimpse of a New Rule Engine  + (Alex)
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit  + (Alex)
• Nemo: A Scalable and Versatile Datalog Engine  + (Alex)
• Self-Regulating Finite Automata  + (Alexander)
• HUGS - A Lightweight Graph Partitioning Approach  + (Alexander)
• Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems  + (Alexander)
• Asynchronous Graph Pattern Matching on Multiprocessor Systems  + (Alexander)
• Model Checking with Formula-Dependent Abstract Models  + (Alexander)
• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (Ali)
• Web-Mining Defeasible Knowledge from Concessional Statements  + (Alina)
• Properties of a Logical System in the Calculus of Structures  + (Alwen Fernanto)
• Combining A1- and AC1-Unification Sharing Unit  + (Alwen Fernanto)
• A1-Unification  + (Alwen Fernanto)
• An Ontology Design Pattern for Activity Reasoning  + (Amin)
• A computational logic approach to human syllogistic reasoning  + (Ana)
• Happy Ever After: Temporally Attributed Description Logics  + (Ana)
• Temporally Attributed Description Logics  + (Ana)
• Optimizations for the role-depth bounded least common subsumer in el+  + (Andreas)
• Role-depth Bounded Least Common Subsumers for EL+ and ELI  + (Andreas)
• Reasoning about Actions Meets Strategic Logics  + (Andreas)