Search by property
From International Center for Computational Logic
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
- Classification of the finite polymorphism-homogeneous tournaments with loops + (13:00:00, 23 August 2018)
- Weighted Model Counting on the GPU by Exploiting Small Treewidth + (13:00:00, 30 August 2018)
- Faceted Answer-Set Navigation + (13:00:00, 6 September 2018)
- Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic + (13:00:00, 20 September 2018)
- Extending Matching in Description Logics + (13:00:00, 27 September 2018)
- Report on research visit to NRC + (13:00:00, 4 October 2018)
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (13:00:00, 11 October 2018)
- Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference + (October 14, 2018)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (13:00:00, 18 October 2018)
- Making Repairs in Description Logics More Gentle + (13:30:00, 18 October 2018)
- Ontological Modelling in Wikidata + (13:00:00, 25 October 2018)
- Temporal constraint satisfaction problems in least fixed point logic + (13:00:00, 1 November 2018)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (13:00:00, 8 November 2018)
- Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata + (13:00:00, 15 November 2018)
- Extending Datalog with Sets Using an Encoding in Existential Rules + (13:00:00, 26 November 2018)
- Big Data Variety: On-Demand Data Integration + (14:50:00, 26 November 2018)
- Satisfiability in the Triguarded Fragment of First-Order Logic + (13:00:00, 29 November 2018)
- Embodied Terminology: Language, Knowledge, and Cognition + (13:00:00, 6 December 2018)
- Privacy-Preserving Ontology Publishing for EL Instance Stores + (13:00:00, 10 January 2019)
- Bewerbungen für das Programm "International MSc Program in Computational Logic" bis 31.05. / 15.07.2019 + (January 15, 2019)
- Ontology-Based Query Answering for Probabilistic Temporal Data + (13:00:00, 17 January 2019)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (09:30:00, 23 January 2019)
- Knowledge Graph Embedding + (13:00:00, 7 February 2019)
- Temporal Logics with Probabilistic Distributions + (13:00:00, 28 March 2019)
- Third Workshop on Human Reasoning and Computational Logic + (09:00:00, 4 April 2019)
- Making sense of conflicting defeasible rules in the controlled natural language ACE: design of a system with support for existential quantification using skolemization + (13:00:00, 4 April 2019)
- Beyond NP Revolution + (13:30:00, 9 April 2019)
- The Power of the Terminating Chase + (13:00:00, 11 April 2019)
- Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies + (13:00:00, 18 April 2019)
- Data Science Use Cases for Lifestyle Banking + (13:00:00, 25 April 2019)
- Quine's Fluted Fragment + (13:00:00, 9 May 2019)
- Explorations into Belief State Compression + (13:30:00, 28 May 2019)
- Projection in a Description Logic of Context with Actions + (13:00:00, 6 June 2019)
- Discovering Implicational Knowledge in Wikidata + (13:00:00, 13 June 2019)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (13:30:00, 13 June 2019)
- Introduction to p-adic numbers and analysis + (13:30:00, 10 July 2019)
- Epistemic Answer Set Programming + (13:00:00, 11 July 2019)
- Automatic Extraction of Compositional Matrix-Space Models of Language + (11:00:00, 15 July 2019)
- Reasoning about disclosure in data integration in the presence of source constraints + (13:00:00, 18 July 2019)
- Extending EL++ with Linear Constraints on the Probability of Axioms + (13:30:00, 23 July 2019)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (13:00:00, 30 July 2019)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (13:00:00, 1 August 2019)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (13:00:00, 29 August 2019)
- Neuer Mitarbeiter: M.Sc. Ali Elhalawati + (September 1, 2019)
- Markus Krötzsch gab einen Kurs bei der EDBT Summer School + (September 3, 2019)
- Mixing Description Logics in Privacy-Preserving Ontology Publishing + (13:00:00, 5 September 2019)
- A gentle introduction to partition width + (13:00:00, 12 September 2019)
- Automatic translation of clinical trial eligibility criteria into formal queries + (13:00:00, 16 September 2019)
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (00:00:00, 17 September 2019)
- A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications + (13:00:00, 20 September 2019)
- Vice World Champion in the AI Birds Challenge! + (September 21, 2019)