Search Sciweavers | Sciweavers

2920 search results - page 40 / 584

» Finite information logic

click to vote

AIML
2006

113views Logical Reasoning» more AIML 2006»

From topology to metric: modal logic and quantification in metric spaces

13 years 11 months ago

Download www.dcs.bbk.ac.uk

We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...

claim paper

Read More »

click to vote

IJAC
2010

231views more IJAC 2010»

Descriptive Complexity of Finite Abelian Groups

13 years 7 months ago

Download www.alexeng.edu.eg

Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...

Walid Gomaa

claim paper

Read More »

click to vote

FTRTFT
1994
Springer

113views Formal Methods» more FTRTFT 1994»

Specification and Refinement of Finite Dataflow Networks - a Relational Approach

14 years 2 months ago

Download folk.uio.no

We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...

Manfred Broy, Ketil Stølen

claim paper

Read More »

click to vote

INFORMS
2002

36views more INFORMS 2002»

A MINSAT Approach for Learning in Logic Domains

13 years 9 months ago