Logo DIMAp

Federal University of Rio Grande do Norte 
Department of Informatics and Applied Mathematics
Laboratory of Logic, Language, Information, Theory and Applications
Natal - Rio Grande do Norte- BRAZIL

LoLITA

 

 

Contacts

Academic Formation

Interest Areas

Curriculum Vitae

MAIN PUBLICATIONS

Students

Disciplines
(in portuguese)

Research Groups

Conferences

Links

 

2009
Book
BEDREGAL, B.R.C. On Interval Fuzzy Negations. Tech. rep., DIMAP/UFRN, 2009. Submitted to a  Journal.
BEDREGAL, B.R.C., REISER, R.H.S. and DIMURO, G.P. "Xor-Implications and E-Implications: Classes of fuzzy implications based on fuzzy Xor". Electronic Notes in Theoretical Computer Sciences, 247:5-18, 2009.
BEDREGAL, B.R.C., DIMURO, G.P. and REISER, R.H.S.  "An Approach to Interval-Valued R-Implications and Automorphisms".  Proc. IFSA/EUSFLAT 2009, Lisbon, July, 2009. 
2008
Book

BEDREGAL, B.R.C.; CRUZ, A.P. "A Characterization of Classic-Like Fuzzy Semantics". Logic Journal of IGPL,  v.16, n. 4, p. 357-370, 2008.
BEDREGAL, B.R.C.; FIGUEIRA, S. "On the computing power of fuzzy Turing machines". Fuzzy Sets and Systems,  v.159, n. 9, p. 1072-1083, 2008.
R.H.S. REISER, G.P. DIMURO, B.C. BEDREGAL, H.S. SANTOS, R. CALLEJAS-BEDREGAL. "S-Implications on Complete Lattices and the Interval Constructor". Tema - Trends in Computational and Applied Mathematics., v. 9, n. 1, p 143-154, 2008. Free Access. 
DIMURO, G.P.; BEDREGAL, B.R.C.; REISER, R.H.S.; SANTIAGO, R.H.N. “Interval Additive Generators of Interval T-Norms ”. In: 15th Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Edinburgh. Lectures Notes in Artificial Intelligence (LNAI). Berlin: Springer-Verlag, 2008. v. 5110. p. 123-135.
TRINDADE, R. M. P. ; BEDREGAL, B. R. C. ; DÓRIA NETO, A.D. "Basic Concepts of Interval Digital Signal Processing". In: World Congress on Science, Engineering and Technology, 2008, Paris. Proceedings of World Academy of Science, Engineering and Technology, 2008. v. 30. p. 66-70.
BEDREGAL, B. C.; REISER, R.H.S. ; DIMURO, G.P.. "Xor-Implications and E-Implications: Classes of fuzzy implications based on fuzzy Xor". In: Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Brazilian Workshop on Logical and Semantic Frameworks, with Applications: Pre-proceedings. Salvador : UFBA, 2008. p. 8-20.
SANTOS, H.S.; Bedregal, B. C. "The Interval Constructor on Some Classes of ML-algebras". In: Third Brazilian Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Brazilian Workshop on Logical and Semantic Frameworks, with Applications: Pre-proceedings. Salvador : UFBA, 2008. p. 113-128.

