Direct Encoding of Declare Constraints in ASP

Guardado en:

Detalles Bibliográficos
Publicado en:	Theory and Practice of Logic Programming vol. 25, no. 1 (Jan 2025), p. 92
Autor principal:	Chiariello, Francesco
Otros Autores:	Fionda, Valeria, IELO, ANTONIO, Ricca, Francesco
Publicado:	Cambridge University Press
Materias:	Temporal logic Semantics Syntax Mathematical programming Computer models Programming languages Logic programming Information systems Declarative programming Constraint modelling Cognition & reasoning Coding
Acceso en línea:	Citation/Abstract Full Text - PDF
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!