Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Engineering & Technology
Computer Science
Artificial Intelligence
The First AAAI President’s Message Allen Newell
vii TABLE OF CONTENTS CHAPTER TITLE
View-Based Query Answering over Description Logic Ontologies Diego Calvanese , Maurizio Lenzerini
VERITAS – A Verification Tool Jorge Santos Zita A. Vale
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases
vercoming Hntr ctability in ased Learning* Err
Venue
Variables in Action Descriptions: Merging C+ with ADL
Validating Rule-based Algorithms László Lengyel
Validating an Agent-Based Model of Human Password Behavior Bruno Korbar Jim Blythe
Utilizing Case-Based Reasoning and Automatic Case Elicitation to Develop a
Utility-Directed Planning Steve Hanks Mike Williamson
Utility Functions and Heuristics for Abstract
ussein Almuallim ietterich Thomas G. 303 Dearborn Hall
Using Term Space Maps to Capture Search Control
Using Swamps to Improve Optimal Pathfinding
Using SOA Provenance to Implement e Javier V´azquez-Salceda
Using Semantics to Improve the Design of Game Worlds Tim Tutenel
Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data Heshan Du
Using Problem Structure for Efficient Clause Learning Ashish Sabharwal , Paul Beame
Using Previous Experience for Learning Planning Control Knowledge Susana Fern´ andez Ricardo Aler
Using Lookaheads with Optimal Best-First Search Roni Stern Tamar Kulberis Ariel Felner
Using Intelligent Agents to Build Navigation Meshes
Using Graphical Models and Multi-attribute Utility
«
prev
1 ...
882
883
884
885
886
887
888
889
890
... 941
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send