Sciweavers

34 search results - page 2 / 7

» slogica 2008

23

SLOGICA
2002

47views more SLOGICA 2002»

Handling Locally Stratified Inconsistent Knowledge Bases

13 years 10 months ago

Handling Locally Stratified Inconsistent Knowledge Bases

Download www.info.univ-angers.fr

Salem Benferhat, Laurent Garcia

claim paper

Read More »

19

SLOGICA
2002

58views more SLOGICA 2002»

Implementation of Belief Change Operators Using BDDs

13 years 10 months ago

Implementation of Belief Change Operators Using BDDs

Download www.cs.bham.ac.uk

Nikos Gorogiannis, Mark Ryan

claim paper

Read More »

21

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

13 years 10 months ago

Proof Nets for the Multimodal Lambek Calculus

Download igitur-archive.library.uu.nl

Richard Moot, Quintijn Puite

claim paper

Read More »

14

SLOGICA
2008

76views more SLOGICA 2008»

Infinitary Action Logic: Complexity, Models and Grammars

13 years 10 months ago

Infinitary Action Logic: Complexity, Models and Grammars

Download www.staff.amu.edu.pl

Wojciech Buszkowski, Ewa Palka

claim paper

Read More »

12

SLOGICA
2008

53views more SLOGICA 2008»

Resource-origins of Nonmonotonicity

13 years 10 months ago

Resource-origins of Nonmonotonicity

Download www.ifispan.waw.pl

Dov M. Gabbay, John Woods

claim paper

Read More »

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