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

• ICCL auf der Langen Nacht der Wissenschaften  + (July 2, 2015)
• Framework for the Specification and Execution of parallel Clustering Algorithms  + (14:50:00, 13 July 2015)
• What makes modern SAT Solvers work that well  + (14:50:00, 20 July 2015)
• ICCL-Forscher erhalten Auszeichnung auf weltgrößter Konferenz für Künstliche Intelligenz  + (August 3, 2015)
• Reasonable Highly Expressive Query Languages  + (14:50:00, 3 August 2015)
• Temporal Query Answering in EL  + (14:50:00, 10 August 2015)
• Membership Constraints in Formal Concept Analysis  + (14:50:00, 17 August 2015)
• Characterization of the Expressivity of Existential Rule Queries  + (14:50:00, 24 August 2015)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (14:50:00, 31 August 2015)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (14:50:00, 7 September 2015)
• ICCL Summer School 2015  + (09:00:00, 13 September 2015)
• Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance  + (September 17, 2015)
• 38th German Conference on Artificial Intelligence  + (08:00:00, 21 September 2015)
• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (08:00:00, 21 September 2015)
• Solving Problems Exponentially Faster: Implementing a Nondeterministic Universal Turing Machine Using DNA  + (13:30:00, 28 September 2015)
• NextClosures: Parallel Computation of the Canonical Base  + (15:00:00, 5 October 2015)
• Mitarbeiter der Wissensverarbeitung entwickeln Weltspitze-Werkzeuge für Generische Problemlöser  + (October 9, 2015)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (14:50:00, 12 October 2015)
• On the Satisfiability of Temporal Logics with Concrete Domains  + (November 4, 2015)
• Intertranslatability of Labeling-based Argumentation Semantics  + (13:30:00, 19 November 2015)
• Quantitative Versions of the Chomsky-Schützenberger Theorem  + (13:45:00, 3 December 2015)
• Similarity search in metric spaces: New indexing techniques for similarity search in metric spaces  + (13:30:00, 10 December 2015)
• Introducing Existential Rules and Module Extraction  + (13:30:00, 17 December 2015)
• On Computing Explanations in Argumentation  + (13:40:00, 4 February 2016)
• EMCL Best Master Thesis Award 2015  + (February 14, 2016)

• 11. EMCL Workshop  + (February 18, 2016)

• Enabling Fine-grained RDF Data Completeness Assessment  + (13:30:00, 18 February 2016)
• On Mono- and Multilingual Word embeddings for NLP  + (13:30:00, 25 February 2016)
• Explaining neural network reasoning  + (13:30:00, 3 March 2016)
• Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata  + (14:50:00, 7 March 2016)
• Markus Krötzsch erhält wichtigsten deutschen Nachwuchspreis  + (March 22, 2016)
• Fixed-Domain Reasoning for Description Logics  + (14:50:00, 20 April 2016)
• Uniform Interpolation for Expressive Description Logics  + (13:30:00, 26 April 2016)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (14:50:00, 27 April 2016)
• Universality Results for Spiking Neural P Systems with Cooperating Rules  + (14:50:00, 4 May 2016)
• Adding Threshold Concepts to the Description Logic EL  + (14:50:00, 11 May 2016)
• Inconsistency Handling in Ontology-Mediated Query Answering  + (13:30:00, 12 May 2016)
• Satisfiability of temporal logics with concrete domain  + (14:50:00, 25 May 2016)
• The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics  + (14:50:00, 1 June 2016)
• Constraint Propagation and Pebble Games  + (13:15:00, 3 June 2016)
• HUGS – A Lightweight Graph Partitioning Approach  + (14:50:00, 8 June 2016)
• Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition  + (13:30:00, 10 June 2016)
• Mining DL ontologies  + (10:00:00, 15 June 2016)
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis  + (14:50:00, 15 June 2016)
• ICCL mit vier Papieren bei ECAI vertreten  + (June 22, 2016)
• SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge  + (14:50:00, 22 June 2016)
• On the Complexity of Universality for Partially Ordered NFAs  + (14:50:00, 6 July 2016)
• Pattern-based ontology modeling and some of its implications for Description Logics research  + (14:50:00, 13 July 2016)
• Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung  + (July 28, 2016)
• Learning Description Logic Ontologies via Queries  + (14:50:00, 31 August 2016)
• Ontology Evolution trough Interaction  + (15:00:00, 5 September 2016)