Answer Set Programming
From MaRDI portal
Publication:5230475
DOI10.1007/978-3-030-24658-7zbMath1480.68003OpenAlexW4254790956MaRDI QIDQ5230475
Publication date: 22 August 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-24658-7
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (17)
Strong Equivalence of Logic Programs with Counting ⋮ Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling ⋮ A primal-dual approximation algorithm for \textsc{minsat} ⋮ Lifting symmetry breaking constraints with inductive logic programming ⋮ Flexible FOND Planning with Explicit Fairness Assumptions ⋮ Towards a qualitative theory of the interruption of eating behavior change ⋮ A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure ⋮ Modal logic S5 in answer set programming with lazy creation of worlds ⋮ State transition in multi-agent epistemic domains using answer set programming ⋮ \textit{Clingraph}: ASP-based visualization ⋮ Copy complexity of Horn formulas with respect to unit read-once resolution ⋮ Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP ⋮ Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas ⋮ GK: implementing full first order default logic for commonsense reasoning (system description) ⋮ The possibilistic Horn non-clausal knowledge bases ⋮ Modal Logic S5 Satisfiability in Answer Set Programming
Uses Software
This page was built for publication: Answer Set Programming
