:facetid:toc:\"db/books/collections/KL2018.bht\"OK:facetid:toc:db/books/collections/KL2018.bhtConrado Borraz-SánchezDiego KlabjanEmir PasalicMolham ArefSolverBlox: algebraic modeling in datalog.Declarative Logic Programming331-3542018Parts in Books or Collectionsclosedbooks/mc/18/Borraz-SanchezKPA1810.1145/3191315.3191322https://doi.org/10.1145/3191315.3191322https://dblp.org/rec/books/mc/18/Borraz-SanchezKPA18URL#2680673Broes De CatBart Bogaerts 0001Maurice BruynoogheGerda JanssensMarc DeneckerPredicate logic as a modeling language: the IDP system.Declarative Logic Programming279-3232018Parts in Books or Collectionsclosedbooks/mc/18/Cat0BJD1810.1145/3191315.3191321https://doi.org/10.1145/3191315.3191321https://dblp.org/rec/books/mc/18/Cat0BJD18URL#2680674Henning Christiansen 0001Verónica DahlNatural language processing with (tabled and constraint) logic programming.Declarative Logic Programming477-5112018Parts in Books or Collectionsclosedbooks/mc/18/ChristiansenD1810.1145/3191315.3191325https://doi.org/10.1145/3191315.3191325https://dblp.org/rec/books/mc/18/ChristiansenD18URL#2680676Yanhong A. LiuLogic programming applications: what are the abstractions and implementations?Declarative Logic Programming519-5482018Parts in Books or Collectionsclosedbooks/mc/18/Liu1810.1145/3191315.3191326https://doi.org/10.1145/3191315.3191326https://dblp.org/rec/books/mc/18/Liu18URL#2680686David Maier 0001K. Tuncay TekleMichael KiferDavid Scott WarrenDatalog: concepts, history, and outlook.Declarative Logic Programming3-1002018Parts in Books or Collectionsclosedbooks/mc/18/MaierTKW1810.1145/3191315.3191317https://doi.org/10.1145/3191315.3191317https://dblp.org/rec/books/mc/18/MaierTKW18URL#2680687Alessandro Dal PalùAgostino DovierAndrea Formisano 0001Enrico PontelliExploring life: answer set programming in bioinformatics.Declarative Logic Programming359-4122018Parts in Books or Collectionsclosedbooks/mc/18/PaluDFP1810.1145/3191315.3191323https://doi.org/10.1145/3191315.3191323https://dblp.org/rec/books/mc/18/PaluDFP18URL#2680688C. R. Ramakrishnan 0001State-space search with tabled logic programs.Declarative Logic Programming427-4722018Parts in Books or Collectionsclosedbooks/mc/18/Ramakrishnan1810.1145/3191315.3191324https://doi.org/10.1145/3191315.3191324https://dblp.org/rec/books/mc/18/Ramakrishnan18URL#2680690Fabrizio RiguzziTheresa SwiftA survey of probabilistic logic programming.Declarative Logic Programming185-2282018Parts in Books or Collectionsclosedbooks/mc/18/RiguzziS1810.1145/3191315.3191319https://doi.org/10.1145/3191315.3191319https://dblp.org/rec/books/mc/18/RiguzziS18URL#2680692Miroslaw TruszczynskiAn introduction to the stable and well-founded semantics of logic programs.Declarative Logic Programming121-1772018Parts in Books or Collectionsclosedbooks/mc/18/Truszczynski1810.1145/3191315.3191318https://doi.org/10.1145/3191315.3191318https://dblp.org/rec/books/mc/18/Truszczynski18URL#2680697David Scott WarrenWAM for everyone: a virtual machine for logic programming.Declarative Logic Programming237-2772018Parts in Books or Collectionsclosedbooks/mc/18/Warren1810.1145/3191315.3191320https://doi.org/10.1145/3191315.3191320https://dblp.org/rec/books/mc/18/Warren18URL#2680698Preface.Declarative Logic Programmingxvii-xx2018Parts in Books or Collectionsclosedbooks/mc/18/X1810.1145/3191315.3191316https://doi.org/10.1145/3191315.3191316https://dblp.org/rec/books/mc/18/X18URL#2680700Michael KiferYanhong Annie LiuDeclarative Logic Programming: Theory, Systems, and ApplicationsDeclarative Logic ProgrammingACM Books20ACM / Morgan & Claypool2018Editorshipbooks/mc/18/KL201810.1145/3191315https://doi.org/10.1145/3191315https://dblp.org/rec/books/mc/18/KL2018URL#2681990