Direct Encoding of Declare Constraints in ASP

Bewaard in:

Bibliografische gegevens
Gepubliceerd in:	Theory and Practice of Logic Programming vol. 25, no. 1 (Jan 2025), p. 92
Hoofdauteur:	Chiariello, Francesco
Andere auteurs:	Fionda, Valeria, IELO, ANTONIO, Ricca, Francesco
Gepubliceerd in:	Cambridge University Press
Onderwerpen:	Temporal logic Semantics Syntax Mathematical programming Computer models Programming languages Logic programming Information systems Declarative programming Constraint modelling Cognition & reasoning Coding
Online toegang:	Citation/Abstract Full Text - PDF
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!