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

• A Scalable Analysis Framework for Large-scale RDF Data  + (August 7, 2014)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (September 9, 2014)
• Augmenting human cognition in collaborative knowledge collections  + (11:05:00, 17 October 2014)
• Neues Online-Portal des International Center for Computational Logic geht ans Netz  + (October 25, 2014)
• Introducing a Semantic Web Portal for Everyone (in Logic) (at TU Dresden)  + (14:50:00, 27 October 2014)
• Logic for Database Systems Implementation  + (14:50:00, 3 November 2014)
• Containment of Monadic Datalog  + (13:30:00, 4 November 2014)
• Past, Current and Future Trends in Description Logic  + (14:50:00, 17 November 2014)
• Two-Dimensional Description Logics of Context  + (09:20:00, 26 November 2014)
• Explaining Answer Sets using Argumentation Theory  + (15:00:00, 28 November 2014)
• Towards Next Generation Sequential and Parallel SAT Solvers  + (December 1, 2014)
• News about Reasoning with Bit-Vectors  + (10:00:00, 1 December 2014)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (16:30:00, 4 December 2014)
• Visualization and navigation paradigms for triadic formal concept analysis  + (14:50:00, 8 December 2014)
• Relbacoess  + (10:30:00, 12 January 2015)
• Graph Structure and Monadic Second-Order Logic  + (14:50:00, 19 January 2015)
• Journal of Web Semantics erbittet Einreichungen zum Thema "Knowledge Graphs"  + (January 24, 2015)
• Querying Probabilistic Ontologies  + (14:50:00, 26 January 2015)
• Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online  + (January 30, 2015)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (15:30:00, 30 January 2015)
• Verifying Temporal Properties of Biological Systems  + (14:50:00, 2 February 2015)
• Introducing the Gitlab installation on https://iccl-share.inf.tu-dresden.de  + (14:50:00, 9 February 2015)

• 38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden  + (March 2, 2015)

• 29th Workshop on (Constraint) Logic Programming (WLP 2015)  + (March 9, 2015)
• 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)