170 search results - page 14 / 34 » Contextual Deontic Logic |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
JISBD
2003
14 years 11 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
CLA
2007
14 years 12 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...
126
click to vote
FCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
