2303 search results - page 117 / 461 » On the logic of argumentation theory |
150
click to vote
JOLLI
2002
15 years 6 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
148
click to vote
JELIA
1990
Springer
15 years 10 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
177
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
182
click to vote
CSL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
177
click to vote
JTAER
2008
15 years 6 months ago
2008
The first part of the paper discusses Wal-Mart's adoption of RFID through the theoretical lens of the Resources, Processes, and Values (RPV) innovation theory. This part make...