3515 search results - page 114 / 703 » On the semantics of Strategy Logic |
186
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...
190
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...
514
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
177
click to vote
PPDP
2005
Springer
16 years 18 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...
207
click to vote
CLIMA
2006
15 years 8 months ago
2006
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...