Preface
From MaRDI portal
Publication:4593090
DOI10.1017/S1471068417000199zbMath1379.68007OpenAlexW4238926881MaRDI QIDQ4593090
No author found.
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068417000199
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A necessary condition for constructive negation in constraint logic programming
- Design and results of the Fifth Answer Set Programming Competition
- Integrating answer set programming and constraint logic programming
- On the computational cost of disjunctive logic programming: Propositional case
- Logic programs with stable model semantics as a constraint programming paradigm
- DPLL: The Core of Modern Satisfiability Solvers
- Solving SAT and SAT Modulo Theories
- Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
- Transformation-based bottom-up computation of the well-founded model
- GRASP: a search algorithm for propositional satisfiability
- The DLV system for knowledge representation and reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming
- Logic Programming
- A Computing Procedure for Quantification Theory
This page was built for publication: Preface