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

• Das Bewerbungsportal für das internationale MSc Program in Computational Logic öffnet am 1. April 2015.  + (March 12, 2015)
• Chile – A Trip Report  + (14:50:00, 13 April 2015)
• Grounded Circumscription in Description Logics  + (15:00:00, 15 April 2015)
• ICCL mit gleich sieben Papieren bei IJCAI vertreten  + (April 19, 2015)
• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics  + (14:50:00, 20 April 2015)
• ASPARTIX-D Ready for the Competition  + (14:50:00, 4 May 2015)
• Modeling Concept Learning Problems with Second-Order Description Logics  + (14:50:00, 11 May 2015)
• Learning in Fuzzy Description Logics  + (10:00:00, 13 May 2015)
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems  + (17:00:00, 13 May 2015)
• Answering Temporal Conjunctive Queries over DL Ontologies  + (14:50:00, 18 May 2015)
• Ontology-Driven Software Development in the Context of the Semantic Web (Project Thesis)  + (09:20:00, 20 May 2015)
• DFG bewilligt zweite Förderphase für SFB 912 „Highly Adaptive Energy-Efficient Computing“ (HAEC)  + (May 22, 2015)
• Finding p-indecomposable Functions  + (14:50:00, 1 June 2015)
• From Classical to Consistent Query Answering under Existential Rules  + (14:50:00, 15 June 2015)
• 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)

• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (08:00:00, 21 September 2015)
• 38th German Conference on Artificial Intelligence  + (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)