Sciweavers

2307 search results - page 221 / 462
» Dynamic Fuzzy Logic
Sort
View
151
Voted
PAKDD
2005
ACM
142views Data Mining» more  PAKDD 2005»
15 years 10 months ago
Dynamic Cluster Formation Using Level Set Methods
Density-based clustering has the advantages for (i) allowing arbitrary shape of cluster and (ii) not requiring the number of clusters as input. However, when clusters touch each o...
Andy M. Yip, Chris H. Q. Ding, Tony F. Chan
SYNTHESE
2011
87views more  SYNTHESE 2011»
15 years 8 days ago
What will they say? - Public Announcement Games
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
Thomas Ågotnes, Hans P. van Ditmarsch
TARK
2005
Springer
15 years 10 months ago
Common knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
LOPSTR
2004
Springer
15 years 10 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
142
Voted
DALT
2006
Springer
15 years 9 months ago
A Functional Program for Agents, Actions, and Deontic Specifications
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
Adam Zachary Wyner