1036 search results - page 19 / 208 » Incompleteness of Behavioral Logics |
ISMVL
2000
IEEE
14 years 1 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
AAAI
2007
13 years 11 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
JAPLL
2007
13 years 8 months ago
2007
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
AGENTS
1997
Springer
14 years 24 days ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
SP
2000
IEEE
14 years 1 months ago
2000
IEEE
