GLyC - Logic, Language and Computability Research Group

Submitted Publications

  • Expressive power and decidability for memory logics. Carlos Areces, Santiago Figueira, Diego Figueira and Sergio Mera. Submitted to the Journal of Computer System Sciences.
  • On the formal semantics of IF-like logics. Santiago Figueira, Daniel Gorín and Rafael Grimson. Submitted to the Journal of Computer System Sciences.
  • Which semantics for Neighbourhood Semantics? Carlos Areces and Diego Figueira. Submitted to IJCAI-09.
  • Resolution with order and selection for hybrid logics. Carlos Areces, Daniel Gorín. Submitted to Journal of Automated Reasoning.

Publications

Computational Logic

[AFM09] Carlos Areces, Santiago Figueira, and Sergio Mera. Completeness results for memory logics. In Sergei Artemov and Anil Nerode, editors, LFCS 09: Symposium on Logical Foundations of Computer Science, volume 5407 of LNCS, Deerfield Beach, FL, USA, 2009. Springer. [ bib | pdf ]
[AFFM08] Carlos Areces, Diego Figueira, Santiago Figueira, and Sergio Mera. Expressive power and decidability for memory logics. In 15th Workshop on Logic, Language, Information and Computation, volume 5110 of Lecure Notes in Computer Science, pages 56-68, 2008. [ bib | pdf ]
[FGG08] Santiago Figueira, Daniel Gorín, and Rafael Grimson. On the formal semantics of IF-like logics. In 15th Workshop on Logic, Language, Information and Computation, volume 5110 of Lecure Notes in Computer Science, pages 164-178, 2008. [ bib | pdf ]
[ENnR07] Hugo Esteva, Tomás Nuñez, and Ricardo Rodríguez. Artificial intelligence in thoracic surgery clinics. In Gaetano Rocco, editor, Risk Prediction and Outcome Analysis in Thoracic Surgery, An Issue of Thoracic Surgery Clinics. Saunders, 2007. [ bib ]
[FR07] Eduardo Fermé and Ricardo Rodríguez. DFT and belief revision. Análisis Filosófico, XXVII(2), 2007. [ bib ]
[CR07] Raúl Carnota and Ricardo Rodríguez. Carlos Alchourrón e IA. Análisis Filosófico, XXVII(1), 2007. [ bib ]
[Gor06] Daniel Gorín. Hybrid layering. In J. Huitink and S. Katrenko, editors, 11th ESSLLI (European Summer School in Logic Language and Information) Student Session, 2006. [ bib | pdf ]
[Mer06] Sergio Mera. Hybrid logics with concrete domains. In 11th ESSLLI (European Summer School in Logic Language and Information) Student Session, 2006. [ bib | pdf ]
[BGR05] Luciano Blandi, Lluis Godo, and Ricardo Rodríguez. A connection between similarity logic programming and Gödel modal logic. In Pilar Sobrevilla and Eduard Montseny, editors, Proceedings of the Joint 4th EUSFLAT and 11th LFA Conference, Barcelona, Spain, September 2005. [ bib ]
[AG04] Carlos Areces and Daniel Gorín. Ordered resolution with selection for h(@). In F. Baader and A. Voronkov, editors, LPAR 2004: 11th Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 3452 of LNCS, pages 125-141, Montevideo, Uruguay, 2004. Springer. [ bib | pdf ]
[EGGR03] Francesc Esteva, Pere Garcia, Lluis Godo, and Ricardo Rodríguez. On implicative closure operators in approximate reasoning. International Journal of Approximate Reasoning, 33(1):159-184, 2003. [ bib ]
[GR02] Lluis Godo and Ricardo Rodríguez. Graded similarity-based semantics for nonmonotonic inferences. Annals of Mathematics and Artificial Intelligence, 34(17):89-105, 2002. [ bib ]
[AB01] Carlos Areces and Verónica Becher. Iterable AGM functions. Frontiers of Belief Revision, pages 261-277, 2001. [ bib | pdf ]
[GR00] Lluis Godo and Ricardo Rodríguez. A short note on nonmonotonic inferences induced by graded similarity. In Proceedings of the 8th International Workshop on Non Monotonic Reasoning (NMR 2000), Electronic Articles in Computer and Information Science, Breckenridge, Colorado, USA, April 2000. Linköping University Electronic Press. [ bib ]
[ABF00] Carlos Areces, Verónica Becher, and Sebastián Ferro. Characterization results for d-Horn formulas, or on formulas that are true on dual reduced products. Logic, Language and Computation, 3:49-66, 2000. [ bib | pdf ]
[GR99] Lluis Godo and Ricardo Rodríguez. A fuzzy modal logic for similarity reasoning. In Guoqing Chen an Mingsheng Ying and Kai-Yuan Cai, editors, Fuzzy Logic and Soft Computing. Kluwer Academic, 1999. [ bib ]
[BFL+99] Verónica Becher, Eduardo Fermé, Sandra Lazzer, Carlos Oller, Gladys Palau, and Ricardo Rodríguez. Some observations on C. Alchourron 's theory of defeasible conditional. In Paul McNamara and Henry Prakken, editors, Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science. IOS Press, 1999. [ bib ]
[EGGR98] Francesc Esteva, Pere Garcia, Lluis Godo, and Ricardo Rodríguez. Fuzzy approximation relations, modal structures and possibilistic logic. Mathware and Soft Computing, 5(3):341-356, 1998. [ bib ]
[FR98a] Eduardo Fermé and Ricardo Rodríguez. A brief note about the Rott contraction. Logic Journal of the IGPL, (6):835-842, 1998. [ bib ]
[FR98b] Eduardo Fermé and Ricardo Rodríguez. Semi-contraction: Axioms and construction. Notre Dame Journal of Formal Logic, 39(3), 1998. [ bib ]
[EGGR97] Francesc Esteva, Pere Garcia, Lluis Godo, and Ricardo Rodríguez. A modal account of similarity-based reasoning. International Journal of Approximate Reasoning, 16(3-4):235-260, 1997. [ bib ]
[RGG96] Ricardo Rodríguez, Pere Garcia, and Lluis Godo. Using fuzzy similarity relations to revise and update. Mathware and Soft Computing, 3(3):357-370, 1996. [ bib ]
[BB95] Craig Boutilier and Verónica Becher. Abduction as belief revision. Artif. Intell., 77(1):43-94, 1995. [ bib | pdf ]
[CRss] Raúl Carnota and Ricardo Rodríguez. The AGM impact in artificial intelligence. In Shahid Rahman and John Symons, editors, Science in Flux: Philosophy of Science Meets Belief Revision Theory. Springer series Logic, Epistemology, and the Unity of Science, in press. [ bib ]