2007
Book
BEDREGAL, B.R.C. “A Normal Form which Preserves Tautologies and Contradictions in a Class of Fuzzy Logics”. Journal of Algorithms: Algorithms in Cognition, Informatics and Logics, v. 62, p. 135-147, 2007.
BEDREGAL, B.R.C.  "Pushdown Automata Free of Explicit Nondeterminism and an Infinite Hierarchy of Context-free Languages". Fundamenta Informaticae,  v. 81,  n.4, p. 367 - 377, 2007.
BEDREGAL, B.R.C.; DIMURO, G.P.; COSTA, A.C.R. “Hand Gesture Recognition in an Interval Fuzzy Approach”. Tema - Trends in Computational and Applied Mathematics., v. 8, n. 1, p. 21-31, 2007. Free Access.
BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “Properties of Fuzzy Implications obtained via the Interval Constructor”. Tema - Trends in Computational and Applied Mathematics., v. 8, n. 1, p. 33-42, 2007. Free Access.
R. CALLEJAS-BEDREGAL, B.R.C. BEDREGAL, Construção de Domínios Bi-Scott via Completação por Ideais. Tema - Trends in Computational and Applied Mathematicsv. 8, n. 3, p. 341-350, 2007. Free Access.
BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor”. In: Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 - Revised Selected Papers of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numeric, Duisburg, 26 - 29 September 2006. 1 ed. Los Alamitos: IEEE Computer Society Press, 2007, v. 1, p. 1-9.
BEDREGAL, B.R.C.; DIMURO, G.P.; COSTA, A.C.R. “Interval Fuzzy Rule-Based Hand Gesture Recognition”. In: Wolfram Luther; Werner Otten. (Org.). IEEE Post-Proceedings of SCAN 2006 - Revised Selected Papers of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numeric, Duisburg, 26 - 29 September 2006. 1 ed. Los Alamitos: IEEE Computer Society Press, 2007, v. 1, p. 1-8.
REISER, R.H.S.; DIMURO, G.P.; BEDREGAL, B.R.C.; SANTIAGO, R.H.N. “Interval Valued QL-Implications”. In: 14th Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Rio de Janeiro. Lectures Notes in Computer Sciences (LNCS). Berlim: Springer-Verlag, 2007. v. 4576. p. 307-321.
BEDREGAL, B.R.C.; BEDREGAL, R.C.; SANTOS, H.S. “Bounded Lattice T-Norms as an Interval Category”. In: 14th Workshop on Logic, Language, Information and Computation, WoLLIC 2007, Rio de Janeiro. Lectures Notes in Computer Sciences (LNCS). Berlim: Springer-Verlag, 2007. v. 4576. p. 26-37.
BEDREGAL, B.R.C.; SANTOS, H.S.; BEDREGAL, R.C. “A Generalized Class of T-Norms from a Categorical Point of View”. In: IEEE International Conference on Fuzzy Systems, Fuzz-IEEE 2007, Londres. 2007 IEEE International Conference on Fuzzy Systems. Londres: IEEE Computer Society Press, 2007. p. 1155-1160.
BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “The Best Interval Representation of Fuzzy S-Implications and Automorphisms”. In: IEEE International Conference on Fuzzy Systems, Fuzz-IEEE 2007, Londres. 2007 IEEE International Conference on Fuzzy Systems. Londres: IEEE Computer Society Press, 2007. p. 1782-1787.
BEDREGAL, B.R.C.; SANTIAGO, R.H.N.; REISER, R.H.S.; DIMURO, G.P. “Interval Valued R-Implications and Automorphisms”. In: Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto-MG. Pre-proceedings of Brazilian Workshop on Logical and Semantic Frameworks, with Applications, 2007. v. 1. p: 82-97.

2006
Book

BEDREGAL, B.R.C.  and  Pan, I.  Some typical classes of t-norms  and 1-Lipschitz condition.  Proc. of 9th  Brazilian Symposium on Neural Networks,  Ribeirão Preto, SP, Brazil, October 23-27, 2006.

BEDREGAL, B.C.; SANTOS, H.S.; and CALLEJAS-BEDREGAL, R. T-Norms on Bounded Lattices: t-norm Morphisms and Operators. Fuzzy Systems, 2006 IEEE International Conference on, Vancouver, July 16-21, 2006 Pages:22 – 28. Doi 10.1109/FUZZY.2006.1681689, Summary: Not available.....IEEE CNF.

TAKAHASHI, A. e BEDREGAL, B.R.C. T-Normas, T-Conormas, Complementos e Implicações Intervalares. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and Computational Mathematics,  7(1):139-148, 2006 Free Access.

BEDREGAL, B.R.C. and TAKAHASHI . Interval Valued Versions of T-Conorms, Fuzzy Negations and Fuzzy Implications. Fuzzy Systems, 2006 IEEE International Conference on,  Vancouver, July 16-21, 2006 Pages:1981 – 1987. Doi:10.1109/FUZZY.2006.1681975,   IEEE CNF.Summary: Not available.....

