descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type , Conference object 01 Jan 2015 English Publisher:Springer International Publishing

Authors: LEONE, Nicola; RICCA, Francesco;

doi: 10.1007/978-3-319-21768-0_10

handle: 20.500.11770/178539

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications

- Summary
- Subjects
- Metrics

Abstract

Answer Set Programming (ASP) is a powerful rule-based language for knowledge representation and reasoning that has been developed in the field of logic programming and nonmonotonic reasoning. After more than twenty years from the introduction of ASP, the theoretical properties of the language are well understood and the solving technology has become mature for practical applications. In this paper, we first present the basics of the ASP language, and we then concentrate on its usage for knowledge representation and reasoning in real-world contexts. In particular, we report on the development of some industry-level applications with the ASP system DLV, and we illustrate two advanced development tools for ASP, namely ASPIDE and JDLV, which speed-up and simplify the implementation of applications.

Related Organizations

University of Calabria
Italy

Keywords

Computational linguistics, Computer programming, Logic programming Answer set programming, Development tools, Knowledge representation and reasoning, Non-monotonic reasoning, Real-world, Rule-based language, Speed up

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	22
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%