Direct Encoding of Declare Constraints in ASP

שמור ב:

מידע ביבליוגרפי
הוצא לאור ב:	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
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

היה/י הראשונ/ה לכתוב הערה!