Learning, planning, and representing knowledge at multiple levels of temporal abstraction are key, longstanding challenges in AI. The ways how to add...
Autoepistemic logic of beliefs, AEB, is a non-monotomic knowledge representation framework. Theories in AEB are called autoepistemic belief theories....
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantic...
Information derived from the cross-references among the documents in a hyperlinked environment, usually referred to as link information, is considered...
In silico scientific experiments encompass multiple combinations of program and data resources. Each resource combination in an execution flow is call...
