Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

Thanks to a number of efficient implementations, the use of logic formalisms for problem-solving has been increased in several real-world domains. This is the case, for instance, of action languages, such as planning domain definition language ( PDDL ), or answer set programming ( ASP ), which is a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	New generation computing 2019-01, Vol.37 (1), p.29-65
Hauptverfasser:	Calimeri, Francesco, Fuscà, Davide, Germano, Stefano, Perri, Simona, Zangari, Jessica
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial Intelligence Computer Hardware Computer Science Computer Systems Organization and Communication Networks Domains Formalism Interoperability Knowledge representation Mathematical programming Problem solving Research Paper Software Engineering/Programming and Operating Systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!