2688 search results - page 139 / 538 » A formal semantics for P3P |
159
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
150
click to vote
TYPES
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
147
click to vote
SYNASC
2005
IEEE
16 years 16 hour ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
190
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
145
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...