Login / Signup
Complete Axiomatizations for Reasoning About Knowledge and Time
Joseph Y. Halpern
Ron van der Meyden
Moshe Y. Vardi
Published in:
CoRR (2002)
Keyphrases
</>
search engine
data mining
decision making
face recognition
training data
objective function
optimal solution
data structure
pairwise
mobile devices
decision procedures