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

From Linear Proofs to Direct Logic with Exponentials + (From Linear Proofs to Direct Logic with Exponentials)
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (From Logic Programming to Human Reasoning: How to be Artificially Human (abstract))
From Logic Programming to Human Reasoning: How to be Artificially Human + (From Logic Programming to Human Reasoning: How to be Artificially Human)
From Logic Programs to Iterated Function Systems + (From Logic Programs to Iterated Function Systems)
From Logic Programs to Iterated Function Systems + (From Logic Programs to Iterated Function Systems)
From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Verification to Causality-Based Explications + (From Verification to Causality-Based Explications)
From Verification to Synthesis under Cost-Utility Constraints + (From Verification to Synthesis under Cost-Utility Constraints)
From the Calculus of Structures to Term Rewriting Systems + (From the Calculus of Structures to Term Rewriting Systems)
Frontiers of Combining Systems + (Frontiers of Combining Systems)
Functional models and Data Complexity for FL0 + (Functional models and Data Complexity for FL0)
Functional models and Data Complexity for FL0 + (Functional models and Data Complexity for FL0)
Fusions of Description Logics + (Fusions of Description Logics)
Fusions of Description Logics and Abstract Description Systems + (Fusions of Description Logics and Abstract Description Systems)
Fuzzy Answer Sets Approximations + (Fuzzy Answer Sets Approximations)
Fuzzy Conceptual Knowledge Processing + (Fuzzy Conceptual Knowledge Processing)
Fuzzy DLs over Finite Lattices with Nominals + (Fuzzy DLs over Finite Lattices with Nominals)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)
Fuzzy Description Logic + (Fuzzy Description Logic)

Fuzzy Informationsverarbeitung + (Fuzzy Informationsverarbeitung)
Fuzzy Informationsverarbeitung + (Fuzzy Informationsverarbeitung)

Fuzzy Ontologies over Lattices with T-norms + (Fuzzy Ontologies over Lattices with T-norms)
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine + (Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine)
Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies + (Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies)
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable + (GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable)
GPTKB: Comprehensively Materializing Factual LLM Knowledge + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
GPTKB: Comprehensively Materializing Factual LLM Knowledge + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
GSAT versus Simulated Annealing + (GSAT versus Simulated Annealing)
General A- and AX-Unification via Optimized Combination Procedures + (General A- and AX-Unification via Optimized Combination Procedures)
General A- and AX-Unification via Optimized Combination Procedures + (General A- and AX-Unification via Optimized Combination Procedures)
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract))
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report))
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
General Concept Inclusions with High Confidence in Finite Interpretations + (General Concept Inclusions with High Confidence in Finite Interpretations)
General Course Program + (General Course Program)
Generalized Consistent Query Answering under Existential Rules + (Generalized Consistent Query Answering under Existential Rules)
Generalized Consistent Query Answering under Existential Rules + (Generalized Consistent Query Answering under Existential Rules)
Generalized Domain-Range Restrictions + (Generalized Domain-Range Restrictions)
Generalized Metrics and Uniquely Determined Logic Programs + (Generalized Metrics and Uniquely Determined Logic Programs)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
Generalizing multi-context systems for reactive stream reasoning applications + (Generalizing multi-context systems for reactive stream reasoning applications)