Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfi

Author:  

Publication:  Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.
Tags:     AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2020.103354

View full text

>> Full Text:   Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfi

Evaluation of the moral permissibility of action plans

Probabilistic reasoning about epistemic action narratives