×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [predicates p1]
Lecture 6
31 views
Artificial Intelligence 6. Representing Knowledge in Predicate Logic Course V231 Department of Computing Imperial College, London Jeremy Gow
213 views
Distributed Database Management Systems Lecture 15
224 views
A formal ontology of sequences
236 views
Solving Timed Games with Variable Observations: Proof of Concept Peter Bulychev Franck Cassez Alexandre David Kim G. Larsen Jean-François Raskin Pierre-Alain
214 views
Towards a VMM-based Usage Control Framework for OS Kernel Integrity Protection
15 views
Towards a VMM-based Usage Control Framework for OS Kernel Integrity Protection
19 views
Solving Timed Games with Variable Observations: Proof of Concept
28 views