Sciweavers

34 search results - page 2 / 7
» slogica 2008
Sort
View
SLOGICA
2002
47views more  SLOGICA 2002»
13 years 4 months ago
Handling Locally Stratified Inconsistent Knowledge Bases
Salem Benferhat, Laurent Garcia
SLOGICA
2002
58views more  SLOGICA 2002»
13 years 4 months ago
Implementation of Belief Change Operators Using BDDs
Nikos Gorogiannis, Mark Ryan
SLOGICA
2002
61views more  SLOGICA 2002»
13 years 4 months ago
Proof Nets for the Multimodal Lambek Calculus
Richard Moot, Quintijn Puite
SLOGICA
2008
76views more  SLOGICA 2008»
13 years 4 months ago
Infinitary Action Logic: Complexity, Models and Grammars
Wojciech Buszkowski, Ewa Palka
SLOGICA
2008
53views more  SLOGICA 2008»
13 years 4 months ago
Resource-origins of Nonmonotonicity
Dov M. Gabbay, John Woods