4401 search results - page 52 / 881 » Computing with Default Logic |
107
click to vote
MCS
2011
Springer
14 years 4 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...
ICPP
1996
IEEE
15 years 2 months ago
1996
IEEE
ICTCS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
IIE
2008
14 years 10 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...