Search Sciweavers | Sciweavers

26 search results - page 1 / 6

» fuin 2002

101

click to vote

FUIN
2002

65views more FUIN 2002»

Automata-Theoretic Decision Procedures for Information Logics

15 years 3 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ulrike Sattler

claim paper

Read More »

112

Voted

FUIN
2002

74views more FUIN 2002»

Complexity of the Unique Extension Problem in Default Logic

15 years 3 months ago

Download www.dis.uniroma1.it

Xishun Zhao, Paolo Liberatore

claim paper

Read More »

104

click to vote

FUIN
2002

77views more FUIN 2002»

A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification

15 years 3 months ago

Download logic.mimuw.edu.pl

Zbigniew Suraj, James F. Peters, W. Rzqsa

claim paper

Read More »

101

click to vote

FUIN
2002

58views more FUIN 2002»

Relaxed Update and Partition Network Games

15 years 3 months ago

Download www.cs.uu.nl

Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr K...

claim paper

Read More »

125

click to vote

FUIN
2002

109views more FUIN 2002»

Another Example of Higher Order Randomness

15 years 3 months ago

Download www.glyc.dc.uba.ar

We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability

Verónica Becher, Gregory J. Chaitin

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers