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