A Semantic Account for Modularity in Multi-language Modelling of Search Problems-Reference-Cited by-同舟云学术

A Semantic Account for Modularity in Multi-language Modelling of Search Problems

Published:2011 Issue: Volume: Page:259-274
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Tasharrofi Shahab,Ternovska Eugenia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24364-6_18

Reference20 articles.

1. Balduccini, M.: Modules and signature declarations for a-prolog: Progress report. In: Workshop on Software Engineering for Answer Set Programming (SEA 2007), pp. 41–55 (2007)

2. Lecture Notes in Computer Science;M. Banda de la,2006

3. Lecture Notes in Computer Science;C. Baral,2006

4. Lecture Notes in Computer Science;S. Baselice,2005

5. Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd National Conference on Artificial Intelligence, vol. 1, pp. 385–390. AAAI Press, Menlo Park (2007)

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

1. An Abstract View on Optimizations in SAT and ASP;Logics in Artificial Intelligence;2021

2. On the Impact of Multi-language Development in Machine Learning Frameworks;2020 IEEE International Conference on Software Maintenance and Evolution (ICSME);2020-09

3. An Algebra of Modular Systems: Static and Dynamic Perspectives;Frontiers of Combining Systems;2019

4. Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System;Practical Aspects of Declarative Languages;2016-12-17

5. The Answer Set Programming Paradigm;AI Magazine;2016-10-07