2 Hits in 2.9 sec

MQA: Answering the Question via Robotic Manipulation [article]

Yuhong Deng, Di Guo, Xiaofeng Guo, Naifu Zhang, Huaping Liu, Fuchun Sun
2021 arXiv   pre-print
To solve this problem, a framework consisting of a QA module and a manipulation module is proposed. For the QA module, we adopt the method for the Visual Question Answering (VQA) task.  ...  Besides, a novel dataset that contains a variety of object models, scenarios and corresponding question-answer pairs is established in a simulation environment.  ...  Exploring logical consistency and viewport sensitivity in compositional vqa models. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 2108–2113.  ... 
arXiv:2003.04641v3 fatcat:5lervjbo2fgehpkeojovcilhv4

A generic logic environment [chapter]

Mark Dawson
Logic Programming and Automated Reasoning  
in Computing Science A b stra c t The thesis presents a framework for the development and manipulation of a wide variety of logical systems.  ...  The approach is original in its aim of providing tools to assist the construction of logics, and the framework has been realised on a computer workstation as a logic development environment.  ...  Hypersequent presentations can be modelled cleanly in the environment, and are described in §3.6.  ... 
doi:10.1007/bfb0013089 dblp:conf/lpar/Dawson92 fatcat:xug42cjcxbdf7fyyy66ebvdxgi