Search Sciweavers | Sciweavers

4737 search results - page 63 / 948

» The LOGIC negotiation model

click to vote

STACS
2010
Springer

171views Theoretical Computer Science» more STACS 2010»

Named Models in Coalgebraic Hybrid Logic

14 years 4 months ago

Download www.informatik.uni-bremen.de

Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...

Lutz Schröder, Dirk Pattinson

claim paper

Read More »

click to vote

POLICY
2007
Springer

90views Computer Networks» more POLICY 2007»

A Socio-cognitive Approach to Modeling Policies in Open Environments

14 years 3 months ago

Download www.isi.edu

The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...

Tatyana Ryutov

claim paper

Read More »

click to vote

FSKD
2009
Springer

85views Fuzzy Logic» more FSKD 2009»

A Model of In-depth Displacement under Ms8.1 at Kunlun Earthquake with D-InSAR Co-seismic Deformation Field

14 years 27 days ago