Clause-Learning for Modular Systems

DOI10.1007/978-3-319-23264-5_37zbMath1467.68169OpenAlexW2405978955MaRDI QIDQ3449228

Eugenia Ternovska, David G. Mitchell

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_37

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• A Semantic Account for Modularity in Multi-language Modelling of Search Problems
• Propagation = Lazy Clause Generation
• GRASP: a search algorithm for propositional satisfiability
• Constraint Answer Set Solving
• Conflict-driven ASP solving with external sources