We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as resolving inconsistencies in answer set programs, ranking stable models, associating probability to stable models, and applying statistical inference to computing w...

Introduction Treebanks used as: • " gold standard " training and testing material for computational linguists • data for linguists to search through for theoretically relevant patterns Introduction Treebanks used as: • " gold standard " training and testing material for computational linguists • data for linguists to search through for theoretically relevant patterns Treebanks generally result ...

Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) may contain more inconsistencies than others. This creates problems of deciding whether to act on these inconsistencies, and if so how. To address this, we provide a general characterization of inconsistency, based on q...

© 2 0 0 1 m a s s a c h u s e t t s i n s t i t u t e o f t e c h n o l o g y, c a m b r i d g e , m a 0 2 1 3 9 u s a — w w w. a i. m i t. e d u m a s s a c h u s e t t s i n s t i t u t e o f t e c h n o l o g y — a r t i f i c i a l i n t e l l i g e n c e l a b o r a t o r y @ MIT Abstract The human visual system is adept at detecting and encoding statistical regularities in its spatio-temp...

This paper describes the use of fingerprinting-based querying in identifying metadata inconsistencies in music libraries, as well as the updates to the jMusicMetaManager software in order to perform the analysis. Test results are presented for both the Codaich database and a generic library of unprocessed metadata. Statistics were computed in order to evaluate the differences between a manually...

What purposes should social and labor market policy serve in increasingly interrelated economic systems, and do current arrangements serve them well in the European framework? This paper reviews historical experiences and theoretical issues, focusing in particular on assignment of decision power at different levels of governance and on theoretically clear and empirically apparent sources of inc...

In this work we show that moment methods devised to solve the Boltzmann kinetic equation for a simple gas exhibit some inconsistencies. This puzzle, which also appears for the Chapman-Enskog method, is solved resorting to a perturbative expansion in the Knudsen number, thus allowing for a clear way to arrive at a closure condition.