17054 search results - page 230 / 3411 » Logics of Dynamical Systems |
214
click to vote
ISMVL
2006
IEEE
16 years 1 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
195
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
157
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
234
click to vote
ECSQARU
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
232
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...