1269 search results - page 126 / 254 » Pi-Calculus in Logical Form |
128
click to vote
JOLLI
2006
15 years 5 months ago
2006
Agents often interact strategically to meet conditions involving their own or other agents' knowledge. This interaction can be modeled using a new method of game construction...
130
Voted
ENTCS
2002
15 years 5 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
133
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
145
Voted
RSCTC
2010
Springer
15 years 3 months ago
2010
Springer
RSCTC’2010 Discovery Challenge was a special event of Rough Sets and Current Trends in Computing conference. The challenge was organized in the form of an interactive on-line com...
159
click to vote
TCS
2010
15 years 3 months ago
2010
Horn⊃ is a logic programming language which extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a form of s...