×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [frame axioms]
Technology
KELPS LPS - A Logic-Based Framework for Reactive System30 aug 2012
461 views
Technology
S-CUBE LP: Formal Specifications for Services and Service Compositions
560 views
Documents
Artificial Intelligence A Brief History 1. Great Expectations It is not my aim to surprise or shock you – but the simplest way I can summarize is to say
242 views
Documents
CS 74.757 Formal Logic 1 GOLOG Maruthappan Shanmugasundaram (Satish) Graduate Student Department of Computer Science University of Manitoba Winnipeg, R3T
215 views
Documents
1 REFLECTIONS on LOGIC PROGRAMMING and NONMONOTONIC REASONING by JACK MINKER UNIVERSITY OF MARYLAND
219 views
Documents
Knowledge Evolution Up to now we have not considered evolution of the knowledge In real situations knowledge evolves by: –completing it with new information
217 views
Documents
Planning
29 views
Documents
Artificial Intelligence A Brief History
37 views