Sciweavers

7 search results - page 1 / 2

» slogica 2002

8

SLOGICA
2002

47views more SLOGICA 2002»

Handling Locally Stratified Inconsistent Knowledge Bases

13 years 4 months ago

Handling Locally Stratified Inconsistent Knowledge Bases

Download www.info.univ-angers.fr

Salem Benferhat, Laurent Garcia

claim paper

Read More »

8

SLOGICA
2002

58views more SLOGICA 2002»

Implementation of Belief Change Operators Using BDDs

13 years 4 months ago

Implementation of Belief Change Operators Using BDDs

Download www.cs.bham.ac.uk

Nikos Gorogiannis, Mark Ryan

claim paper

Read More »

7

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

13 years 4 months ago

Proof Nets for the Multimodal Lambek Calculus

Download igitur-archive.library.uu.nl

Richard Moot, Quintijn Puite

claim paper

Read More »

8

SLOGICA
2002

67views more SLOGICA 2002»

A Map of Common Knowledge Logics

13 years 4 months ago

A Map of Common Knowledge Logics

Download www2s.biglobe.ne.jp

Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki...

claim paper

Read More »

11

SLOGICA
2002

81views more SLOGICA 2002»

Bicartesian Coherence

13 years 4 months ago

Bicartesian Coherence

Download elib.mi.sanu.ac.rs

A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...

Kosta Dosen, Zoran Petric

claim paper

Read More »

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