- Logics with Common Weak Completions MAURICIO OSORIO GALINDO, DECFI, Universidad de las Americas,
- Ground Nonmonotonic Modal Logic S5: New Results
- Planning with Effectively Propositional Logic Juan Antonio Navarro-Perez and Andrei Voronkov
- Annals of Pure and Applied Logic 134 (2005) 6382 www.elsevier.com/locate/apal
- Proof Systems for Effectively Propositional Logic Juan Antonio Navarro1
- EFFECTIVELY PROPOSITIONAL THEOREM PROVING
- Encoding and Solving Problems in Effectively Propositional
- Translations to propositional satisfiability Juan Antonio Navarro-Perez
- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
- TLP 4 (3): 325354, 2004. c 2004 Cambridge University Press DOI: 10.1017/S1471068403001881 Printed in the United Kingdom
- Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
- Generation of Hard Non-Clausal Random Satisfiability Problems Juan A. Navarro and Andrei Voronkov
- Answer Set Programming and S4 Mauricio Osorio and Juan Antonio Navarro
- Equivalence in Answer Set Programming Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola
- Flash Floods and Ripples: The Spread of Media Content through the Blogosphere Meeyoung Cha Juan Antonio Navarro Perez Hamed Haddadi
- Answer Sets through G3 Logic Juan Antonio Navarro Perez
- Universidad de las Americas Puebla Escuela de Ciencias
- SECOND YEAR PHD RESEARCH SUMMARY --AUGUST 2006 1 Enhancing model finding techniques
- Juan Antonio Navarro Perez Information
- Juan Antonio Navarro Perez Contacto Technische Universitat Munchen (TUM)
- Properties of Translations for Logic Juan Antonio Navarro Perez
- [2] Pavel Pudlak, Ramsey's theorem in bounded arithmetic, 4th Workshop, computer science logic, Lecture notes in computer science, vol. 533, Springer-Verlag, Berlin Heidelberg,
- Decision problem of substrings in Context Free Mauricio Osorio, Juan Antonio Navarro
- Consistent neg-extensions of superintuicionistic Mauricio Osorio, Juan Antonio Navarro and Jose Arrazola
- Encodings of Problems in Effectively Propositional Juan Antonio Navarro-Perez and Andrei Voronkov
- UNIVERSIDAD DE LAS AM ERICAS PUEBLA Escuela de Ingenieria
- Electronic Notes in Theoretical Computer Science 67 (2002) URL: http://www.elsevier.nl/locate/entcs/volume67.html 12 pages
- Operational Semantics for Declarative Juan A. Navarro and Andrey Rybalchenko
- Computing Preferred Safe Beliefs Luis Angel Montiel Juan Antonio Navarro
- Cardinality Abstraction for Declarative Networking Applications
- Debugging in A-Prolog: A logical approach Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola
