2694 search results - page 346 / 539 » A Description Logic of Change |
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
177
click to vote
FUZZIEEE
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we present a local, adaptive optimization scheme for adjusting the number of clusters in fuzzy C-means clustering. This method is especially motivated by online app...
177
click to vote
ISDA
2005
IEEE
16 years 2 days ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
177
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
139
click to vote
ESSLLI
1999
Springer
15 years 10 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....