Sciweavers

260 search results - page 13 / 52
» On the Logic Underlying Common Sense
Sort
View
BROADNETS
2007
IEEE
14 years 4 months ago
Resource dimensioning in WDM networks under state-based routing schemes
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
Xiaolan J. Zhang, Sun-il Kim, Steven S. Lumetta
APAL
2004
91views more  APAL 2004»
13 years 9 months ago
First-order intensional logic
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
Melvin Fitting
IJCNN
2007
IEEE
14 years 4 months ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi
AAAI
2006
13 years 11 months ago
Towards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
Gerhard Lakemeyer, Hector J. Levesque
ICPR
2008
IEEE
14 years 11 months ago
Change detection based on adaptive Markov Random Fields
Usually changes in remote sensing images go along with the appearance or disappearance of some edges. In addition, pixels located along the edges are likely to weakly influenced b...
Chunlei Huo, Hanqing Lu, Jian Cheng, Keming Chen, ...