593 search results - page 74 / 119 » RDF and Logic: Reasoning and Extension |
106
click to vote
MMMACNS
2005
Springer
15 years 6 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
110
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
IJCNN
2008
IEEE
15 years 6 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
124
click to vote
AMAI
2004
Springer
15 years 11 days ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
148
Voted
FORTE
2009
14 years 10 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...