BEDREGAL, B.R.C. e DUTRA, J.E.M. Java-XSC: Estado da arte. XXXII Conferencia Latinoamericana de Informática (CLEI-2006), Santiago, August, 2006.

BEDREGAL, B.R.C., COSTA, A.C. da R. and DIMURO, G.P. Fuzzy Rule-Based Hand Gesture Recognition. Proceeding of IFIP, 19th WCC, Artificial Intelligence in Theory and Practice, Santiago, Chile, August, 2006.  Pages:285-294.

BEDREGAL, B.R.C. and FIGUEIRA, S.D. Classical Computability and Fuzzy Turing Machines. LNCS, 3887:154-165, 2006.

BEDREGAL, B.R.C. and TAKAHASHI . The best interval representations of t-norms and automorphisms. Fuzzy Sets and Systems, 157(24): 3220-3230, 2006.

SANTIAGO, R.H.N., BEDREGAL, B.R.C., and ACIÓLY, B.M. Formal Aspects of Correctness and Optimality of Interval Computations. Formal Aspects of Computing, 18:231-243, 2006.

BEDREGAL, B.R.C. and CRUZ, A.P. Propositional Logic as a Propositional Fuzzy Logic.  Electronic Notes in Theoretical Computer Sciences, 143: 5-12, 2006.

2005

BEDREGAL, B.R.C. and TAKAHASHI, A. Interval t-norms as interval representations of t-norms. IEEE International Conference on Fuzzy Systems, Reno, Nevada, USA, 22-25 mai, 2005.

 A. TAKAHASHI, B.R.C. BEDREGAL, A. LYRA, Uma Versão Intervalar do Método de Segmentação de Imagens Utilizando o K-means. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and Computational Mathematics, 6(2):315-324, 2005. Free Access.

 BEDREGAL, B.R.C., SANTIAGO, R.H.N. and ACIÓLY, B.M. Comparing Continuity of Interval Functions Based on Moore and Scott TopologiesElectronical Journal on Mathematics of Computation, V.2., July, 2005. P. 18. Free Access.

2004

BEDREGAL, B.R.C. A Normal Form Which Preserve 1-Tautologies and 0-Contradictions in a Class of Residuum-Based Propositional Fuzzy Logics. IEEE International Conference on Fuzzy Systems, Budapest, Hungary, 25-29 july, 2004.

CALLEJAS-BEDREGAL, R. and BEDREGAL, B.R.C. Acióly-Scott Interval Categories. Electronic Notes in Theoretical Computer Sciences, 95:169-187, 2004.

SANTIAGO, R.H.N. and BEDREGAL, B.R.C., Computabilidade: os limites da Computação. Notas em Matemática Aplicada, Vol. 11, SBMAC, 2004. Free Access.

SANTIAGO, R.H.N., BEDREGAL, B.R.C. and ACIÓLY, B.M, Interval Representations. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil:  Brazilian Society of Applied and Computational Mathematics, Vol.4, number 2,  p.315-324, 2004. Free Access.

PATIÑO-ESCARCINA, R.E.; BEDREGAL, B.R.C. and LYRA, A. Interval Computing in Neural Networks: One Layer Interval Neural Networks. Proceeding of 7th International Conference on Information Technology, Hyderabad, India, December 20-23, 2004. In LNCS, V. 3356, Springer-Verlag, 2004.

ARAÚJO, F.S.; RAMOS, K.D.N.; BEDREGAL, B.R.C. and SILVA, I.S. Papílio Cryptography Algorithm. Proceeding of Computational and Information Science: First International Symposium, CIS 2004, Jun Zhang, Ji-Huan He, Yuxi Fu (eds), Shanghai, China, December 16-18, 2004. In LNCS, V. 3314, Springer-Verlag, 2004.

2003

CALLEJAS-BEDREGAL, R. and BEDREGAL, B. R. C. Acióly-Scott Interval Categories. Proceeding VI Workshop on Formal Methods, Campina Grande-PB, 12-14 de outubro de 2003, p. 121-136. 

