dblp.uni-trier.dewww.uni-trier.de

Josef Urban Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
15EEJosef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456
14EEJosef Urban: Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange. LPAR Workshops 2008
2007
13 Geoff Sutcliffe, Josef Urban, Stephan Schulz: Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 CEUR-WS.org 2007
12EEJosef Urban: MaLARea: a Metasystem for Automated Reasoning in Large Theories. ESARLT 2007
11EEJosef Urban, Geoff Sutcliffe: ATP Cross-Verification of the Mizar MPTP Challenge Problems. LPAR 2007: 546-560
10EEJosef Urban, Grzegorz Bancerek: Presenting and Explaining Mizar. Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007)
2006
9EEJosef Urban: Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. International Journal on Artificial Intelligence Tools 15(1): 109-130 (2006)
8EEJosef Urban: MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. J. Applied Logic 4(4): 414-427 (2006)
7EEJosef Urban: MPTP 0.2: Design, Implementation, and Initial Experiments. J. Autom. Reasoning 37(1-2): 21-43 (2006)
2005
6EEJosef Urban: XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. MKM 2005: 346-360
2004
5EEGrzegorz Bancerek, Josef Urban: Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM 2004: 44-57
4EEJosef Urban: MPTP - Motivation, Implementation, First Experiments. J. Autom. Reasoning 33(3-4): 319-339 (2004)
2003
3EEJosef Urban: Translating Mizar for First Order Theorem Provers. MKM 2003: 203-215
2EEJosef Urban: MPTP 0.1: System Description. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2001
1EEJosef 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. Wireless Communications and Mobile Computing 1(1): 55-75 (2001)

Coauthor Index

1Grzegorz Bancerek [5] [10]
2Edgar Bolinth [1]
3Mika Liljeberg [1]
4Georg Neureiter [1]
5Petr Pudlák [15]
6Stephan Schulz [13]
7Geoff Sutcliffe [11] [13] [15]
8Tomás Robles Valladares [1]
9Jirí Vyskocil [15]
10Dave Wisely [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)