Search: manual
Last modified by admin of logicmoo.org on 2021/02/04 14:07
Refine your search
Select a category and activate filters on the current results
Last author
Creator
Last modification date
Creation date
Object type
- 16Tag
Uploaded by
Upload date
Dynamic Re-ordering Alternatives
Located in
- Rendered document content
The DRA Interpreter User Manual September 10, 2009 Feliks Klu´zniak Applied Logic, Programming
…comments, queries and suggestions about this manual or the software are welcome. The author’s e-mail
…is a user manual for dra, an interpreter for tabled logic programming with coinduction. The manual has been
- Raw document content
The DRA Interpreter User Manual September 10, 2009 Feliks Klu´zniak //Applied Logic, Programming
…DEALINGS IN THE SOFTWARE. ))) All comments, queries and suggestions about this manual or the software
…== == 1.1 Overview == This document is a user manual for //dra//, an interpreter for tabled logic
Chapter 9/11 Future Work and Conclusions
Located in
Footnotes
Located in
- Rendered document content
workload and are not designed to solve the standard cases and leave atypical ones for manual assessment
Constraint Programming
Located in
Knowledge Engineering
Located in
- Rendered document content
this could be “accepted”, “declined”, or “flag for manual assessment”.160 A detailed example of the
- Raw document content
”, or “flag for manual assessment”.(% style="color:#000064;" %)^^[[(% style="color:#000064;" %)^^160
The Role of Evaluation-Driven Rejection
Located in
- Rendered document content
machine. After 4 h and 25 min (99% of processing time for the generation) the execution was manually
…manually. Using the Ep function (the function which doestake into account partial stories) the generation
Conceptual Graphs
Located in
Chapter 4 Learning through Daydreaming
Located in
- Rendered document content
participation in a performance mode experience (including external input), and by manual entry of a hand-coded
- Raw document content
experience (including external input), and by manual entry of a hand-coded episode. In the program, daydreams
Model-based Problem Solving
Located in
next page »
Page
1
2
RSS feed for search on [manual]