282 search results - page 24 / 57 » Common knowledge in update logics |
ACL
2012
11 years 11 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agentās degrees of belief (i) ought to sat...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
IJCAI
1997
13 years 10 months ago
1997
The AI literature contains many deļ¬nitions of diagnostic reasoning most of which are deļ¬ned in terms of the logical entailment relation. We use existing work on approximate en...
IWANN
2009
Springer
14 years 3 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...