Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Data-driven Generation of Policies
nidottu,
2014,
englanti,
ISBN 9781493902736
This Springer Brief presents a basic algorithm that provides a correct solution to finding an optimal state change attempt, as well as an enhanced algorithm that is built on top of …
A General Framework for Reasoning On Inconsistency
nidottu,
2013,
englanti,
ISBN 9781461467496
This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been …