Search the dblp DataBase

Publications of Author

1. Grzegorz Bancerek, Josef Urban
   Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:44-57 [Conf]
   
2. Josef Urban
   Translating Mizar for First Order Theorem Provers. [Citation Graph (0, 0)][DBLP]
   MKM, 2003, pp:203-215 [Conf]
   
3. Josef Urban
   XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. [Citation Graph (0, 0)][DBLP]
   MKM, 2005, pp:346-360 [Conf]
   
4. Josef Urban
   MPTP 0.1: System Description. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
   
5. Josef Urban, Grzegorz Bancerek
   Presenting and Explaining Mizar. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:63-74 [Journal]
   
6. Josef Urban
   Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:109-130 [Journal]
   
7. Josef Urban
   MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:414-427 [Journal]
   
8. Josef Urban
   MPTP - Motivation, Implementation, First Experiments. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2004, v:33, n:3-4, pp:319-339 [Journal]
   
9. Josef Urban
   MPTP 0.2: Design, Implementation, and Initial Experiments. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:37, n:1-2, pp:21-43 [Journal]
   
10. Josef Urban, Dave Wisely, Edgar Bolinth, Georg Neureiter, Mika Liljeberg, Tomás Robles Valladares
    BRAIN - an architecture for a broadband radio access network of the next generation. [Citation Graph (0, 0)][DBLP]
    Wireless Communications and Mobile Computing, 2001, v:1, n:1, pp:55-75 [Journal]
    
11. Josef Urban, Geoff Sutcliffe
    ATP Cross-Verification of the Mizar MPTP Challenge Problems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:546-560 [Conf]
    
12. 
    Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. [Citation Graph (, )][DBLP]
    
    
13. 
    A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. [Citation Graph (, )][DBLP]
    
    
14. 
    MaLARea: a Metasystem for Automated Reasoning in Large Theories. [Citation Graph (, )][DBLP]
    
    
15. 
    MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. [Citation Graph (, )][DBLP]
    
    
16. 
    Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. [Citation Graph (, )][DBLP]
    
    
17. 
    Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. [Citation Graph (, )][DBLP]
    
    
18. 
    A Wiki for Mizar: Motivation, Considerations, and Initial Prototype [Citation Graph (, )][DBLP]
    
    
19. 
    Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar [Citation Graph (, )][DBLP]