Declarative Programming for Microcontrollers - Datalog on Arduino-Reference-Cited by-同舟云学术

Declarative Programming for Microcontrollers - Datalog on Arduino

Published:2020 Issue: Volume: Page:119-138
ISSN:0302-9743
Container-title:Declarative Programming and Knowledge Management
language:
Short-container-title:

Author:

Wenzel Mario,Brass Stefan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-46714-2_9

Reference16 articles.

1. Advances in Intelligent Systems and Computing;F Agatolio,2017

2. Lecture Notes in Computer Science;P Alvaro,2011

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Brass,2000

4. Lecture Notes in Computer Science;S Brass,2018

5. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July–5 August 2005, pp. 90–96. Professional Book Center (2005). http://ijcai.org/Proceedings/05/Papers/1353.pdf

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Defeasible Reasoning via Datalog¬;Theory and Practice of Logic Programming;2021-11-02

2. Integrity Constraints for Microcontroller Programming in Datalog;Advances in Databases and Information Systems;2021

3. Event-Based Microcontroller Programming in Datalog;Rules and Reasoning;2021

4. Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines;Logic-Based Program Synthesis and Transformation;2021