143 search results - page 11 / 29 » Secure Intelligent Agents Based on Formal Description Techni... |
AAAI
2006
13 years 9 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
TABLEAUX
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
AAAI
2007
13 years 10 months ago
2007
Physically based rendering is the process of generating a 2D om the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, the compu...
AOSE
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
AAAI
1993
13 years 9 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...