×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [ground instances]
Using HOL-TestGen for Test-Sequence Generation With an
310 views
The Model Evolution Calculus with Equality Peter Baumgartner Max-Planck-Institute for Informatics Saarbrücken, Germany Cesare Tinelli The University of
219 views
Prospective Logic Agents Luís Moniz Pereira Gonçalo Lopes
219 views
PLANNING
29 views
1 Knowledge Based Systems (CM0377) Lecture 6 (last modified 20th February 2002)
213 views
AR for Horn clause logic
28 views
AR for Horn clause logic
25 views