Font Size:
a
A
A
Keyword [Epistemic]
Result: 21 - 40 | Page: 2 of 3
21.
Optimization And Implementation Of Epistemic Specification Inference Algorithm
22.
A Modeling And Verification Method For Web Services Based On VerICS
23.
Model Checking Action-Based Temporal Epistemic Logic For Multi-Agent Systems
24.
Handwritten Digit Recognition Method Research Based On Belief Decision Trees
25.
Symbolic Model Checking Epistemic Riddles By Extending ?-calculus
26.
The Mechanism Design On Fairness And Its Formal Analysis Of Rational Exchange Protocol
27.
Research On Probabilistic Epistemic Logic Program
28.
Reliability Evaluation Method For Train-ground Communication System Considering Epistemic Uncertainty
29.
Reliability Index Prediction Method Of Industrial Robot Under Epistemic Uncertainty
30.
Symbolic Counter-Examples Generation For Discrete Real-Time Temporal Epistemic Logic
31.
Optimal Sensor Placement Method Based On Optimal System Reliability Criterion
32.
Human-Information Interaction for Digital Libraries: From Document Repositories to Knowledge Environments
33.
When peers disagree: An essay in the epistemology of peer disagreement
34.
Making the invisible visible: Public library reference service as epistemic practice
35.
Adding temporal logic to dynamic epistemic logic
36.
The evolution of social and semantic networks in epistemic communities
37.
Topics in knowledge bases: Epistemic ontologies and secrecy-preserving reasoning
38.
An Epistemic Analysis of Authentication
39.
Essays in Epistemic Game Theory
40.
On The Use Of Epistemic Ordering Functions As Decision Criteria For Automated And Assisted Belief Revision In SNePs
<<First
<Prev
Next>
Last>>
Jump to
