10568 search results - page 499 / 2114 » Computer Intelligence and Formalization |
158
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
197
click to vote
WILF
2007
Springer
16 years 1 months ago
2007
Springer
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
158
click to vote
TPHOL
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
118
click to vote
DALT
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
175
click to vote
TPHOL
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...