3233 search results - page 428 / 647 » Validation Method for Intelligent Systems |
184
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
220
click to vote
AAAI
2011
14 years 6 months ago
2011
Effective access to knowledge within large declarative memory stores is one challenge in the development and understanding of long-living, generally intelligent agents. We focus o...
220
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
171
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...