Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
