3658 search results - page 228 / 732 » The logic of proofs, semantically |
154
click to vote
APAL
2004
15 years 6 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...
166
click to vote
RANLP
2003
15 years 8 months 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...
169
click to vote
FMCAD
2008
Springer
15 years 8 months 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...
485
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
157
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...