A Logic-Based System for e-Tourism-Reference-Cited by-同舟云学术

A Logic-Based System for e-Tourism

Author:

Ricca Francesco¹,Dimasi Antonella²,Grasso Giovanni³,Ielpa Salvatore Maria⁴,Iiritano Salvatore⁵,Manna Marco⁶,Leone Nicola⁶

Affiliation:

1. Università della Calabria, via P. Bucci Cubo 30b, 87036 Rende, Italy. ricca@mat.unical.it

2. Exeura Srl, Via Pedro Alvares Cabrai - C.da Lecco, 87036 Rende (CS), Italy. antonella.dimasi@exeura.com

3. Università della Calabria, via P. Bucci Cubo 30b, 87036 Rende, Italy. grasso@mat.unical.it

4. Università della Calabria, via P. Bucci Cubo 30b, 87036 Rende, Italy. ielpa@dlvsystem.com

5. Exeura Srl, Via Pedro Alvares Cabrai, C.da Lecco 87036 Rende (CS), Italy. salvatore.iiritano@exeura.com

6. Università della Calabria, via P. Bucci Cubo 30b, 87036 Rende, Italy. {manna, leone}@mat.unical.it

Publisher

IOS Press

Subject

Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science

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

2. LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories;Electronic Proceedings in Theoretical Computer Science;2020-09-19