Search Sciweavers | Sciweavers

161 search results - page 2 / 33

» fuin 2006

click to vote

FUIN
2007

65views more FUIN 2007»

Modal Logics for Region-based Theories of Space

14 years 12 months ago

Download people.maths.ox.ac.uk

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...

claim paper

Read More »

click to vote

FUIN
2002

65views more FUIN 2002»

Automata-Theoretic Decision Procedures for Information Logics

14 years 11 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ulrike Sattler

claim paper

Read More »

click to vote

FUIN
2002

77views more FUIN 2002»

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

14 years 11 months ago

Download logic.mimuw.edu.pl

Zbigniew Suraj, James F. Peters, W. Rzqsa

claim paper

Read More »

click to vote

FUIN
2002

74views more FUIN 2002»

Complexity of the Unique Extension Problem in Default Logic

14 years 11 months ago

Download www.dis.uniroma1.it

Xishun Zhao, Paolo Liberatore

claim paper

Read More »

click to vote

FUIN
2010

88views more FUIN 2010»

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers