Direct Encoding of Declare Constraints in ASP

Guardado en:

書目詳細資料
發表在:	Theory and Practice of Logic Programming vol. 25, no. 1 (Jan 2025), p. 92
主要作者:	Chiariello, Francesco
其他作者:	Fionda, Valeria, IELO, ANTONIO, Ricca, Francesco
出版:	Cambridge University Press
主題:	Temporal logic Semantics Syntax Mathematical programming Computer models Programming languages Logic programming Information systems Declarative programming Constraint modelling Cognition & reasoning Coding
在線閱讀:	Citation/Abstract Full Text - PDF
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

成為第一個發表評論!