Conference item
Initial limit Datalog: a new extensible class of decidable constrained Horn clauses
- Abstract:
-
We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types) of the first-order language limit Datalog Z (a fragment of Datalog modulo linear integer arithmetic), but can be instantiated with any suitable background theory. For example, the fragment is decidable over any countable well-quasi-order with a decidable fir...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
Bibliographic Details
- Publisher:
- IEEE Publisher's website
- Host title:
- 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- Publication date:
- 2021-07-07
- Acceptance date:
- 2021-04-01
- Event title:
- ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021)
- Event location:
- Online
- Event website:
- http://easyconferences.eu/lics2021/
- Event start date:
- 2021-06-29
- Event end date:
- 2021-07-02
- DOI:
- EISBN:
- 9781665448956
- ISBN:
- 9781665448963
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
1170667
- Local pid:
- pubs:1170667
- Deposit date:
- 2021-04-06
Terms of use
- Copyright holder:
- IEEE
- Copyright date:
- 2021
- Rights statement:
- © 2021 IEEE.
- Notes:
- This paper was presented at the ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021), 29 June – 2 July 2021, Online. This is the accepted manuscript version of the paper. The final version is available online from IEEE at: https://doi.org/110.1109/LICS52264.2021.9470527.
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record