Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic
Publication Type:
Conference PaperSource:
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 , Tuusula, Finland, p.230-235 (2011)Projectes:
Noves Publicaciones
- A time series dissimilarity measure based on minimum jump costs
- Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Unsupervised music structure annotation by time series structure features and segment similarity
- Folksonomy-based tag recommendation for collaborative tagging systems
- The quest for the basic fuzzy logic
- Removing Redundant Messaegs in N-ary BnB-ADOPT
- Opening the black box of trust: reasoning about trust models in a BDI agent
