Abstract is missing.
- Preface [doi]
- Datalog: concepts, history, and outlookDavid Maier 0001, K. Tuncay Tekle, Michael Kifer, David Scott Warren. 3-100 [doi]
- An introduction to the stable and well-founded semantics of logic programsMiroslaw Truszczynski. 121-177 [doi]
- A survey of probabilistic logic programmingFabrizio Riguzzi, Theresa Swift. 185-228 [doi]
- WAM for everyone: a virtual machine for logic programmingDavid Scott Warren. 237-277 [doi]
- Predicate logic as a modeling language: the IDP systemBroes de Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker. 279-323 [doi]
- SolverBlox: algebraic modeling in datalogConrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref. 331-354 [doi]
- Exploring life: answer set programming in bioinformaticsAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. 359-412 [doi]
- State-space search with tabled logic programsC. R. Ramakrishnan. 427-472 [doi]
- Natural language processing with (tabled and constraint) logic programmingHenning Christiansen 0001, Verónica Dahl. 477-511 [doi]
- Logic programming applications: what are the abstractions and implementations?Yanhong A. Liu. 519-548 [doi]