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

• 17. WLP - Workshop Logische Programmierung  + (09:00:00, 11 December 2002)

• Deep Inference and Symmetry in Classical Proofs  + (2003)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (2003)
• Planen im Fluentkalkül mit binären Entscheidungsdiagrammen  + (2005)
• ICCL Summer School 2005  + (00:00:00, 2 July 2005)
• Nondeterminism and Language Design in Deep Inference  + (2006)
• ICCL Summer School 2006  + (00:00:00, 24 June 2006)
• Deep Inference Christmas Meeting 2007  + (09:00:00, 19 December 2007)
• The 21st International Workshop on Description Logics 2008  + (10:00:00, 13 May 2008)
• ICCL Summer School 2008  + (00:00:00, 24 August 2008)
• 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  + (16:00:00, 28 September 2008)
• 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  + (09:00:00, 29 September 2008)
• 22nd Workshop on (Constraint) Logic Programming 2008  + (10:00:00, 30 September 2008)
• Neural-Symbolic Integration  + (2009)
• ICCL Summer School 2010  + (00:00:00, 29 August 2010)
• EMCL Student Workshop Summer 2010  + (09:30:00, 9 September 2010)
• Description Logic Rules  + (September 11, 2010)
• EPCL PhD Workshop 2012  + (10:00:00, 11 July 2012)
• A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation  + (March 4, 2013)
• EPCL PhD Workshop  + (10:00:00, 1 July 2013)
• ICCL Summer School 2013  + (00:00:00, 18 August 2013)
• EPCL PhD Workshop 2014  + (10:00:00, 14 April 2014)
• Sommer der Logik: Dresdner Forscher feiern Erfolge beim größten Logikertreffen aller Zeiten  + (July 28, 2014)
• 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)