BEDREGAL, B. R. C. and NIES, A. Lowness Properties of Reals and Hyper-Immunity. Proceeding of 10th Workshop on Logic, Language, Information and Computation - WoLLIC'03. In Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., v.84, p.8, 2003.

KREINOVICH, V.; NGUYEN, H.T.; DIMURO, P.G.; COSTA, A.C.R. and BEDREGAL, B.R.C. A New Differential Formalism for Interval-Valued Functions and Its Potential Use in Detecting 1-D Landscape Features. Proceeding of International Conference on Intelligent Technologies (InTech'03), Chiang Mai, Thailand, December 17-19, 2003, p. 491-498.

BEDREGAL, B.R.C. and CALLEJAS-BEDREGAL, R. A Bi-Scott Domain Logic. Electronical Journal on Mathematics of Computation, V.1., March, 2003. P. 18. Free Access.

2002

BEDREGAL, B. R. C. and SILVA, I. A. Continuous Domains and their Information System Representation as Logical Systems. Proceeding of 9th Workshop on Logic, Language, Information and Computation - WoLLIC'02. In Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., v.67, p.20, 2002.

BEDREGAL, R. C.; BEDREGAL, B. R. C. and SANTIAGO, R. H. N.
Generalizing the Real Interval Arithmetic. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil: Brazilian Society of Applied and Computational Mathematics, v.3, N.1, p.61-70, 2002. Free Access.

ACIÓLY, B. M.; BEDREGAL, B. R. C. and LYRA, A. Introdução à Teoria das Linguages Formais , dos Autômatos e da Computabilidade. Natal-RN, Brazil: Edições UnP, 2002 p.258.

2001

BEDREGAL, R. C. and BEDREGAL, B. R. C. Intervals as a Domain Constructor. Tema - Trends in Computational and Applied Mathematics. São Carlos-SP, Brazil:  Brazilian Society of Applied and Computational Mathematics, v.2, p.43 - 52, 2001. Free Access.

BEDREGAL, R. C. and BEDREGAL, B. R. C. Intervals as a Categorical Constructor In: Proceedings of IV Workshop on Formal Methods, Rio de Janeiro, 2001. p.139 - 150

SILVEIRA, M.M.M.T. and BEDREGAL, B. R. C. Toward an Interval Fuzzy Theory. In: Proceedings of the 2001 International Conference on Artificial Intelligence. Las Vegas, Nevada, USA: Computer Science Research, Education, & Applications (CSREA) Press, 2001. v.II. p.931 - 937

SILVEIRA, M.M.M.T.and BEDREGAL, B. R. C. A Method of Inference and Defuzzification Fuzzy Interval. In: Proceeding of the IASTED International Conference on Artificial Intelligence and Applications. Marbella, Spain, september, 2001.  Anaheim-Calgary-Zurich: ACTA Press, 2001. p. 242-247

SILVA, I. A.; BEDREGAL, B. R. C.; LUCENA, M. J. N. R. and GOTTGTROY, M. P. B. Um Framework para Desenvolvimento de Sistemas Complexos In: Proceeding of XXVII Conferencia Latinoamericana de Informática. Mérida, Venezuela, 2001. p.1 - 12

SILVEIRA, M. M. M. T. and BEDREGAL, B. R. C. Um Método de Simplificação de Conjuntos Fuzzy usando Intervalos. In: 2nd Congress of Logic Applied to Technology, 2001, São Paulo.  Logic, Artificial Intelligence and Robotics. São Paulo: Pleiade, 2001. v.II. p.247 - 254

SILVEIRA, M.M.M.T. and BEDREGAL, B. R. C. Uma Inferência Fuzzy Min-Max Intervalar In: Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. In: Proceeding of XXI Congresso da Sociedade Brasileira de Computação. Fortaleza: Sociedade Brasileira de Computação, 2001. p.1 - 11

SILVEIRA, M. M. M. T. and BEDREGAL, B. R. C. Uma Teoria de Conjuntos Fuzzy Intervalar.In: Proceeding of II Workshop en Inteligencia Artificial. Punta Arenas, Chile 2001. 

2000

LYRA, A. and BEDREGAL, B. R. C. Computabilidade nos Reais: Uma Análise Intervalar Computável. In: Proceeding of  I Congresso de Lógica Aplicada à Tecnologia, LAPTEC´2000. São Paulo: Faculdade SENAC de Ciências Exatas e Tecnologia, 2000. p.19 - 32

BEDREGAL, B. R. C. A Semantical System of Finite Information for the Real Numbers. In: Second International Conference on Information Technology, 1999, Bhubaneswar. CIT'99 Trends in Information Technology. New Delhi: Tata McGraw-Hill Publishing Company Limited, 2000. p.167 - 172

1999

BEDREGAL, B. R. C. Continuous Information Systems as a Finite Information Logic For Continuous Domains. In: Proceedings of the II Workshop on Formal Methods. Florianópolis, 1999. p.3 - 12

BEDREGAL, B. R. C. and ACIÓLY, B. M. Effectively Given Continuous Domains: A Computable Interval Analysis. Electronic Journal on Mathematics of Computation. Pelotas-RS: , v.0, n.0, p.1 - 22, 1999.  Free Access.

LYRA, A. and BEDREGAL, B. R. C. Uma Análise Computável do Contínuo: A Máquina BSS Intervalar In:  Proceeding of XXV Conferencia Latinoamerica de Informática - CLEI'99 - Vol.2. Assunção: Universidad Autonoma de Asunción, 1999. p.649 - 660

BEDREGAL, B. R. C. and ACIÓLY, B. M. Using Continuous Domain Logic to Solve Interval Constraint Satisfaction problems. In:  Proceeding of XXV Conferencia Latinoamerica de Informática - CLEI'99 - Vol.2. Assunção: Universidad Autonoma de Asunción, 1999.  p.661 - 672

BEDREGAL, B. R. C. w-Continuous cpo's, w-Algebraic cpo's, SFP Domains and Retracts of SFP Domains as Information Systems. In Proceedings of 6th Workshop on Logic, Language, Information and Computation - WoLLIC'99. Itatiaia National Park-RJ , 1999. p.51 - 60

LYRA, A., BEDREGAL, B. R. C. Introdução a uma Análise Intervalar Computável. Tecnologia e Informação. Natal-RN: , n.Nov, p.79 - 98, 1999.

Previous 
Years

BEDREGAL, B. R. C. and ACIÓLY, B. M. A Computability on the Interval Space: A Domain Approach. In: Proceeding of XXIII Conferencia Latinoamericana de Informática. Valparaíso-Chile, 1997. v.I. p.107 - 116

ACIÓLY, B. M. and BEDREGAL, B. R. C. A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. Journal of Reliable Computing. Holanda: Kluwer, v.3, p.305 - 313, 1997.

BEDREGAL, B. R. C. and ACIÓLY, B. M. Logic of Plotkin Continuous Domains. In: Second Latin American Symposium - LATIN'95, 1995, Valparaíso-Chile. Lecture Notes in Computer Science. Berlin Heidelberg: Springer-Verlag, 1995. v.911. p.195 - 206

BEDREGAL, B. R. C. Representing SFP Domains as Information Systems. In: Proceeding of XXII SEMISH, XXI Conferência Latino-Americana de Informática. Canelas-RS, Brazil, 1995. v.2. p.903 - 915

BEDREGAL, B. R. C. and LOPES, M. A. Sistemas de Informação via Sistemas Semânticos. In: Proceeding of XX Conferencia Latinoamericana de Informática. Ciudad de México: Megabyte Noriega Editores, 1994. p.467 - 478

BEDREGAL, B. R. C. and ACIÓLY, B. M. Rational Intervals: An Effectively Given Information Systems. Proceeding of the International Conference on Mathematical Modelling and Scientific Computation, 1993, Sozopol-Bulgaria. In: Scientific Computation and Mathematical Modelling. Sofia: DATECS Publishing, 1993. p.159 - 170

 

Contacts

Academic Formation

Interest Areas

Curriculum Vitae

MAIN PUBLICATIONS

Students

Disciplines
(in portuguese)

Research Groups

Conferences

Links