Predicate logic as a modeling language: the IDP system
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker · ACM eBooks · 2018
chapter Share on Predicate logic as a modeling language: the IDP system Authors: Broes De Cat View Profile , Bart Bogaerts View Profile , Maurice Bruynooghe View Profile , Gerda Janssens View Profile , Marc Denecker View Profile Authors Info & Claims Declarative Logic Programming: Theory, Systems, and ApplicationsSeptember 2018 Pages 279–323https://doi.org/10.1145/3191315.3191321Published:01 September 2018Publication History 15citation75DownloadsMetricsTotal Citations15Total Downloads75Last 12 Months8Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access