TY - GEN
T1 - Preface to the Proceedings of the First International SEA'07 Workshop
T2 - 1st International Workshop on Software Engineering for Answer Set Programming, SEA 2007 - Co-located Event with the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007
AU - De Vos, Marina
AU - Schaub, Torsten
PY - 2007/5/14
Y1 - 2007/5/14
N2 - Over the last ten years, Answer Set Programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning, incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle the first industrially relevant applications.
AB - Over the last ten years, Answer Set Programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning, incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle the first industrially relevant applications.
UR - http://www.scopus.com/inward/record.url?scp=84884634363&partnerID=8YFLogxK
M3 - Chapter in a published conference proceeding
AN - SCOPUS:84884634363
VL - 281
T3 - CEUR Workshop Proceedings
BT - Proceedings of the First International SEA'07 Workshop
PB - CEUR-WS
Y2 - 14 May 2007 through 14 May 2007
ER -