2500 search results - page 90 / 500 » Logical Semantics of Modularisation |
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
APAL
2004
14 years 11 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
RANLP
2003
15 years 15 days ago
2003
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
FMCAD
2008
Springer
15 years 21 days ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
257
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.