Search Sciweavers | Sciweavers

4737 search results - page 63 / 948

» The LOGIC negotiation model

122

click to vote

STACS
2010
Springer

171views Theoretical Computer Science» more STACS 2010»

Named Models in Coalgebraic Hybrid Logic

15 years 10 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 »

121

click to vote

POLICY
2007
Springer

90views Computer Networks» more POLICY 2007»

A Socio-cognitive Approach to Modeling Policies in Open Environments

15 years 9 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 »

100

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

15 years 7 months ago