767 search results - page 20 / 154 » Logic for Mathematical Writing |
FECS
2006
13 years 9 months ago
2006
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
CLA
2007
13 years 9 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
BIRTHDAY
2003
Springer
14 years 22 days ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
AISC
2008
Springer
13 years 9 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition