FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
How to upgrade ASP for true dynamic modelling and solving?

Author: Torsten Schaub

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:How to upgrade ASP for true dynamic modelling and solving?
Authors:Torsten Schaub
Proceedings:LPOP Position Papers
Editors: K. Tuncay Tekle and Marc Denecker
Keywords:Answer Set Programming, Dynamic domains, Real-world applications
Abstract:

ABSTRACT. The world is dynamic, and ASP is not! This is a provocative way to say that ASP is not up to dealing with many complex real-world applications having a dynamic nature, let alone transitions over states, not even mentioning more fine-grained temporal structures.

Pages:6
Talk:Jul 18 16:40 (Session 129D: Logic and Constraints in Applications)
Paper: