1948 search results - page 13 / 390 » Formalizing Mirror Theory |
110
Voted
IJCAI
2003
15 years 3 months ago
2003
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compila...
102
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
108
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
107
Voted
CADE
1992
Springer
15 years 6 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
113
Voted
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...