Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Math
Advanced Math
Logic
logic
Multi-Agent Subset Space Logic
Model Checking on Trees with Path Equivalences ⋆ Rajeev Alur, Pavol ˇ
lause Incorporating Nonmonotonic easoning i
Kurt Konolige*
Knowledge Representation and Reasoning
Mathematics and Faith - Princeton University
Belief Revision in the Propositional Closure of a Qualitative Algebra
Basel Convention
Actions with Indirect Effects (Extended Abstract)
Acta Mathematica Academiae Paedagogicae Ny´ıregyh´ aziensis 31 ON MODAL
APMA/CS 202 Discrete Math I Section 01
anguage ,A escript ion Adding
An Extended Theory of Temporal Propositions
An Explicit Model of Belief Change for Cryptographic Protocol Verification
An Epistemic Halpern–Shoham Logic
An Approach to Minimal Belief via Objective Belief
An algorithmic approach for belief revision
An Algorithm for Adapting Cases Represented in ALC
An Action Description Language for Iterated Belief Change
An Abstract Logical Approach to Characterizing Strong Equivalence in
An Efficient ATMS for Equivalence Relations*
Automatic Verification of Safety and Liveness for XScale-Like Processor Models
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic
«
prev
1 ...
208
209
210
211
212
213
214
215
216
... 229
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send