2500 search results - page 83 / 500 » Logical Semantics of Modularisation |
70
Voted
CORR
2009
Springer
14 years 9 months ago
2009
Springer
DLOG
2009
14 years 9 months ago
2009
AMAST
2010
Springer
14 years 6 months ago
2010
Springer
103
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 5 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
KR
1998
Springer
15 years 3 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...