×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [logic formalism]
Situation based analysis and control for supporting Event-web applications
1.368 views
Situation Calculus
28 views
1 CS 2710, ISSP 2160 The Situation Calculus KR and Planning Some final topics in KR
218 views
CS 2710, ISSP 2160
24 views
Situation Calculus
35 views