Delwedd Flaen

Direct Encoding of Declare Constraints in ASP

Wedi'i Gadw mewn:
Cyhoeddwyd yn:Theory and Practice of Logic Programming vol. 25, no. 1 (Jan 2025), p. 92
Prif Awdur: Chiariello, Francesco
Awduron Eraill: Fionda, Valeria, IELO, ANTONIO, Ricca, Francesco
Cyhoeddwyd:
Cambridge University Press
Pynciau:
Temporal logic
Semantics
Syntax
Mathematical programming
Computer models
Programming languages
Logic programming
Information systems
Declarative programming
Constraint modelling
Cognition & reasoning
Coding
Mynediad Ar-lein:Citation/Abstract
Full Text - PDF
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Byddwch y cyntaf i adael sylw!
Rhaid i chi fewngofnodi yn gyntaf