Search
Now showing items 1-2 of 2
-
Verification of context-sensitive Knowledge and Action Bases
(Springer, 2014)Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ... -
Adding context to Knowledge and Action Bases
(arXiv.org e-Print archive, 2014)Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ...