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

Foundations of instance level updates in expressive description logics + (Foundations of instance level updates in expressive description logics)
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies + (Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies)
Foundations of probability-raising causality in Markov decision processes + (Foundations of probability-raising causality in Markov decision processes)
Framework for the Specification and Execution of parallel Clustering Algorithms + (Framework for the Specification and Execution of parallel Clustering Algorithms)
Framework for the Specification and Execution of parallel Clustering Algorithms + (Framework for the Specification and Execution of parallel Clustering Algorithms)
Francesco Kriegel + (Francesco Kriegel)
Francesco Kriegel + (Francesco Kriegel)
Francisco Martín-Recuerda + (Francisco Martín-Recuerda)
Francisco Martín-Recuerda + (Francisco Martín-Recuerda)
Franz Baader + (Franz Baader)
Franz Baader + (Franz Baader)
Franz J. Kurfess + (Franz J. Kurfess)
Franz J. Kurfess + (Franz J. Kurfess)
Franziska Krüger + (Franziska Krüger)
Franziska Krüger + (Franziska Krüger)
Fredo Erxleben + (Fredo Erxleben)
Fredo Erxleben + (Fredo Erxleben)
Free University of Bozen-Bolzano + (Free University of Bozen-Bolzano)
Free University of Bozen-Bolzano + (Free University of Bozen-Bolzano)
Frequently Asked Questions + (Frequently Asked Questions)
From Classical to Consistent Query Answering under Existential Rules + (From Classical to Consistent Query Answering under Existential Rules)
From Classical to Consistent Query Answering under Existential Rules + (From Classical to Consistent Query Answering under Existential Rules)
From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK + (From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK)

From Display to Labelled Proofs for Tense Logics + (From Display to Labelled Proofs for Tense Logics)

From EL to Tractable Existential Rules with Complex Role Inclusions + (From EL to Tractable Existential Rules with Complex Role Inclusions)
From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata + (From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata)
From Features to Roles + (From Features to Roles)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) + (From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar))
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
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)