Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Planning with Transaction Logic
Basseda, Reza, Kifer, Michael, Bonner, Anthony J.
Published in Web Reasoning and Rule Systems (2014)
Published in Web Reasoning and Rule Systems (2014)
Get full text
Book Chapter
Ontology-Based Geospatial Data Query and Integration
Zhao, Tian, Zhang, Chuanrong, Wei, Mingzhen, Peng, Zhong-Ren
Published in Geographic Information Science (2008)
Published in Geographic Information Science (2008)
Get full text
Book Chapter
Information content of trees: three-taxon statements, inference rules and dependency
Rineau, Valentin, Zaragüeta, Rene, Bardin, Jérémie
Published in Biological journal of the Linnean Society (01.08.2021)
Published in Biological journal of the Linnean Society (01.08.2021)
Get full text
Journal Article
Formal Analysis of Secure Transaction Protocols
Chen, Qingfeng, Zhang, Shichao, Zhang, Chengqi
Published in Secure Transaction Protocol Analysis (2008)
Published in Secure Transaction Protocol Analysis (2008)
Get full text
Book Chapter
Information Content of Trees: Three-taxon Statements Inference Rules and Dependency
Rineau, Valentin, Zaragüeta, René, Bardin, Jérémie
Published in Biological journal of the Linnean Society (18.01.2021)
Published in Biological journal of the Linnean Society (18.01.2021)
Get full text
Paper
Journal Article