Direct Encoding of Declare Constraints in ASP

Spremljeno u:

Bibliografski detalji
Izdano u:	Theory and Practice of Logic Programming vol. 25, no. 1 (Jan 2025), p. 92
Glavni autor:	Chiariello, Francesco
Daljnji autori:	Fionda, Valeria, IELO, ANTONIO, Ricca, Francesco
Izdano:	Cambridge University Press
Teme:	Temporal logic Semantics Syntax Mathematical programming Computer models Programming languages Logic programming Information systems Declarative programming Constraint modelling Cognition & reasoning Coding
Online pristup:	Citation/Abstract Full Text - PDF
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Budi prvi tko komentira!