1269 search results - page 126 / 254 » Pi-Calculus in Logical Form |
85
Voted
JOLLI
2006
15 years 21 days 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...
87
Voted
ENTCS
2002
15 years 17 days 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...
89
Voted
CORR
1998
Springer
15 years 13 days 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...
100
click to vote
RSCTC
2010
Springer
14 years 11 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...
120
Voted
TCS
2010
14 years 11 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...