112 search results - page 7 / 23 » Game semantics for first-order logic |
EUSFLAT
2007
14 years 11 months ago
2007
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and ...
AI
2011
Springer
14 years 4 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
APAL
2010
14 years 10 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
LICS
1999
IEEE
15 years 2 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
149
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...