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

• Reusing Ontological Background Knowledge in Semantic Wikis  + (VrandecicKroetzsch-Semantic-Wiki-Reasoning-2006.pdf)
• On the Correspondence between Compositional Matrix-Space Models of Language and Weighted Automata  + (W16-2408.pdf)
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks  + (WHRP-ICCS2010.pdf)
• ATL is Indeed ExpTime-complete  + (WaLuWoWo-JLC06.pdf)
• Applying Triadic FCA in Studying Web Usage Behaviors  + (Web Usage Mining.pdf)
• Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection  + (Wernhard:11:TU-Dresden.pdf)
• Circumscription and Projection as Primitives of Logic Programming  + (Wernhard:2010:LP.pdf)
• Abduction in Logic Programming as Second-Order Quantifier Elimination  + (Wernhard:2013:AbductionExtended.pdf)
• Second-Order Characterizations of Definientia in Formula Classes  + (Wernhard:2014:DefClasses.pdf)
• Wikidata: a free collaborative knowledgebase  + (Wikidata-CACM-2014.pdf)
• Wikidata as a Cultural Heritage Information Hub  + (Wikidata-Europeana-AGM-2016.pdf)
• Introducing Wikidata to the Linked Data Web  + (Wikidata-RDF-export-2014.pdf)
• Getting the most out of Wikidata  + (Wikidata-SPARQL-Invited-Talk-Kroetzsch-Wiki-Workshop-2018.pdf)
• Practical Linked Data Access via SPARQL: The Case of Wikidata  + (Wikidata-SPARQL-queries-Bielefeldt-Gonsior-Kroetzsch-LDOW-2018.pdf)
• The New SQID: Improving Wikidata Made Easy  + (WikidataCon-SQID-Workshop2017.pdf)
• Wikipedia and the Semantic Web - The Missing Links  + (Wikipedia-missing-links-Wikimaina2005.pdf)
• Neural-Symbolic Integration – Constructive Approaches  + (Witzel:06:wv03.pdf)
• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (Wollic2022-paper-34.pdf)
• On the Ontological Modeling of Trees  + (Wop2017-trees.pdf)
• EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning  + (Www29-anicic.pdf)
• Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets  + (XiMa-ECAI-12.pdf)
• ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams  + (Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf)
• Neva – Extension Visualization for Argumentation Frameworks  + (YGR2020.pdf)
• Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics  + (YeLiLi-DL-12.pdf)
• Neural Machine Translating from Natural Language to SPARQL  + (Yin-gromann-rudolph-2020.pdf)

• On the Decidability of Verifying LTL Properties of Golog Programs  + (ZaCla-KRR14.pdf)

• On the Decidability of Verifying LTL Properties of Golog Programs  + (ZaCla-LTCS-13-10.pdf)
• Most Specific Generalizations w.r.t. General EL-TBoxes  + (ZaTu-IJCAI13.pdf)
• Most Specific Generalizations w.r.t. General EL-TBoxes  + (ZaTu-LTCS-13-06.pdf)
• Decidable Verification of Golog Programs over Non-Local Effect Actions  + (ZarriessClassenAAAI16.pdf)
• ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks  + (ai3 2023 cr manuscript.pdf)
• Modelling the Polysemy of Spatial Prepositions in Referring Expressions  + (alrb crc.pdf)
• Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)  + (arglpnmr2016-proceedings.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-0-publishing.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-01-searching.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-02-reading.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-03-more-reading.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-04-structure.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-05-structure-writing.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-06-writing-structure.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-07-writing-latex.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-08-advanced-latex.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-09-more-advanced-latex.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-10-presentations.pdf)
• Academic Skills in Computer Science  + (asics2019-exercise-11-more-presentations.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-01.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-03.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-04.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-05.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-06.pdf)
• Academic Skills in Computer Science  + (asics2020-exercise-07.pdf)