暂无分享,去创建一个
Simon See | Shaowei Lin | Zhangsheng Lai | Aik Beng Ng | Liang Ze Wong | S. See | Shaowei Lin | Zhangsheng Lai
[1] Jeremy Avigad,et al. The Lean Theorem Prover (System Description) , 2015, CADE.
[2] Seung-won Hwang,et al. KBQA: Learning Question Answering over QA Corpora and Knowledge Bases , 2019, Proc. VLDB Endow..
[3] Marcelo Arenas,et al. Semantics and complexity of SPARQL , 2006, TODS.
[4] Gerhard Weikum,et al. WWW 2007 / Track: Semantic Web Session: Ontologies ABSTRACT YAGO: A Core of Semantic Knowledge , 2022 .
[5] Luc Moreau,et al. The Foundations for Provenance on the Web , 2010, Found. Trends Web Sci..
[6] Hoan Quoc Nguyen-Mau,et al. The Graph of Things: A step towards the Live Knowledge Graph of connected things , 2016, J. Web Semant..
[7] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .
[8] Jens Lehmann,et al. DBpedia: A Nucleus for a Web of Open Data , 2007, ISWC/ASWC.
[9] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[10] Peter F. Patel-Schneider,et al. OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .
[11] R. Milner,et al. The use of machines to assist in rigorous proof , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[12] Natasha Noy,et al. Industry-scale Knowledge Graphs: Lessons and Challenges , 2019, ACM Queue.
[13] Yves Bertot,et al. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions , 2010 .
[14] Ulf Norell,et al. A Brief Overview of Agda - A Functional Language with Dependent Types , 2009, TPHOLs.
[15] Estevam R. Hruschka,et al. Toward an Architecture for Never-Ending Language Learning , 2010, AAAI.
[16] Samson Abramsky,et al. Handbook of logic in computer science. , 1992 .
[17] David Delahaye,et al. A Tactic Language for the System Coq , 2000, LPAR.
[18] Yixin Cao,et al. Explainable Reasoning over Knowledge Graphs for Recommendation , 2018, AAAI.
[19] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[20] Xiaojun Chen,et al. A review: Knowledge reasoning over knowledge graph , 2020, Expert Syst. Appl..
[21] M. Sørensen,et al. Lectures on the Curry-Howard Isomorphism , 2013 .
[22] Anja Jentzsch. Linked Open Data Cloud , 2014 .