4061 search results - page 503 / 813 » Framework Evolution Tool |
182
click to vote
JVA
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
181
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
177
click to vote
ISDA
2005
IEEE
16 years 7 days ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
184
click to vote
WECWIS
2005
IEEE
16 years 7 days ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
111
Voted
AIED
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes an Explainable Artificial Intelligence (XAI) tool that allows entities to answer questions about their activities within a tactical simulation. We show how XAI...