8228 search results - page 248 / 1646 » Structural Logical Relations |
121
Voted
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
197
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
133
click to vote
AC
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
167
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
131
click to vote
BIOTECHNO
2008
IEEE
15 years 11 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...