%0 Book Section %1 books/mc/18/Cat0BJD18 %A Cat, Broes De %A Bogaerts, Bart %A Bruynooghe, Maurice %A Janssens, Gerda %A Denecker, Marc %B Declarative Logic Programming %D 2018 %E Kifer, Michael %E Liu, Yanhong Annie %I ACM / Morgan & Claypool %K dblp %P 279-323 %T Predicate logic as a modeling language: the IDP system. %U http://dblp.uni-trier.de/db/books/collections/KL2018.html#Cat0BJD18 %V 20 %@ 978-1-97000-199-0

@incollection{books/mc/18/Cat0BJD18, added-at = {2019-06-27T00:00:00.000+0200}, author = {Cat, Broes De and Bogaerts, Bart and Bruynooghe, Maurice and Janssens, Gerda and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/22ef540722fc521a913ee9fb622673e4a/dblp}, booktitle = {Declarative Logic Programming}, crossref = {books/mc/18/KL2018}, editor = {Kifer, Michael and Liu, Yanhong Annie}, ee = {https://doi.org/10.1145/3191315.3191321}, interhash = {6840628e075316f7e9b1f0a9401b4e97}, intrahash = {2ef540722fc521a913ee9fb622673e4a}, isbn = {978-1-97000-199-0}, keywords = {dblp}, pages = {279-323}, publisher = {ACM / Morgan & Claypool}, series = {ACM Books}, timestamp = {2024-04-09T07:51:39.000+0200}, title = {Predicate logic as a modeling language: the IDP system.}, url = {http://dblp.uni-trier.de/db/books/collections/KL2018.html#Cat0BJD18}, volume = 20, year = 2018 }