3440 search results - page 484 / 688 » Logics For Context-Free Languages |
210
click to vote
GISCIENCE
2008
Springer
15 years 8 months ago
2008
Springer
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
178
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
149
click to vote
FAC
2008
15 years 7 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
167
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
156
click to vote
ENTCS
2006
15 years 7 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...