Algorithmic Randomness and Computability

[FNM09] Santiago Figueira, André Nies, and Joseph S. Miller. Indifferent sets. Journal of Logic and Computation, 19(2):425-443, 2009. [ bib | pdf ]
[FNS08] Santiago Figueira, André Nies, and Frank Stephan. Lowness properties and approximations of the jump. Annals of Pure and Applied Logic, 2008. 152(1-3):51-66. [ bib | pdf ]
[CBF08] Benjamín R. Callejas Bedregal and Santiago Figueira. On the computing power of fuzzy turing machines. Fuzzy Sets and Systems, 2008. 159(9):1072-1083. [ bib ]
[BFP07] Verónica Becher, Santiago Figueira, and Rafael Picchi. Turing's unpublished algorithm for normal numbers. Theoretical Computer Science, 377(1-3):126-138, 2007. [ bib | pdf ]
[BG07] Verónica Becher and Serge Grigorieff. Random reals à la Chaitin with or without prefix-freeness. Theor. Comput. Sci., 385(1-3):193-201, 2007. [ bib | pdf ]
[BFMG06] Verónica Becher, Santiago Figueira, Joseph S. Miller, and Serge Grigorieff. Randomness and halting probabilities. The Journal of Symbolic Logic, 71(4):1411-1430, 2006. [ bib | pdf ]
[FSW06] Santiago Figueira, Frank Stephan, and Guohua Wu. Randomness and universal machines. Journal of Complexity, 22(6):738-751, 2006. [ bib | pdf ]
[CBF06] Benjamín R. Callejas Bedregal and Santiago Figueira. Classical computability and fuzzy Turing machines. In Marcos Kiwi José R. Correa, Alejandro Hevia, editor, LATIN 2006: 7th Latin American Theoretical Informatics, volume 3887 of Lecture Notes in Computer Science, pages 154-165. Springer, 2006. [ bib | pdf ]
[FNS05] Santiago Figueira, André Nies, and Frank Stephan. Lowness properties and approximations of the jump. In 12th Workshop on Logic, Language, Information and Computation, volume 143 of Electronic Notes in Computer Science, pages 45-57, 2005. [ bib | pdf ]
[BF05] Verónica Becher and Santiago Figueira. Kolmogorov complexity for possibly infinite computations. Journal of Logic, Language and Information, 14(2):133-148, 2005. [ bib | pdf ]
[BFNP05] Verónica Becher, Santiago Figueira, André Nies, and Silvana Picchi. Program size complexity for possibly infinite computations. Notre Dame Journal of Formal Logic, 46(1):51-64, 2005. [ bib | pdf ]
[BG05] Verónica Becher and Serge Grigorieff. Random reals and possibly infinite computations (part i). randomness in 0'. The Journal of Symbolic Logic, 70(3):891-913, 2005. [ bib ]
[BG04] Verónica Becher and Serge Grigorieff. Recursion and topology on 2^<=ω for possibly infinite computations. Theoretical Computer Science, 322(1):85-136, 2004. [ bib | pdf ]
[BF02] Verónica Becher and Santiago Figueira. An example of a computable absolutely normal number. Theoretical Computer Science, 270(1-2):947-958, 2002. [ bib | pdf ]
[BC02] Verónica Becher and Gregory J Chaitin. Another example of higher order randomness. Fundamenta Informaticae, 51(4):325-338, 2002. [ bib | pdf ]
[BDC01] Verónica Becher, Sergio Daicz, and Gregory J Chaitin. A highly random number. In C. S. Calude, M.J. Dineen, and S. Sburlan, editors, Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic (DMTCS'01), pages 55-68. Springer-Verlag London, 2001. [ bib | pdf ]

Natural Language Processing

[PCKC07] J. Pustejovsky, J. Castaño, M. Kotecki, and B. Cochran. An annotated biological corpus. In Biolink 2007, Vienna, Austria, 2007. [ bib ]
[PC05] J. Pustejovsky and J. Castaño. Tagging with delayed disambiguation. In Finite State Machinery for Natural Language Processing 5th International Workshop, Helsinki, 2005. [ bib ]
[WCP05] B. Wellner, J. Castaño, and J. Pustejovsky. Adaptive string similarity metrics for biomedical reference resolution. In ACL-ISMB Workshop on Linking Biological Literature, Ontologies and Databases: Mining Biological Semantics, 2005. [ bib | pdf ]
[Cas05] J. Castaño. LR parsing for global index languages (gils). In Eighth International Conference on Implementation and Application of Automata, Lecture Notes in Computer Science 2759, Santa Barbara, CA, 2005. Springer. [ bib ]
[PSC+04] J. Pustejovsky, R. Saurí, J. Castaño, D. Radev, R. Gaizauskas, A. Setzer, B. Sundheim, and G. Katz. Representing temporal and event knowledge for question-answering systems. New Directions in Question Answering, pages 99-112, 2004. [ bib ]
[Cas04] J. Castaño. Global index grammars and descriptive power. Journal of Logic, Language and Information, 13:403-419, 2004. [ bib | pdf ]
[Cas03] J. Castaño. GIGs: Restricted context-sensitivity in bounded polynomial time. Lecture Notes in Computer Science, 2588, 2003. [ bib ]
[PCI+03] J. Pustejovcsky, J. Castaño, R. Ingria, R. Saurí, R. Gaizauskas, A. Setzer, and G. Katz. TimeML: Robust specification of event and temporal expressions. In Text IWCS-5 Fifth International Workshop on Computational Semantics, 2003. [ bib | pdf ]
[PCS+02] J. Pustejovsky, J. Castaño, R. Saurí, A. Rumshisky, J. Zhang, and W. Luo. Medstract: Creating large-scale information servers for biomedical libraries. In Bioinformatics Workshop (ACL), Philadelphia, 2002. [ bib ]
[CZP02a] J. Castaño, J. Zhang, and J. Pustejovsky. Anaphora resolution in biomedical literature. In International Symposium on Reference Resolution in NLP, Alicante, Spain, 2002. [ bib ]
[CZP02b] J. Castaño, J. Zhang, and J. Pustejovsky. Rerendering semantic ontologies: Automatic extensions to UMLS through corpus analytics. In Ontolex Workshop (LREC), La Palma, Spain, 2002. [ bib ]
[PCZC02] J. Pustejovsky, J. Castaño, J. Zhang, and B. Cochran. Robust relational parsing over biomedical literature: Extracting inhibit relations. In Pacific Symposium on Biocomputing, Hawaii, 2002. [ bib ]
[PCC+01] J. Pustejovsky, J. Castaño, B. Cochran, M. Kotecki, and M. Morrell. Automatic extraction of acronym-meaning pairs from MEDLINE databases. In Medinfo, London, UK, 2001. [ bib ]
[Cas01] J. Castaño. Spanish dative clitics: Event and opposition structure. In Proceedings of the First International Workshop on Generative Approaches to the Lexicon, Geneva, Switzerland, 2001. [ bib ]
[Cas00] J. Castaño. The spanish clitic SE: Ambiguity, underspecification and co-composition. In Paths and Telicity in Event Structure, ESSLLI, Geneva, Switzerland, 2000. [ bib ]
[Cas99] J. Castaño. Spanish clitics and event structure. In Lexical Semantics and Linking in Constraint-Based Theories, ESSLLI, 1999. [ bib | pdf ]