143 search results - page 11 / 29 » Secure Intelligent Agents Based on Formal Description Techni... |
195
click to vote
AAAI
2006
15 years 8 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 ...
202
click to vote
TABLEAUX
2007
Springer
16 years 22 days 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...
176
click to vote
AAAI
2007
15 years 9 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...
158
click to vote
AOSE
2000
Springer
15 years 11 months 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...
157
click to vote
AAAI
1993
15 years 8 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...