Sciweavers

3244 search results - page 57 / 649
» Extensions to Description Logics
Sort
View
AIML
2006
15 years 7 months ago
Conservative extensions in modal logic
Silvio Ghilardi, Carsten Lutz, Frank Wolter, Micha...
FUIN
2002
74views more  FUIN 2002»
15 years 5 months ago
Complexity of the Unique Extension Problem in Default Logic
Xishun Zhao, Paolo Liberatore
TODAES
2010
50views more  TODAES 2010»
15 years 4 months ago
Logic synthesis and circuit customization using extensive external don't-cares
Kai-Hui Chang, Valeria Bertacco, Igor L. Markov, A...