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

• Bewerbungen für das internationale Masterprogramm "International MSc Program in Computational Logic"  + (January 5, 2017)
• Image schemas in computational concept invention  + (11:00:00, 5 January 2017)
• Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations  + (11:00:00, 19 January 2017)
• Semantic Search for Novel Information  + (11:30:00, 19 January 2017)
• Workshop on Human Reasoning and Computational Logic  + (09:00:00, 9 February 2017)
• EMCL Student Workshop 2017  + (14:00:00, 21 February 2017)
• Solving Angry Birds with Reinforcement Learning  + (11:00:00, 23 February 2017)
• Automata, Logic, Algebra... What do they have in common?  + (11:00:00, 2 March 2017)
• Decomposition of regular languages  + (11:00:00, 16 March 2017)
• Das Bewerbungsportal für den Studiengang "European Master's Program in Computational Logic" wurde am 31.05.2017 geschlossen.  + (March 27, 2017)
• Suche struktureller Ähnlichkeiten in großen Graphen  + (13:00:00, 13 April 2017)
• Selected Advances in Data Semantics  + (14:00:00, 18 April 2017)
• Restricted Chase (Non)Termination for Existential Rules with Disjunctions  + (13:00:00, 27 April 2017)
• Logic on MARS: Ontologies for Generalised Property Graphs  + (13:00:00, 4 May 2017)
• Revisiting Circumscription  + (13:00:00, 11 May 2017)
• Question Answering over Real-World Knowledge Graphs  + (13:00:00, 18 May 2017)
• Most Probable Explanations for Probabilistic Database Queries  + (13:00:00, 1 June 2017)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information  + (June 19, 2017)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (13:00:00, 22 June 2017)
• From Logic Programming to Human Reasoning: How to be Artificially Human  + (June 26, 2017)
• Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (13:00:00, 29 June 2017)
• Metric Temporal Description Logics with Interval-Rigid Names  + (13:00:00, 6 July 2017)
• Using Ontologies to Query Probabilistic Numerical Data  + (13:30:00, 6 July 2017)
• The Identity Problem in Description Logic Ontologies  + (13:00:00, 13 July 2017)
• Happy Birthday Steffen!  + (July 22, 2017)

• Advances in Abstract Argumentation - Expressiveness and Dynamics  + (13:00:00, 27 July 2017)

• Logical Foundations of Linked Data Anonymisation  + (14:00:00, 14 August 2017)
• Sebastian Rudolph gewinnt Angry-Birds-Wettbewerb  + (August 25, 2017)
• Dresdner Gutachter bei führender KI-Konferenz ausgezeichnet  + (August 26, 2017)
• Quantum Computing and the Limits of the Efficiently Computable  + (14:00:00, 28 August 2017)
• Monotone Monadic SNP 1: Classical Results and Applications  + (13:15:00, 1 September 2017)
• Monotone Monadic SNP 2: Proof of the Universal-algebraic Dichotomy Conjecture  + (13:45:00, 1 September 2017)
• Best Paper Award für Sebastian Rudolph und Lukas Schweizer  + (September 7, 2017)
• ICCL Summer School 'Bridging the Gap between Human and Automated Reasoning', September 18-29, 2017, Dresden  + (09:00:00, 18 September 2017)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (09:20:00, 12 October 2017)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (09:20:00, 19 October 2017)
• Context Reasoning for Role-Based Models  + (09:15:00, 27 October 2017)
• Verification of Golog Programs over Description Logic Actions  + (09:15:00, 2 November 2017)
• SQID: Reasonable Wikidata  + (09:20:00, 9 November 2017)
• Body-Mind-Language: Embodied Cognition in Natural Language  + (09:20:00, 23 November 2017)
• Sebastian Rudolph erhält ERC Consolidator Grant  + (November 27, 2017)
• Generalized Consistent Query Answering under Existential Rules  + (09:20:00, 30 November 2017)
• SOQE 2017: Workshop on Second-Order Quantifier Elimination and Related Topics  + (09:00:00, 6 December 2017)
• STEP by Step, towards Smart Services  + (09:20:00, 8 February 2018)
• 12. EMCL Workshop  + (09:00:00, 20 February 2018)
• VLog: A Column-oriented Rule-Based Engine  + (09:20:00, 22 February 2018)
• Notes on Computational Learning Theory and the problem of learning CNFs  + (09:20:00, 1 March 2018)
• Preserving Constraints with the Stable Chase  + (09:20:00, 8 March 2018)
• Functional models and Data Complexity for FL0  + (09:20:00, 15 March 2018)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (13:00:00, 5 April 2018)
• Second Workshop on Human Reasoning and Computational Logic  + (09:00:00, 10 April 2018)