Výsledky vyhledávání - "Logic programming DPLL procedure"

The model evolution calculus as a first-order DPLL method

Autoři: Baumgartner, Peter Tinelli, Cesare

Zdroj: Artificial Intelligence. 172:591-632

Témata: Darwin system, Sequent calculi, Keywords: Algorithms, Artificial Intelligence, Model generation, Logic programming DPLL procedure, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, First-order logic, Calculations, DPLL procedure