Preface to the Proceedings of the First International SEA'07 Workshop: Tempe, Arizona, USA

Marina De Vos, Torsten Schaub

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the First International SEA'07 Workshop
PublisherCEUR-WS
Number of pages1
Volume281
Publication statusPublished - 14 May 2007
Event1st 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 - Tempe, AZ, USA United States
Duration: 14 May 200714 May 2007

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS
ISSN (Print)1613-0073

Conference

Conference1st 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
Country/TerritoryUSA United States
CityTempe, AZ
Period14/05/0714/05/07

ASJC Scopus subject areas

  • General Computer Science

Fingerprint

Dive into the research topics of 'Preface to the Proceedings of the First International SEA'07 Workshop: Tempe, Arizona, USA'. Together they form a unique fingerprint.

Cite this