639 search results - page 15 / 128 » Engineering intelligent systems on the knowledge formalizati... |
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
IJAOSE
2008
13 years 8 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
FLAIRS
2000
13 years 10 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
ANZIIS
1996
IEEE
14 years 23 days ago
1996
IEEE
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...