×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [frame axioms]
KELPS LPS - A Logic-Based Framework for Reactive System30 aug 2012
460 views
S-CUBE LP: Formal Specifications for Services and Service Compositions
559 views
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
231 views
CS 74.757 Formal Logic 1 GOLOG Maruthappan Shanmugasundaram (Satish) Graduate Student Department of Computer Science University of Manitoba Winnipeg, R3T
215 views
1 REFLECTIONS on LOGIC PROGRAMMING and NONMONOTONIC REASONING by JACK MINKER UNIVERSITY OF MARYLAND
219 views
Knowledge Evolution Up to now we have not considered evolution of the knowledge In real situations knowledge evolves by: –completing it with new information
216 views
Planning
29 views
Artificial Intelligence A Brief History
31 views