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

13 years 4 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

13 years 4 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

13 years 4 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

13 years 4 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

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers