Preface

The 18th International Symposium on Space Terahertz Technology

Marina De Vos

Others  :  http://CEUR-WS.org/Vol-546/preface.pdf
PID  :  3761

来源: CEUR

【 摘 要 】

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 many industrially-relevant applications.