Search Sciweavers | Sciweavers

2253 search results - page 8 / 451

» The ComFoRT Reasoning Framework

click to vote

APAL
2010

97views more APAL 2010»

A modal logic framework for reasoning about comparative distances and topology

13 years 7 months ago

Download www.csc.liv.ac.uk

We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...

Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...

claim paper

Read More »

click to vote

FMCO
2009
Springer

120views Formal Methods» more FMCO 2009»

A Framework for Reasoning on Component Composition

13 years 5 months ago

Download hal.archives-ouvertes.fr

The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...

Ludovic Henrio, Florian Kammüller, Muhammad U...

claim paper

Read More »

click to vote

INFFUS
2006

104views more INFFUS 2006»

Reasoning with multiple-source information in a possibilistic logic framework

13 years 7 months ago

Download www.mla.iitkgp.ernet.in

This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...

Salem Benferhat, Claudio Sossai

claim paper

Read More »

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

13 years 11 months ago

Download www.ict.swin.edu.au

Markus Lumpe

claim paper

Read More »