Search results for "norm"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Haoying Fu, Michael K. Ng 0001, Mila Nikolova, Jesse L. Barlow, Wai-Ki Ching	Fast Algorithms for l1 Norm/Mixed l1 and l2 Norms for Image Restoration.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	least absolute deviation, least mixed norm, image restoration, interior point method
60	Zhicheng Chen, Mingyi Mao, Huacan He, Weikang Yang	Generalized T-norm and Fractional "AND" Operation Model.	RSKT	2006	DBLP DOI BibTeX RDF	generalized T-norm, generalized T-generator, generating theorem, flexible control, operation model, Universal logic, generalized interval
58	Kaizhu Huang, Irwin King, Michael R. Lyu	Direct Zero-Norm Optimization for Feature Selection.	ICDM	2008	DBLP DOI BibTeX RDF
58	Kensuke Onishi, Michihiro Kobayakawa, Mamoru Hoshi	mm-GNAT: index structure for arbitrary Lp norm.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
58	Hal R. Yeager, Robert W. Dutton	Improvement in norm-reducing Newton methods for circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
54	Daifeng Zha	Implementation of Neural Network Learning with Minimum L1-Norm Criteria in Fractional Order Non-gaussian Impulsive Noise Environments.	ISNN (1)	2008	DBLP DOI BibTeX RDF	L 1-norm optimization, Alpha stable distribution, Non-Gaussian distribution, Neural network
53	Jing Li, Yuan Dong, Chengyu Dong, Haila Wang	Score Normalization Technique for Text-Prompted Speaker Verification with Chinese Digits.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Text Dependent Speaker Verification (TDSV), Text-Prompted Passwords, Cohort Norm, T-Norm, Score Normalization
52	Baruch Awerbuch, Yossi Azar, Edward F. Grove, Ming-Yang Kao, P. Krishnan, Jeffrey Scott Vitter	Load Balancing in the Lp Norm.	FOCS	1995	DBLP DOI BibTeX RDF	L/sub p/ norm, job assignment, L/sub /spl infin// norm, maximum load, greedy load balancing algorithm, offline optimal, average job delay, sum of the squares, load balancing, resource allocation, delays, queueing theory, deterministic algorithms, deterministic algorithm, competitive algorithms, competitive algorithms, online operation, online operation, Euclidean norm
52	Shichao Zhang, Jiangming Yang, Ning Gu	GridSM: a Norm-driven State Machine Model of Grid Workflow.	CSCWD	2006	DBLP DOI BibTeX RDF
52	Yossi Azar, Leah Epstein, Yossi Richter, Gerhard J. Woeginger	All-Norm Approximation Algorithms.	SWAT	2002	DBLP DOI BibTeX RDF
49	Yossi Azar, Amir Epstein	Convex programming for scheduling unrelated parallel machines.	STOC	2005	DBLP DOI BibTeX RDF	unrelated parallel machines, scheduling, approximation algorithms, randomized algorithms, convex programming
48	San-Min Wang	A fuzzy logic for the revised drastic product t-norm.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Revised drastic product t-norm, BL-system, MTL system, MTL? system, RDP system, RDP? system, Non-classical logics
46	Nong Ye, Toni Farley, Deepak Lakshminarasimhan	An attack-norm separation approach for detecting cyber attacks.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Computer and network security, Intrusion detection, Signal processing, Signal detection, Cyber attacks
45	Stefan Kindermann 0001, Stanley J. Osher, Jinjun Xu	Denoising by BV-duality.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	bounded variation, G-norm, Rudin-Osher-Fateni, image processing, level sets, Denoising
45	Robert S. Womersley, Ian H. Sloan	How good can polynomial interpolation on the sphere be?	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	interpolation on the sphere, uniform norm, spherical polynomials, distribution of points on the sphere, Lebesgue constant
43	Wim Vanhoof, Maurice Bruynooghe	When Size Does Matter.	LOPSTR	2001	DBLP DOI BibTeX RDF
42	Ulf Lotzmann, Michael Möhring	Simulating norm formation: an operational approach.	AAMAS (2)	2009	DBLP BibTeX RDF	immergence, norm innovation, normative agents, traffic scenario, emergence, social simulation
42	Charles Audet, Pierre Hansen, Alejandro Karam, Chi To Ng 0001, Sylvain Perron	Exact L 2-norm plane separation.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Separating plane, L 2-norm separation, Quadratic programming, Linear discrimination
42	Shachar Lovett, Roy Meshulam, Alex Samorodnitsky	Inverse conjecture for the gowers norm is false.	STOC	2008	DBLP DOI BibTeX RDF	gowers norm, multivariate polynomials, low degree tests
41	Xiaoguang Yang, Jianzhong Zhang 0001	Some inverse min-max network problems under weighted l1 and linfinity norms with bound constraints on changes.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Inverse min-max network problem, Weighted l 1 norm, Weighted l? norm, Bound constraints, Polynomial time algorithms
41	Alejandro Mosquera López, Paloma Moreda	DLSI en Tweet-Norm 2013: Normalización de Tweets en Español.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
41	Iñaki Alegria, Nora Aranberri, Víctor Fresno, Pablo Gamallo 0001, Lluís Padró 0001, Iñaki San Vicente, Jordi Turmo, Arkaitz Zubiaga	Introducción a la Tarea Compartida Tweet-Norm 2013: Normalización Léxica de Tuits en Español.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
41	Alicia Ageno, Pere Comas, Lluís Padró 0001, Jordi Turmo	The TALP-UPC Approach to Tweet-Norm 2013.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
41	Juan M. Cotelo Moya, Fermín L. Cruz, José A. Troyano	Resource-based Lexical Approach to Tweet-Norm task.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
41	Xabier Saralegi, Iñaki San Vicente	Elhuyar at Tweet-Norm 2013.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
40	Guido Boella, Patrice Caire, Leendert W. N. van der Torre	Norm negotiation in online multi-player games.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Multi-player online games, Normative multi-agent systems, Social delegation cycle, Dependence networks, Agent communication protocols
40	Paul Davidsson, Andreas Jacobsson	Towards Norm-Governed Behavior in Virtual Enterprises.	Intelligent Agents in the Evolution of Web and Applications	2009	DBLP DOI BibTeX RDF
40	Swetha Danda, Tim McGraw	A Comparison of the Bilateral Filterand Tv-Norm Minimization for Image Denoising.	ISBI	2007	DBLP DOI BibTeX RDF
40	Keeley A. Crockett, Zuhair Bandar, David McLean 0001	On the Optimization of T-norm parameters within Fuzzy Decision Trees.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
40	Carolina Howard Felicíssimo, Ricardo Choren, Jean-Pierre Briot, Carlos José Pereira de Lucena, Caroline Chopinaud, Amal El Fallah Seghrouchni	Providing Contextual Norm Information in Open Multi-Agent Systems.	AOIS	2006	DBLP DOI BibTeX RDF
40	Zhicheng Chen, Mingyi Mao, Weikang Yang, Huacan He	A New Uniform OR Operation Model Based on Generalized S-Norm.	ICIC (2)	2006	DBLP DOI BibTeX RDF
40	Leu-Shing Lan	M-SVC (mixed-norm SVC) - a novel form of support vector classifier.	ISCAS	2006	DBLP DOI BibTeX RDF
40	Chris H. Q. Ding, Ding Zhou, Xiaofeng He, Hongyuan Zha	R1-PCA: rotational invariant L1-norm principal component analysis for robust subspace factorization.	ICML	2006	DBLP DOI BibTeX RDF
40	Michiro Kondo, Mayuka F. Kawaguchi	Partially Ordered Set with Residuated t-norm.	ISMVL	2005	DBLP DOI BibTeX RDF
40	Peng Li 0001, Lawrence T. Pileggi	NORM: compact model order reduction of weakly nonlinear systems.	DAC	2003	DBLP DOI BibTeX RDF	RF circuit modeling, nonlinear model order reduction
40	H. Martin Bücker	A 1-Norm Quasi-minimal Residual Variant of the Bi-CGSTAB Algorithm for Nonsymmetric Linear Systems .	ICPP Workshops	2001	DBLP DOI BibTeX RDF
40	C. Emanuel Savin, M. Omair Ahmad, M. N. S. Swamy	Lp norm design of stack filters.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
38	Jan Odelstad, Magnus Boman	Algebras for Agent Norm-Regulation.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	norm-regulated system, normative position, multi-agent system, agent architecture, norm, Boolean algebra
37	Sohan Seth, José C. Príncipe	Compressed signal reconstruction using the correntropy induced metric.	ICASSP	2008	DBLP DOI BibTeX RDF
37	Wanmei Ou, Polina Golland, Matti S. Hämäläinen	A Distributed Spatio-temporal EEG/MEG Inverse Solver.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
37	Konrad J. Swanepoel	The Local Steiner Problem in Finite-Dimensional Normed Spaces.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
37	Sham M. Kakade, Dean P. Foster	Multi-view Regression Via Canonical Correlation Analysis.	COLT	2007	DBLP DOI BibTeX RDF
37	George Havas, Jean-Pierre Seifert	The Complexity of the Extended GCD Problem.	MFCS	1999	DBLP DOI BibTeX RDF	computational problems of diophantine equations, extended gcd computations, Approximation algorithms, NP-hardness, probabilistically checkable proofs, interactive proof systems
36	Antoni Dydejczyk, Krzysztof Kulakowski, Marcin Rybak	The Norm Game - How a Norm Fails.	ICCS (2)	2009	DBLP DOI BibTeX RDF
36	Jinfeng Wang 0003, Kin-Hong Lee, Kwong-Sak Leung	L1-norm Regularization Based Nonlinear Integrals.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Nonlinear Integral, L1-Norm Regularization, Classification, LASSO
36	Shujun Tan, Zhi-Gang Wu, Wanxie Zhong	Optimal induced norm computation of discrete H∞ control systems with time-delays.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Discrete systems with time-delays, Optimal H ? induced norm, Extended W-W algorithm
36	Tianping Shuai, Donglei Du, Xiaoyue Jiang	An Optimal On-Line Algorithm for Preemptive Scheduling on Two Uniform Machines in the lp Norm.	AAIM	2008	DBLP DOI BibTeX RDF	? p norm, Scheduling, On-line algorithm, Preemption
36	Guoliang Xue, S. Kami Makki	Multiconstrained QoS Routing: A Norm Approach.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	multiple additive QoS parameters, scaled p{hbox{-}}rm norm, approximation algorithms, QoS routing
36	Franco Montagna	On the predicate logics of continuous t-norm BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Predicate many-valued logics, T-norm semantics, Complexity
36	Francesc Esteva, Lluís Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
36	Noga Alon, Assaf Naor	Approximating the cut-norm via Grothendieck's inequality.	STOC	2004	DBLP DOI BibTeX RDF	Grothendieck's inequaity, cut-norm, rounding techniques
36	Naofumi Takagi, Seiji Kuwahara	A VLSI Algorithm for Computing the Euclidean Norm of a 3D Vector.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	computer graphics, Computer arithmetic, VLSI algorithm, Euclidean norm, digit-recurrence algorithm
36	Mauro Barni, Franco Bartolini, Fabio Buti, Vito Cappellini	Optimum linear approximation of the Euclidean norm to speed up vector median filtering.	ICIP	1995	DBLP DOI BibTeX RDF	piecewise-linear techniques, optimum linear approximation, impulsive noise reduction, multiband images, optic flow computation, optimal piecewise linear approximation, optimisation, image sequences, color images, filtering theory, image colour analysis, square root, median filters, approximation theory, vector field, Euclidean distance, image contours, vector median filtering, vector median filter, Euclidean norm
35	Rostislav Horcík	Alternative Proof of Standard Completeness Theorem for MTL.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Monoidal t-norm based logic, Left-continuous t-norm, Fuzzy logic
35	Rostislav Horcík	Standard completeness theorem for PiMTL.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	MTL logic, Product logic, Left-continuous t-norm, Cancellative left-continuous t-norm, Fuzzy logic, Many-valued logic
35	Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara	Sufficient triangular norms in many-valued logics with standard negation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic
34	Andy C. Yau, Xue-Cheng Tai, Michael K. Ng 0001	L0-Norm and Total Variation for Wavelet Inpainting.	SSVM	2009	DBLP DOI BibTeX RDF
34	Nojun Kwak	Principal Component Analysis Based on L1-Norm Maximization.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
34	Changkyu Seol, Kyungwhoon Cheun	A Low Complexity Euclidean Norm Approximation.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
34	Joe Kilian, André Madeira, Martin J. Strauss, Xuan Zheng	Fast Private Norm Estimation and Heavy Hitters.	TCC	2008	DBLP DOI BibTeX RDF
34	Mingyu Zhong, Michael Georgiopoulos, Georgios C. Anagnostopoulos	Properties of the k-norm pruning algorithm for decision tree classifiers.	ICPR	2008	DBLP DOI BibTeX RDF
34	Mehdi Kalantari, Masoumeh Haghpanahi, Mark A. Shayman	A p-norm Flow Optimization Problem in Dense Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
34	Leonardo V. Ferreira, Eugenius Kaszkurewicz, Amit Bhaya	Image restoration using L1-norm regularization and a gradient-based neural network with discontinuous activation functions.	IJCNN	2008	DBLP DOI BibTeX RDF
34	Alban Goupil, Jacques Palicot	New Algorithms for Blind Equalization: The Constant Norm Algorithm Family.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
34	Martin Wassink, Stefano Stramigioli	Towards a novel safety norm for domestic robotics.	IROS	2007	DBLP DOI BibTeX RDF
34	Kristy Sim, Richard I. Hartley	Removing Outliers Using The L\infty Norm.	CVPR (1)	2006	DBLP DOI BibTeX RDF
34	Oded Regev 0001, Ricky Rosen	Lattice problems and norm embeddings.	STOC	2006	DBLP DOI BibTeX RDF	embedding, lattices, norms, hardness of approximation
34	Martin J. Kollingbaum, Timothy J. Norman	Informed Deliberation During Norm-Governed Practical Reasoning.	AAMAS Workshops	2005	DBLP DOI BibTeX RDF
34	Daniel Garcia-Romero, Joaquin Gonzalez-Rodriguez, Julian Fiérrez-Aguilar, Javier Ortega-Garcia	U-NORM Likelihood Normalization in PIN-Based Speaker Verification Systems.	AVBPA	2003	DBLP DOI BibTeX RDF
34	Gerd Kunert	A Note on the Energy Norm for a Singularly Perturbed Model Problem.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classification: 35B25, 65N30, 65N15, 65N50
33	Elad Haramaty, Amir Shpilka	On the structure of cubic and quartic polynomials.	STOC	2010	DBLP DOI BibTeX RDF	Gowers norm, cubic polynomials, quartic polynomials
33	Zhuo-hua Peng, Jin-wang Liu	The generalized bisymmetric solutions of the matrix equation A 1 X 1 B 1 + A 2 X 2 B 2 + + A l X l B l = C and its optimal approximation.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Generalized bisymmetric solution group, Least-norm solution group, Optimal approximation solution group, Iterative method
33	G. S. Mahalakshmi 0001, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan	Gautama - Ontology Editor Based on Nyaya Logic.	ICLA	2009	DBLP DOI BibTeX RDF	Indian logic, Nyaya Sastra, Ontology, NORM
33	Kazuo Ohzeki, Yuki Seo, Engyoku Gi	Discontinuity of SVD Embedding Mapping Used for Watermarks.	OTM Workshops	2009	DBLP DOI BibTeX RDF	mapping, SVD, norm, one-way function, eigen-value
33	Carolina Howard Felicíssimo, Caroline Chopinaud, Jean-Pierre Briot, Amal El Fallah Seghrouchni, Carlos José Pereira de Lucena	Contextualizing normative open multi-agent systems.	SAC	2008	DBLP DOI BibTeX RDF	norm-aware agents, normative MAS, contextual information
33	Hiroaki Uesu	Structure Analysis of Fuzzy Node Fuzzy Graph and Its Application to Sociometry Analysis.	KES (3)	2008	DBLP DOI BibTeX RDF	fuzzy node fuzzy graph, sociometry analysis, T-norm
33	Yongqing Wang, Hong Qiao, Anhua Wan, Juntao Li	Dual Forms of SVM and MEB in Terms of Different Norms of Distance.	ICIC (3)	2007	DBLP DOI BibTeX RDF	minimum enclosing ball, L p -norm, Support vector machine, computational simulation, robust optimization
32	Iñaki Alegria, Nora Aranberri, Víctor Fresno, Pablo Gamallo 0001, Lluís Padró 0001, Iñaki San Vicente, Jordi Turmo, Arkaitz Zubiaga (eds.)	Proceedings of the Tweet Normalization Workshop co-located with 29th Conference of the Spanish Society for Natural Language Processing (SEPLN 2013), Madrid, Spain, September 20th, 2013.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Pablo Gamallo 0001, Marcos García 0001, José Ramom Pichel Campos	A Method to Lexical Normalisation of Tweets.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Jordi Porta, José-Luis Sancho	Word Normalization in Twitter Using Finite-state Transducers.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Óscar Muñoz-García, Silvia Vázquez Suárez, Núria Bel	Exploiting Web-based Collective Knowledge for Micropost Normalisation.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Bo Han 0002, Paul Cook, Timothy Baldwin	unimelb: Spanish Text Normalisation.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Arturo Montejo-Ráez, Manuel Carlos Díaz-Galiano, Eugenio Martínez-Cámara, María Teresa Martín-Valdivia, Miguel Ángel García Cumbreras, Luis Alfonso Ureña López	SINAI at Twitter-Normalization 2013.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Pablo Ruiz Fabo, Montse Cuadros, Thierry Etchegoyhen	Lexical Normalization of Spanish Tweets with Preprocessing Rules, Domain-specific Edit Distances, and Language Models.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Mans Hulden, Jerid Francom	Weighted and Unweighted Transducers for Tweet Normalization.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Iñaki Alegria, Izaskun Etxeberria, Gorka Labaka	Una Cascada de Transductores Simples para Normalizar Tweets.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
32	Jesús Vilares, Miguel A. Alonso 0001, David Vilares 0001	Prototipado Rápido de un Sistema de Normalización de Tuits: Una Aproximación Léxica.	Tweet-Norm@SEPLN	2013	DBLP BibTeX RDF
31	Nam H. Nguyen, Thong T. Do, Trac D. Tran	A fast and efficient algorithm for low-rank approximation of a matrix.	STOC	2009	DBLP DOI BibTeX RDF	low rank matrix approximation, noncommutative khintchine inequality, structurally random matrix, singular value decomposition
31	Ioannis Caragiannis	Better bounds for online load balancing on unrelated machines.	SODA	2008	DBLP BibTeX RDF
31	Tianping Shuai, Donglei Du	A Lower Bound for the On-Line Preemptive Machine Scheduling with lp.	COCOON	2008	DBLP DOI BibTeX RDF
31	Mark D. Plumbley	On Polar Polytopes and the Recovery of Sparse Representations.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
31	Frances Y. Kuo, Ian H. Sloan, Henryk Wozniakowski	Periodization strategy may fail in high dimensions.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65D30, 65D32
31	Vorapoj Patanavijit, Sarawut Tae-O-Sot, Somchai Jitapunkul	A Robust Iterative Super-Resolution Reconstruction of Image Sequences using a Lorentzian Bayesian Approach with Fast Affine Block-Based Registration.	ICIP (5)	2007	DBLP DOI BibTeX RDF
31	Peng Li 0001, Lawrence T. Pileggi	Compact reduced-order modeling of weakly nonlinear analog and RF circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
31	Nong Ye, Yebin Zhang, Connie M. Borror	Robustness of the Markov-chain model for cyber-attack detection.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
31	Aiping Li, Quanyuan Wu	On Aggregation Operators for Fuzzy Information Sources.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
31	Guido Boella, Leendert W. N. van der Torre	Delta: The Social Delegation Cycle.	DEON	2004	DBLP DOI BibTeX RDF
31	Graham Cormode, Mayur Datar, Piotr Indyk, S. Muthukrishnan 0001	Comparing Data Streams Using Hamming Norms (How to Zero In).	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Data stream analysis, data reduction, approximate query processing, data structures and algorithms
30	Nathan Srebro, Adi Shraibman	Rank, Trace-Norm and Max-Norm.	COLT	2005	DBLP DOI BibTeX RDF
30	Francesc Esteva, Lluís Godo, Carles Noguera	Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness