Sciweavers

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