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

• Knowledge Graphs  + (9. Rules for Querying Graphs)
• Database Theory  + (9. Semi-Positive Datalog)
• Database Theory  + (9. Semi-Positive Datalog)
• Database Theory  + (9. Semi-Positive Datalog)
• Formale Systeme  + (9. Vorlesung: Minimale Automaten (2))
• Theoretische Informatik und Logik  + (9. Vorlesung: NP und NP-Vollständigkeit)
• Theoretische Informatik und Logik  + (9. Vorlesung: NP und NP-Vollständigkeit)
• Formale Systeme  + (9. Übungsblatt)
• Theoretische Informatik und Logik  + (9. Übungsblatt)
• Formale Systeme  + (9. Übungsblatt)
• Theoretische Informatik und Logik  + (9. Übungsblatt)
• Formale Systeme  + (9. Übungsblatt)
• ???  + (???)
• A "Converse" of the Banach Contraction Mapping Theorem  + (A "Converse" of the Banach Contraction Mapping Theorem)
• A Behavioral Characterization of Computational Systems  + (A Behavioral Characterization of Computational Systems)
• A Benchmark Framework for a Computational Argumentation Competition  + (A Benchmark Framework for a Computational Argumentation Competition)
• A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies  + (A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies)
• A Brief Introduction to Formal Concept Analysis  + (A Brief Introduction to Formal Concept Analysis)
• A Calculus of Order and Interaction  + (A Calculus of Order and Interaction)
• A Calculus of Order and Interaction  + (A Calculus of Order and Interaction)
• A Categorical Characterization of Consistency Results  + (A Categorical Characterization of Consistency Results)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (A Chomsky-Schützenberger Theorem for Weighted Automata with Storage)
• A Closer Look at the Semantic Relationship between Datalog and Description Logics  + (A Closer Look at the Semantic Relationship between Datalog and Description Logics)
• A Compact Encoding of Pseudo-Boolean Constraints into SAT  + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)
• A Compact Encoding of Pseudo-Boolean Constraints into SAT  + (A Compact Encoding of Pseudo-Boolean Constraints into SAT)

• A Compositional Framework for Controller Synthesis  + (A Compositional Framework for Controller Synthesis)

• A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation  + (A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation)
• A Computational Logic Approach to Human Reasoning  + (A Computational Logic Approach to Human Reasoning)
• A Computational Logic Approach to Syllogisms in Human Reasoning  + (A Computational Logic Approach to Syllogisms in Human Reasoning)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (A Computational Logic Approach to the Abstract and the Social Case of the Selection Task)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (A Computational Logic Approach to the Abstract and the Social Case of the Selection Task)
• A Computational Logic Approach to the Belief Bias Effect  + (A Computational Logic Approach to the Belief Bias Effect)
• A Computational Logic Approach to the Suppression Task  + (A Computational Logic Approach to the Suppression Task)
• A Computational Logic Approach to the Suppression Task  + (A Computational Logic Approach to the Suppression Task)
• A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning  + (A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning)
• A Concept Language Extended with Different Kinds of Transitive Roles  + (A Concept Language Extended with Different Kinds of Transitive Roles)
• A Concept Language for an engeneering application with part-whole relations  + (A Concept Language for an engeneering application with part-whole relations)
• A Conceptual Foundation for Autonomous Learning in Unforeseen Situations  + (A Conceptual Foundation for Autonomous Learning in Unforeseen Situations)
• A Core Method for the Weak Completion Semantics with Skeptical Abduction  + (A Core Method for the Weak Completion Semantics with Skeptical Abduction)
• A Correspondance between Temporal Description Logics  + (A Correspondance between Temporal Description Logics)
• A Correspondence between Temporal Description Logics  + (A Correspondence between Temporal Description Logics)
• A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report  + (A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report)
• A Data Warehouse Conceptual Data Model for Multidimensional Aggregation  + (A Data Warehouse Conceptual Data Model for Multidimensional Aggregation)
• A Data-Driven Graph Schema  + (A Data-Driven Graph Schema)
• A Database Approach for Modeling and Querying Video Data  + (A Database Approach for Modeling and Querying Video Data)
• A Database Approach for Modeling and Querying Video Data  + (A Database Approach for Modeling and Querying Video Data)
• A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic  + (A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms)
• A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams  + (A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams)
• A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions  + (A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions)
• A Description Logic Based Approach to Reasoning about Web Services  + (A Description Logic Based Approach to Reasoning about Web Services)