This website represents the joint bibliography of the KWARC group and is generated automatically.

For more details, please see the Github Repository.

Please respect any copyrights when downloading

- [30] (2016) QED reloaded: towards a pluralistic formal library of mathematical knowledge. 9 (1), pp. 201–234. External Links: Link Cited by: p1.
- [35] (2014-06) Mathematical knowledge management: transcending the one-brain-barrier with theory graphs. pp. 22–27. External Links: Link Cited by: p1.
- [26] (2014) Co-representing structure and meaning of mathematical documents. 38 (2), pp. 49–80. Note: Special Issue “The language of mathematics – computational, linguistic and logical aspects” External Links: Link Cited by: p1.
- [47] (2014) How to Identify, Translate, and Combine Logics?. External Links: Document Cited by: p1.
- [28] (2013-09) Zentralblatt column: mathematical formula search. pp. 56–57. External Links: Link Cited by: p1.
- [14] (2013) The Mizar Mathematical Library in OMDoc: translation and applications. 50 (2), pp. 191–202. External Links: Link, Document Cited by: p1.
- [21] (2013) Spreadsheets with a semantic layer. 62, pp. 1–20. External Links: Link Cited by: p1.
- [38] (2013) Ontologies and languages for representing mathematical knowledge on the semantic web. 4 (2), pp. 119–158. External Links: Document, Link Cited by: p1.
- [41] (2013) A Logical Framework Combining Model and Proof Theory. 23 (5), pp. 945–1001. Cited by: p1.
- [42] (2013) A scalable module system. 0 (230), pp. 1–54. External Links: Link Cited by: p1.
- [44] (2013) Logical Relations for a Logical Framework. External Links: Link Cited by: p1.
- [19] (2012) Reasoning without believing: on the mechanization of presuppositions and partiality. 22 (4), pp. 295–317. External Links: Document Cited by: p1.
- [29] (2012) Semantics of OpenMath and MathML3. 6 (3), pp. 235–260. External Links: Link Cited by: p1.
- [36] (2012) Desktop mit dolmetscher. 2, pp. 90–94. Cited by: p1.
- [37] (2012) Vokabelheft fürs web. 1, pp. 42–45. External Links: Link Cited by: p1.
- [46] (2012) A logical framework combining model and proof theory. External Links: Link Cited by: p1.
- [1] (2011) Kripke Semantics for Martin-Löf’s Extensional Type Theory. 7 (3). Cited by: p1.
- [11] (2011) Representing Model Theory in a Type-Theoretical Logical Framework. 412 (37), pp. 4919–4945. Cited by: p1.
- [15] (2011) Formalizing Foundations of Mathematics. 21 (4), pp. 883–911. External Links: Document, Link Cited by: p1.
- [24] (2011) The planetary system: web 3.0 & active documents for STEM. 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
- [45] (2010) Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on his 70th Birthday”. 16 (3), pp. 409–411. Cited by: p1.
- [50] (2010) Conversion d’articles en LaTeX vers XML avec MathML : une étude comparative. 51, pp. 7–28. External Links: Link Cited by: p1.
- [51] (2010) Transforming large collections of scientific publications to XML. 3 (3), pp. 299–307. External Links: Link Cited by: p1.
- [52] (2009-05) Applying semantic techniques to search and analyze bug tracking data. 17 (3), pp. 285–308. External Links: Document Cited by: p1.
- [3] (2009) Cut-simulation and impredicativity. 5 (1), pp. 1–21. External Links: Link Cited by: p1.
- [39] (2009) Context-Aware Adaptation: A Case Study on Mathematical Notations. 26 (3), pp. 215–230. External Links: ISSN 1934-8703 Cited by: p1.
- [20] (2008-06) Semantic knowledge management for education. 96 (6), pp. 970–989. External Links: Link Cited by: p1.
- [10] (2008) An Institutional View on Categorical Logic. 1 (1), pp. 129–152. Cited by: p1.
- [22] (2008) Embodied conceptualizations: social tagging and e-learning. (1), pp. 58–67. Cited by: p1.
- [34] (2008) Using LaTeX as a semantic markup format. 2 (2), pp. 279–304. External Links: Link Cited by: p1.
- [23] (2007) Learner and learning technology: the interaction process as a full partnership. External Links: Link Cited by: p1.
- [40] (2007) Tagungsbericht – LWA 2006. 1, pp. 61. Note: http://www.kuenstliche-intelligenz.de/index.php?id=7754 External Links: Link Cited by: p1.
- [43] (2007) Solving the $100 Modal Logic Challenge. 1 (1). Cited by: p1.
- [2] (2004) Higher order semantics and extensionality. 69, pp. 1027–1088. External Links: Link Cited by: p1.
- [4] (2004) Inference and computational semantics. 13 (2), pp. 117–120. External Links: Link Cited by: p1.
- [16] (2004) eLearning-, eTeaching- & eResearch-technologien – Chancen und Potentiale für die Mathematik. 12 (2). External Links: Link Cited by: p1.
- [5] (2003) Editorial. 11 (4), pp. 381–384. Cited by: p1.
- [27] (2003) Resource-adaptive model generation as a performance model. 11 (4), pp. 435–456. External Links: Link Cited by: p1.
- [25] (2001) MBase: representing knowledge and context for the integration of mathematical software systems. 32 (4), pp. 365–402. External Links: Document, Link Cited by: p1.
- [13] (2000) Managing structural information by higher-order colored unification. 25 (2), pp. 123–164. External Links: Link Cited by: p1.
- [33] (2000) OMDoc: an infrastructure for OpenMath content dictionary information. 34 (2), pp. 43–48. External Links: Link Cited by: p1.
- [7] (1999) Agent-oriented integration of distributed mathematical services. 5, pp. 156–187. External Links: Link Cited by: p1.
- [8] (1999) MBase: representing mathematical knowledge in a relational data base. 23 (3). Cited by: p1.
- [9] (1999) Higher-order colored unification: a linguistic application. 18 (2), pp. 1–28. External Links: Link Cited by: p1.
- [31] (1999) Higher-order multi-valued resolution. 9. External Links: Link Cited by: p1.
- [48] (1999) L$\mathrm{\Omega}$UI: lovely $\mathrm{\Omega}$mega user interface. 3 (11), pp. 326–342. External Links: Link Cited by: p1.
- [6] (1998) Steuerung der Inferenz in der Diskursverarbeitung. 7 (3), pp. 106–110. External Links: Link Cited by: p1.
- [17] (1998) Integrating computer algebra into proof planning. 21 (3), pp. 327–355. External Links: Link Cited by: p1.
- [49] (1998) $\mathrm{\Omega}$mega, ein mathematisches Assistenzsystem. 7 (3), pp. 101–105. External Links: Link Cited by: p1.
- [12] (1996) Die Beweisentwicklungsumgebung $\mathrm{\Omega}$mega. 11, pp. 20–26. Cited by: p1.
- [18] (1996) A tableau calculus for partial functions. 2, pp. 21–49. External Links: Link Cited by: p1.
- [32] (1996) Sorten für das automatische Beweisen höherer Stufe. Cited by: p1.

- [22] (2013) Mashups using mathematical knowledge. In Semantic mashups, B. Endres-Niggemeyer (Ed.), pp. 171–204. External Links: Link Cited by: p1.
- [8] (2010-01) Social tagging and learning: the fuzzy line between private and public space. External Links: ISBN 978-1-60566-938-0 Cited by: p1.
- [6]
(2009)
Compensating the computational bias of spreadsheets.
In Festschrift in honour of Bernd Krieg-Brückner’s 60
^{th}birthday, B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui and M. Werner (Eds.), pp. 184–200. Cited by: p1. - [9]
(2009)
Formal management of CAD/CAM processes.
In Festschrift in honour of Bernd Krieg-Brückner’s 60
^{th}birthday, B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui and M. Werner (Eds.), pp. 201–216. Cited by: p1. - [7] (2008-04) Added-Value: Getting People into Semantic Work Environments. In Emerging technologies for semantic work environments: techniques, methods, and applications, J. Rech, B. Decker and E. Ras (Eds.), pp. 185–205. Cited by: p1.
- [21] (2008-04) SWiM: a semantic wiki for mathematical knowledge management. In Emerging technologies for semantic work environments: techniques, methods, and applications, J. Rech, B. Decker and E. Ras (Eds.), pp. 47–68. External Links: Link Cited by: p1.
- [3]
(2008)
Cut elimination with xi-functionality.
In Festschrift in honour of Peter B. Andrews on his 70
^{th}birthday, C. Benzmüller, C. Brown, J. Siekmann and R. Statman (Eds.), External Links: Link Cited by: p1. - [19] (2008) Wissensrepräsentation für computerunterstützte Lehre. In Selbstorganisiertes Lernen im Internet, V. Hornung-Prähauser, M. Luckmann and M. Kalz (Eds.), pp. 248–251. Cited by: p1.
- [2] (2007) Towards a Mizar Mathematical Library in OMDoc format. In From insight to proof: festschrift in honour of Andrzej Trybulec, R. Matuszewski and A. Zalewska (Eds.), Studies in Logic, Grammar and Rhetoric, Vol. 10:23, pp. 265–275. External Links: Link Cited by: p1.
- [5] (2006-08) MBase, an open mathematical knowledge base. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.
- [15] (2006-08) Formal Proofs as Mathematical Objects. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI, pp. 177–179. Cited by: p1.
- [16] (2006-08) Representing Proofs (Module PF). In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI, pp. 167–179. Cited by: p1.
- [17] (2006-08) Standardizing context in system interoperability. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.
- [18] (2006-08) STeX: a LaTeX-based workflow for OMDoc. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.
- [20] (2006-08) SWiM – an OMDoc-based semantic wiki. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI. Cited by: p1.
- [23] (2006-08) OMDoc as a Data Format for VeriFun. In OMDoc – an open markup format for mathematical documents [version 1.2], LNAI, pp. 329–332. Cited by: p1.
- [14] (2003) Artificial intelligence: automated reasoning. pp. 247–250. Cited by: p1.
- [4] (2001) Inference and computational semantics. In Computing meaning (volume 2), H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.), pp. 11–28. Cited by: p1.
- [10] (1999) $\mathrm{\Omega}$MEGA – a mathematical assistant. pp. 248–251. External Links: Link Cited by: p1.
- [1] (1998) Automated deduction – a basis for applications. In Automated deduction – a basis for applications, W. Bibel and P. Schmitt (Eds.), Cited by: p1.
- [12] (1998) Automated theorem proving in mathematics. In Automated deduction – a basis for applications, W. Bibel and P. Schmitt (Eds.), pp. 3–7. Cited by: p1.
- [13] (1998) Higher-order automated theorem proving. In Automated deduction – a basis for applications, W. Bibel and P. Schmitt (Eds.), pp. 431–462. External Links: Link Cited by: p1.
- [11] (1992) Beweissysteme mit Logiken höherer Stufe. pp. 213–238. Cited by: p1.

- [66] (2017) Visual structure in math expressions. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [98] (2017) Mathematical models as research data via flexiformal theory graphs. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [104] (2017) Making PVS accessible to generic services by interpretation in a universal format. In Interactive theorem proving 8th international conference, itp 2017, Ayala-Rincón (Ed.), LNCS, Vol. 10499. External Links: Link Cited by: p1.
- [105] (2017) Knowledge-based interoperability for mathematical software systems. In MACIS 2017, J. Blömer, T. Kutsia and D. Simos (Eds.), LNCS. Note: in press External Links: Link Cited by: p1.
- [143] (2017) Classification of alignments between concepts of formal mathematical systems. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [152] (2017) Software citations, information systems, and beyond. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [155] (2017) Virtual theories – a uniform interface to mathematical knowledge bases. In MACIS 2017, J. Blömer, T. Kutsia and D. Simos (Eds.), LNCS. Note: in press External Links: Link Cited by: p1.
- [25] (2016) Interoperability in the OpenDreamKit project: the math-in-the-middle approach. In Intelligent computer mathematics, M. Kohlhase, M. Johansson, B. Miller, L. de Moura and Tompa (Eds.), LNAI. External Links: Link Cited by: p1.
- [35] (2016) The SMGloM project and system. towards a terminology and ontology for mathematics. In Mathematical software - ICMS 2016 - 5th international congress, G. Greuel, T. Koch, P. Paule and A. Sommese (Eds.), LNCS, Vol. 9725. External Links: Link Cited by: p1.
- [39] (2016) Faceted search for mathematics. In MACIS 2015, I. S. Kotsireas, S. M. Rump and C. K. Yap (Eds.), LNCS. External Links: Link Cited by: p1.
- [135] (2016) Formula semantification and automated relation finding in the OEIS. In Mathematical software - ICMS 2016 - 5th international congress, G. Greuel, T. Koch, P. Paule and A. Sommese (Eds.), LNCS, Vol. 9725. External Links: Link Cited by: p1.
- [53] (2015) A flexiformal model of knowledge dissemination and aggregation in mathematics. In Intelligent computer mathematics, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe and Sorge (Eds.), LNCS, pp. 137–152. External Links: Link Cited by: p1.
- [54] (2015) Math literate knowledge management via induced material. In Intelligent computer mathematics, M. Kerber, J. Carette, C. Kaliszyk, F. Rabe and Sorge (Eds.), LNCS, pp. 187–202. External Links: Link Cited by: p1.
- [110] (2015) The SMGloM project or why we need a semantic glossary of mathematics. External Links: Link Cited by: p1.
- [12] (2014) Towards ontological support for principle solutions in mechanical engineering. In Formal ontology in information systems - proceedings of the eighth international conference, FOIS 2014, P. Garbacz and O. Kutz (Eds.), Frontiers in Artificial Intelligence and Applications, Vol. 267, pp. 427–432. External Links: Link, Document Cited by: p1.
- [14] (2014) Set theory or higher order logic to represent auction concepts in Isabelle?. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 236–251. External Links: 1406.0774 Cited by: p1.
- [15] (2014) Realms: a structure for consolidating knowledge about mathematical theories. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 252–266. Note: MKM Best-Paper-Award External Links: Link Cited by: p1.
- [34] (2014) NNexus reloaded. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 423–426. External Links: Link Cited by: p1.
- [36] (2014) E-books and graphics with LaTeXml. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 427–430. External Links: Link Cited by: p1.
- [46] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [51] (2014) System description: MathHub.info. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 431–434. External Links: Link Cited by: p1.
- [52] (2014) Representing, archiving, and searching the space of mathematical knowledge. In Mathematical software - ICMS 2014 - 4th international congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 26–30. External Links: Link, Document Cited by: p1.
- [60] (2014) Towards an interaction-based integration of MKM services into end-user applications. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 344–356. External Links: Link Cited by: p1.
- [61] (2014) Towards knowledge management for HOL Light. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 357–372. External Links: Link Cited by: p1.
- [93] (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Link, Document Cited by: p1.
- [94] (2014) Search interfaces for mathematicians. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
- [95] (2014) System description: a semantics-aware LaTeX-to-office converter. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 440–443. External Links: Link Cited by: p1.
- [97] (2014) Discourse-level parallel markup and meaning adoption in flexiformal theory graphs. In Mathematical software - ICMS 2014 - 4th international congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 36–40. External Links: Link, Document Cited by: p1.
- [123] (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
- [37] (2013) LaTeXml 2012 - a year of LaTeXml. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 335–338. Cited by: p1.
- [67] (2013) Full semantic transparency: overcoming boundaries of applications. In Human-computer interaction – interact 2013, P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson and Winckler (Eds.), LNCS, pp. 406–423. External Links: Link Cited by: p1.
- [92] (2013) Human-spreadsheet interaction. In Human-computer interaction – interact 2013, P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson and Winckler (Eds.), LNCS, pp. 571–578. Cited by: p1.
- [101] (2013) A universal machine for biform theory graphs. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science. External Links: Link Cited by: p1.
- [107] (2013) XLSearch: a search engine for spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013), External Links: Link Cited by: p1.
- [121] (2013) Knowledge management for systematic engineering design in CAD systems. In Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz, F. Lehner, N. Amende and N. Fteimi (Eds.), pp. 202–217. External Links: Link Cited by: p1.
- [122] (2013) The flexiformalist manifesto. In International workshop on symbolic and numeric algorithms for scientific computing (SYNASC 2012), A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt and D. Zaharie (Eds.), pp. 30–36. External Links: Link Cited by: p1.
- [124] (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
- [127] (2013) Applying mechanised reasoning in economics – making reasoners applicable for domain experts. pp. 153–156. External Links: ISBN 978-3-88579-614-5 Cited by: p1.
- [132] (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
- [139] (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
- [140] (2013) Three semantics for the core of the Distributed Ontology Language (extended abstract). Cited by: p1, 137.
- [149] (2013) The MMT API: A Generic MKM System. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 339–343. Cited by: p1.
- [23] (2012) Semantic Alliance: a framework for semantic allies. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 49–64. External Links: Link Cited by: p1.
- [45] (2012) Extending MKM formats at the statement level. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 65–80. External Links: Link Cited by: p1.
- [55] (2012) Management of Change in Declarative Languages. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 325–340. Cited by: p1.
- [59] (2012) Cost-effective integration of mkm semantic services into editing environments. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 96–110. External Links: Link Cited by: p1.
- [102] (2012) MathWebSearch 0.5 – Scaling an Open Formula Search Engine. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 342–357. External Links: Link Cited by: p1.
- [120] (2012) The Planetary project: towards eMath3.0. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 448–452. External Links: 1206.5048 Cited by: p1.
- [125] (2012) Reimplementing the mathematics subject classification (MSC) as a linked open dataset. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 458–462. External Links: 1204.5086 Cited by: p1.
- [126] (2012) Bringing mathematics to the web of data: the case of the mathematics subject classification. In The semantic web, E. Simperl, P. Cimiano, A. Polleres, O. Corcho and Presutti (Eds.), LNCS, pp. 763–777. External Links: Link, Document Cited by: p1.
- [130] (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 463–467. External Links: 1204.5093 Cited by: p1.
- [131] (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. G. ía-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
- [136]
(2012)
Three semantics for the core of the Distributed Ontology Language.
pp. 337–352.
Note: (
*The paper has won the best paper award. Also published at IJCAI 2013 track on Best Papers in Sister Conferences.*) External Links: ISBN 978-1-61499-084-0, Link Cited by: p1. - [137] (2012) Three semantics for the core of the Distributed Ontology Language. pp. 337–352. Note: Extended abstract published as [140] External Links: ISBN 978-1-61499-084-0, Link Cited by: p1.
- [138] (2012) Three semantics for the core of the Distributed Ontology Language. pp. 337–352. External Links: ISBN 978-1-61499-084-0, Link Cited by: p1.
- [148] (2012) A Query Language for Formal Mathematical Libraries. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 142–157. External Links: 1204.4685 Cited by: p1.
- [154] (2012) Point-and-write — documenting formal mathematics by reference. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 169–185. External Links: 1204.5094 Cited by: p1.
- [1] (2011) Licensing the Mizar Mathematical Library. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 149–163. Cited by: p1.
- [4] (2011) Workflows for the management of change in science, technologies, engineering and mathematics. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 164–179. External Links: Link Cited by: p1.
- [16] (2011) Authoring and publishing of units and quantities in semantic documents. In The semantic web: ESWC 2011 workshops, R. García Castro, D. Fensel and G. Antoniou (Eds.), LNCS, pp. 202–216. External Links: Link Cited by: p1.
- [18] (2011) A Proof Theoretic Interpretation of Model Theoretic Hiding. In Recent Trends in Algebraic Development Techniques, H. Kreowski and T. Mossakowski (Eds.), LNCS. Cited by: p1.
- [19] (2011) Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In Recent Trends in Algebraic Development Techniques, H. Kreowski and T. Mossakowski (Eds.), LNCS. Cited by: p1.
- [20] (2011) Project abstract: logic atlas and integrator (LATIN). In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 289–291. External Links: Link Cited by: p1.
- [38] (2011) The LaTeXML daemon: editable math on the collaborative web. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 292–294. External Links: Link Cited by: p1.
- [43] (2011) Combining source, content, presentation, narration, and relational representation. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 212–227. External Links: Link Cited by: p1.
- [44] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [79]
(2011)
Maintaining islands of consistency via versioned links.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC), pp. 167–174. External Links: Link Cited by: p1. - [80] (2011) Maintaining islands of consistency via versioned links. In Intelligent computer mathematics – work in progress papers, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), External Links: Link Cited by: p1.
- [81]
(2011)
Towards a flexible notion of document context.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1. - [108] (2011) A foundational view on integration problems. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 107–122. Note: http://kwarc.info/kohlhase/papers/cicm11-integration.pdf External Links: Link Cited by: p1.
- [128] (2011) The planetary system: executable science, technology, engineering and math papers. In The semantic web: research and applications (part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, Parsia, D. Plexousakis, P. D. Leenheer and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
- [134] (2011) Krextor – an extensible framework for contributing content math to the web of data. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 304–306. External Links: Link Cited by: p1.
- [5]
(2010)
Semantics-based change impact analysis for heterogeneous collections of documents.
In Proceedings of the 10
^{th}ACM symposium on document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1. - [22] (2010) Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram—Alpha. pp. 13–30. Cited by: p1.
- [24] (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
- [57] (2010) sTeXIDE: an integrated development environment for sTeX collections. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI. External Links: Link Cited by: p1.
- [58] (2010) sTeXIDE: an integrated development environment for sTeX collections. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 336–344. External Links: 1005.5489v1 Cited by: p1.
- [68] (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
- [69]
(2010)
sTeX – a system for flexible formalization of linked data.
In 6
^{th}international conference on semantic systems (I-Semantics) and the 5^{th}international conference on pragmatic web, A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.), External Links: 1006.4474v1, Document Cited by: p1. - [78] (2010) What we understand is what we get: assessment in spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2010), S. Thorne (Ed.), pp. 111–121. External Links: Link Cited by: p1.
- [91] (2010) Towards user assistance for documents via interactional semantic technology. In Proceedings of the 33.rd annual german conference on artificial intelligence ki’10, R. Dillmann, J. Beyerer, U. D. Hanebeck and T. Schultz (Eds.), LNAI, pp. 107–115. Cited by: p1.
- [109] (2010) Towards MKM in the large: modular representation and scalable software architecture. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 370–384. External Links: 1005.5232v2 Cited by: p1.
- [156] (2010) A [insert xml format] database for [insert cool application]. In Proceedings of XML Prague 2010, External Links: Link Cited by: p1.
- [158] (2010) Scripting documents with xquery: virtual documents in TNTBase. In Proceedings of balisage: the markup conference 2010, Balisage Series on Markup Technologies. Note: available at http://www.balisage.net/Proceedings/vol3/html/Zholudev01/BalisageVol3-Zholudev01.html External Links: Link Cited by: p1.
- [13] (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI. Cited by: p1.
- [21] (2009-07) Unifying Math Ontologies: A tale of two standards. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 263–278. External Links: Link Cited by: p1.
- [33] (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
- [74] (2009-07) Compensating the computational bias of spreadsheets with MKM techniques. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 357–372. External Links: Link Cited by: p1.
- [75] (2009-07) Spreadsheet interaction with frames: exploring a mathematical practice. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 341–356. External Links: Link Cited by: p1.
- [129] (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
- [6] (2009) Kripke Semantics for Martin-Löf’s Extensional Type Theory. pp. 249–263. Cited by: p1.
- [76]
(2009)
Modeling task experience in user assistance systems.
In Proceedings of the 27
^{th}annual ACM international conference on design of communication (SIGDOC), B. Mehlenbacher, A. Protopsaltis, A. Williams and S. Slatterey (Eds.), pp. 135–142. External Links: Link Cited by: p1. - [77]
(2009)
Semantic transparency in user assistance systems.
In Proceedings of the 27
^{th}annual ACM international conference on design of communication (SIGDOC), B. Mehlenbacher, A. Protopsaltis, A. Williams and S. Slatterey (Eds.), pp. 89–96. External Links: Link Cited by: p1. - [100]
(2009)
Formal management of CAD/CAM processes.
In 16
^{th}international symposium on formal methods (FM 2009), A. Cavalcanti and D. Dams (Eds.), LNCS, pp. 223–238. External Links: Link Cited by: p1. - [151] (2009) Translating Dependently-Typed Logic to First-Order Logic. pp. 326–341. Cited by: p1.
- [157] (2009) TNTBase: a versioned storage for XML. In Proceedings of balisage: the markup conference 2009, Balisage Series on Markup Technologies. Note: available at http://kwarc.info/vzholudev/pubs/balisage.pdf External Links: Link Cited by: p1.
- [90] (2008-06) MS PowerPoint use from a micro-perspective. In Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2008 (ED-MEDIA’08), pp. 1279–1286. External Links: Link Cited by: p1.
- [103] (2008) Notations for living mathematical documents. In Intelligent computer mathematics, S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. and F. Wiedijk (Eds.), LNAI, pp. 504–519. External Links: Link Cited by: p1.
- [133] (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.
- [141] (2008) Towards a community of practice toolkit based on semantically marked up artifacts. pp. 41–50. Cited by: p1.
- [153] (2008) Transforming the arXiv to XML. In Intelligent computer mathematics, S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. and F. Wiedijk (Eds.), LNAI, pp. 574–582. External Links: Link Cited by: p1.
- [83] (2007-09) What can the hundred languages of children teach us?. In Mensch & Computer 2007: Interaktion im Plural, T. Gross (Ed.), Konferenzreihe Mensch und Computer, pp. 189–198. Cited by: p1.
- [87] (2007-06) Semantic powerpoint: content and semantic technology for educational added-value services in MS PowerPoint. In Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2007 (ED-MEDIA’07), C. Montgomerie and J. Seale (Eds.), pp. 3576–3583. External Links: Link Cited by: p1.
- [42] (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.
- [73]
(2007)
*Re*examining the MKM Value Proposition: From Math Web Search to Math Web*Re*Search. In MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 266–279. External Links: Link Cited by: p1. - [88] (2007) Semantic Perspectives on Knowledge Management and E-Learning. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 281–288. Cited by: p1.
- [89] (2007) The music is not in the piano: engaging vs. enabling MS PowerPoint. pp. 2026–2028. Note: St. Antonio, TX (USA), 2007-03-24/28 Cited by: p1.
- [142] (2007) Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies. In 7. konferenz für interaktive und kooperative medien, T. Gross (Ed.), Cited by: p1.
- [144] (2007) Extended formula normalization for $\u03f5$-retrieval and sharing of mathematical knowledge. In MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 266–279. Cited by: p1.
- [85] (2006-03) Media or Medea Society? Learner and Learning Technology as Full Partners. pp. 6–12. Note: Bangkok (Thailand), 2006-03-13/14 Cited by: p1.
- [8] (2006) Cut-simulation in impredicative logics. In Automated reasoning — third international joint conference, ijcar 2006, U. Furbach and N. Shankar (Eds.), LNAI, pp. 220–234. External Links: Link Cited by: p1.
- [41] (2006) Capturing the content of physics: systems, observables, and experiments. In MKM 2006, J. Borwein and W. M. Farmer (Eds.), LNAI, pp. 165–178. External Links: Link Cited by: p1.
- [71] (2006) An exploration in the space of mathematical knowledge. In Mathematical knowledge management, MKM’05, M. Kohlhase (Ed.), LNAI, pp. 17–32. External Links: Link Cited by: p1.
- [72] (2006) Communities of Practice in MKM: An Extensional Model. In MKM 2006, J. Borwein and W. M. Farmer (Eds.), LNAI, pp. 179–193. External Links: Link Cited by: p1.
- [82] (2006) Embodied constructionist learning: social tagging and folksonomies in e-learning environments. Badajoz, Spain. Cited by: p1.
- [86] (2006) What if PowerPoint became emPowerPoint (through CPoint)?. pp. 2934–2939. Note: Orlando (USA), 2006-03-20/24 Cited by: p1.
- [111] (2006) A search engine for mathematical formulae. In Proceedings of artificial intelligence and symbolic computation, AISC’2006, T. Ida, J. Calmet and D. Wang (Eds.), LNAI, pp. 241–253. External Links: Link Cited by: p1.
- [145] (2006) Enhanced theorem reuse by partial theory inclusions. In Proceedings of artificial intelligence and symbolic computation, AISC’2006, T. Ida, J. Calmet and D. Wang (Eds.), LNAI, pp. 40–52. Cited by: p1.
- [147] (2006) First-Order Logic with Dependent Types. In Automated reasoning — third international joint conference, ijcar 2006, U. Furbach and N. Shankar (Eds.), LNAI, pp. 377–391. Cited by: p1.
- [84] (2005-11) Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In Open source for education in europe: research and practise, F. de Vries, G. Attwell, R. Elferink and A. Tödt (Eds.), pp. 51–56. Cited by: p1.
- [119] (2005-11) OMDoc: Open Mathematical Documents. In Open source for education in europe: research and practise, F. de Vries, G. Attwell, R. Elferink and A. Tödt (Eds.), pp. 137–143. Cited by: p1.
- [70] (2004) CPoint: dissolving the author’s dilemma. In Mathematical knowledge management, MKM’04, A. Asperti, G. Bancerek and A. Trybulec (Eds.), LNAI, pp. 175–189. External Links: Link Cited by: p1.
- [17]
(2003-09)
System description: analytica 2.
In 11
^{th}symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2003), T. Hardin and R. Rioboo (Eds.), pp. 69–74. External Links: Link Cited by: p1. - [96] (2003) Towards collaborative content management and version control for structured mathematical knowledge. In Mathematical knowledge management, MKM’03, A. Asperti, B. Buchberger and J. H. Davenport (Eds.), LNCS, pp. 147–161. External Links: Link Cited by: p1.
- [3] (2002) MathML in the MoWGLI project. In Second international conference on mathml and technologies for math on the web, External Links: Link Cited by: p1.
- [112] (2002) Acquisition of math content in an academic setting. In Second international conference on mathml and technologies for math on the web, External Links: Link Cited by: p1.
- [150] (2002) Proof development with $\mathrm{\Omega}$mega. In Automated deduction — cade-18, A. Voronkov (Ed.), LNAI, pp. 144–149. Cited by: p1.
- [159] (2002) System Description: The MathWeb software bus for distributed mathematical reasoning. In Automated deduction — cade-18, A. Voronkov (Ed.), LNAI, pp. 247–252. External Links: Link Cited by: p1.
- [117] (2001) Formal representation issues in an open mathematical knowledge base. In Electronic proceedings of the first international workshop on mathematical knowledge management: MKM’2001, B. Buchberger and O. Caprotti (Eds.), External Links: Link Cited by: p1.
- [118] (2001) OMDoc: towards an internet standard for the administration, distribution and teaching of mathematical knowledge. In Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2000, E. R. Lozano (Ed.), LNAI, pp. 32–52. External Links: Link Cited by: p1.
- [2] (2000) Communication protocols for mathematical services based on KQML and OMRS. In CALCULEMUS-2000, systems for integrated computation and deduction, M. Kerber and M. Kohlhase (Eds.), pp. 34–48. External Links: Link Cited by: p1.
- [28] (2000) System description: MBase, an open mathematical knowledge base. In Automated Deduction – cade-17, D. McAllester (Ed.), LNAI, pp. 455–459. External Links: Link Cited by: p1.
- [116]
(2000)
Model generation for discourse representation theory.
In Proceedings of of the 14
^{th}european conference on artifical intelligence, W. Horn (Ed.), pp. 441–445. External Links: Link Cited by: p1. - [146] (2000) Feature logic for dotted types: a formalism for complex word meanings. Hongkong, pp. 521–528. External Links: Link Cited by: p1.
- [11] (1999) Inference and computational semantics. In Proceedings of IWCS III (third international workshop on computational semantics), H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.), pp. 5–19. Cited by: p1.
- [27] (1999) System description: MathWeb, an agent-based communication layer for distributed automated theorem proving. In Automated deduction — CADE-16, H. Ganzinger (Ed.), LNAI, pp. 217–221. External Links: Link Cited by: p1.
- [40]
(1998-07)
An implementation of distributed mathematical services.
In 6
^{th}calculemus and types workshop, A. Cohen and H. Barendregt (Eds.), Cited by: p1. - [9]
(1998)
Extensional higher order resolution.
In Proceedings of the 15
^{th}Conference on Automated Deduction, C. Kirchner and H. Kirchner (Eds.), LNAI, pp. 56–72. External Links: Link Cited by: p1. - [10]
(1998)
LEO – a higher order theorem prover.
In Proceedings of the 15
^{th}Conference on Automated Deduction, C. Kirchner and H. Kirchner (Eds.), LNAI, pp. 139–144. External Links: Link Cited by: p1. - [7]
(1997)
$\mathrm{\Omega}$mega: towards a mathematical assistant.
In Proceedings of the 14
^{th}Conference on Automated Deduction, W. McCune (Ed.), LNAI, pp. 252–255. External Links: Link Cited by: p1. - [26] (1997) Dynamic control of quantifier scope. Amsterdam, The Netherlands, pp. 109–114. Cited by: p1.
- [32]
(1997)
Computing parallelism in discourse.
In Proceedings of the 15
^{th}International Joint Conference on Artificial Intelligence (IJCAI), M. E. Pollack (Ed.), pp. 1016–1021. External Links: Link Cited by: p1. - [50]
(1997)
A coloured version of the $\lambda $-calculus.
In Proceedings of the 14
^{th}Conference on Automated Deduction, W. McCune (Ed.), LNAI, pp. 291–305. Cited by: p1. - [65] (1997) Mechanising partiality without re-implementation. In Proceedings of the 18.th annual german conference on artificial intelligence ki’97, G. Brewka, C. Habel and B. Nebel (Eds.), LNAI, pp. 123–134. External Links: Link Cited by: p1.
- [99] (1997) Dynamic lambda calculus. pp. 85–92. Cited by: p1.
- [64]
(1996-08)
A resolution calculus for presuppositions.
In Proceedings of the 12
^{th}european conference on artificial intelligence, W. Wahlster (Ed.), pp. 375–379. External Links: Link Cited by: p1. - [29] (1996) Corrections and higher-order unification. Bielefeld, Germany, pp. 268–279. External Links: Link Cited by: p1.
- [30] (1996) Focus and higher–order unification. Copenhagen, pp. 268–279. External Links: Link Cited by: p1.
- [31] (1996) Higher–order coloured unification and natural language semantics. Santa Cruz, pp. 1–9. External Links: Link Cited by: p1.
- [62] (1996) Integrating computer algebra with proof planning. In Design and implementation of symbolic computation systems, disco’96, J. Calmet and C. Limogelli (Eds.), LNCS, pp. 204–215. Cited by: p1.
- [115] (1995) Higher-order tableaux. Koblenz, Germany, pp. 294–309. External Links: Link Cited by: p1.
- [47]
(1994)
KEIM: a toolkit for automated deduction.
In Proceedings of the 12
^{th}Conference on Automated Deduction, A. Bundy (Ed.), LNAI, pp. 807–810. External Links: Link Cited by: p1. - [48]
(1994)
$\mathrm{\Omega}$-MKRP a proof development environment.
In Proceedings of the 12
^{th}Conference on Automated Deduction, A. Bundy (Ed.), LNAI, pp. 788–792. External Links: Link Cited by: p1. - [49]
(1994)
Adapting methods to novel tasks in proof planning.
In 18
^{th}annual german conference on aritificial intelligence, B. Nebel and L. Dreschler-Fischer (Eds.), LNAI, pp. 379–390. External Links: Link Cited by: p1. - [56]
(1994)
Unification in an extensional lambda calculus with ordered function sorts and constant overloading.
In Proceedings of the 12
^{th}Conference on Automated Deduction, A. Bundy (Ed.), LNAI, pp. 620–634. External Links: Link Cited by: p1. - [63]
(1994)
A mechanization of strong Kleene logic for partial functions.
In Proceedings of the 12
^{th}Conference on Automated Deduction, A. Bundy (Ed.), LNAI, pp. 371–385. External Links: Link Cited by: p1. - [114]
(1994)
Unification in a $\lambda $-calculus with term declarations and function sorts.
In 18
^{th}annual german conference on aritificial intelligence, B. Nebel and L. Dreschler-Fischer (Eds.), LNAI, pp. 331–342. External Links: Link Cited by: p1. - [106] (1993) Unification in a $\lambda $-calculus with intersection types. pp. 488–505. External Links: Link Cited by: p1.
- [113] (1992) Unification in order-sorted type theory. In Proceedings of the international conference on logic programming and automated reasoning lpar’92, A. Voronkov (Ed.), LNAI, pp. 421–432. Cited by: p1.

- [9] A. Koslow and A. Buchsbaum (Eds.) (2015) The road to universal logic, festschrift for the 50th birthday of Jean-Yves Béziau. Vol. 2, Springer Verlag. Cited by: p1.
- [9] A. Koslow and A. Buchsbaum (Eds.) (2015) The road to universal logic, festschrift for the 50th birthday of Jean-Yves Béziau. Vol. 2, Springer Verlag. Cited by: p1.
- [4] B. Endres-Niggemeyer (Ed.) (2013) Semantic mashups. Springer. External Links: Link, ISBN 978-3-642-36402-0 Cited by: p1.
- [4] B. Endres-Niggemeyer (Ed.) (2013) Semantic mashups. Springer. External Links: Link, ISBN 978-3-642-36402-0 Cited by: p1.
- [12] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [13] External Links: Link Cited by: 13.
- [13] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [12] External Links: ISBN 978-1-60750-840-3, Link Cited by: p1, 12.
- [14] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3 Cited by: p1.
- [19] D. Schwartz and D. Te’eni (Eds.) (2011) Encyclopedia of knowledge management. 2 edition, Idea Group Reference. Cited by: p1.
- [12] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [13] External Links: Link Cited by: 13.
- [13] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [12] External Links: ISBN 978-1-60750-840-3, Link Cited by: p1, 12.
- [14] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3 Cited by: p1.
- [19] D. Schwartz and D. Te’eni (Eds.) (2011) Encyclopedia of knowledge management. 2 edition, Idea Group Reference. Cited by: p1.
- [7]
B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui and M. Werner (Eds.) (2009)
Festschrift in honour of Bernd Krieg-Brückner’s 60
^{th}birthday. DFKI. Cited by: p1. - [7]
B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui and M. Werner (Eds.) (2009)
Festschrift in honour of Bernd Krieg-Brückner’s 60
^{th}birthday. DFKI. Cited by: p1. - [17] J. Rech, B. Decker and E. Ras (Eds.) (2008-04) Emerging technologies for semantic work environments: techniques, methods, and applications. IGI Global. External Links: Document, Link Cited by: p1.
- [17] J. Rech, B. Decker and E. Ras (Eds.) (2008-04) Emerging technologies for semantic work environments: techniques, methods, and applications. IGI Global. External Links: Document, Link Cited by: p1.
- [1]
C. Benzmüller, C. Brown, J. Siekmann and R. Statman (Eds.) (2008)
Festschrift in honour of Peter B. Andrews on his 70
^{th}birthday. College Publications. Cited by: p1. - [1]
C. Benzmüller, C. Brown, J. Siekmann and R. Statman (Eds.) (2008)
Festschrift in honour of Peter B. Andrews on his 70
^{th}birthday. College Publications. Cited by: p1. - [15] (2007) LNCS: Online Communities and Social Computing. Springer Berlin/ Heidelberg. External Links: ISBN 978-3-540-73256-3, Document, Link Cited by: p1.
- [16] R. Matuszewski and A. Zalewska (Eds.) (2007) From insight to proof: festschrift in honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric, Vol. 10:23, University of Białystok. External Links: Link Cited by: p1.
- [15] (2007) LNCS: Online Communities and Social Computing. Springer Berlin/ Heidelberg. External Links: ISBN 978-3-540-73256-3, Document, Link Cited by: p1.
- [16] R. Matuszewski and A. Zalewska (Eds.) (2007) From insight to proof: festschrift in honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric, Vol. 10:23, University of Białystok. External Links: Link Cited by: p1.
- [11] C. Lange (Ed.) (2006-09) Wikis und blogs – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-44-4 Cited by: p1.
- [11] C. Lange (Ed.) (2006-09) Wikis und blogs – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-44-4 Cited by: p1.
- [8] (2006-08) OMDoc – an open markup format for mathematical documents [version 1.2]. LNAI, Springer Verlag. External Links: Link Cited by: p1.
- [8] (2006-08) OMDoc – an open markup format for mathematical documents [version 1.2]. LNAI, Springer Verlag. External Links: Link Cited by: p1.
- [10] C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.
- [10] C. Lange (Ed.) (2005-09) Wiki – Planen, Einrichten, Verwalten. C&L Computer- und Literaturverlag. External Links: ISBN 3-936546-28-2 Cited by: p1.
- [18] D. G. Schwartz (Ed.) (2005) Encyclopedia of knowledge management. Idea Group Reference. Cited by: p1.
- [18] D. G. Schwartz (Ed.) (2005) Encyclopedia of knowledge management. Idea Group Reference. Cited by: p1.
- [3] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.) (2001) Computing meaning (volume 2). Kluwer Academic Publishers. Cited by: p1.
- [3] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.) (2001) Computing meaning (volume 2). Kluwer Academic Publishers. Cited by: p1.
- [2] W. Bibel and P. Schmitt (Eds.) (1998) Automated deduction – a basis for applications. Kluwer. Cited by: p1.
- [2] W. Bibel and P. Schmitt (Eds.) (1998) Automated deduction – a basis for applications. Kluwer. Cited by: p1.
- [23] J. van Benthem and T. Meulen (Eds.) (1995) Handbook of logic and language. Elsevier Science B.V.. Cited by: p1.
- [23] J. van Benthem and T. Meulen (Eds.) (1995) Handbook of logic and language. Elsevier Science B.V.. Cited by: p1.
- [20] J. Speck (Ed.) (1992) Grundprobleme der großen philosophen : philosophie der neuzeit. vol. 6. tarski, reichenbach, kraft, gödel, neurath. UTB für Wissenschaft, Vol. 1654, UTB (available). External Links: ISBN 3-525-03319 Cited by: p1.
- [20] J. Speck (Ed.) (1992) Grundprobleme der großen philosophen : philosophie der neuzeit. vol. 6. tarski, reichenbach, kraft, gödel, neurath. UTB für Wissenschaft, Vol. 1654, UTB (available). External Links: ISBN 3-525-03319 Cited by: p1.
- [21] A. Tarski, S. Givant and R. McKenzie (Eds.) (1986) Alfred tarski : collected papers – vol. 1 / 1921–1934. Birkhäuser, Basel (available). External Links: ISBN 0-8176-3280-8 Cited by: p1.
- [21] A. Tarski, S. Givant and R. McKenzie (Eds.) (1986) Alfred tarski : collected papers – vol. 1 / 1921–1934. Birkhäuser, Basel (available). External Links: ISBN 0-8176-3280-8 Cited by: p1.
- [6] D. Gabbay and F. Guenthner (Eds.) (1984) Handbook of philosophical logic. D. Reidel. Cited by: p1.
- [6] D. Gabbay and F. Guenthner (Eds.) (1984) Handbook of philosophical logic. D. Reidel. Cited by: p1.
- [5] D. Gabbay and F. Guenthner (Eds.) (1983) Handbook of Philosophical Logic. Reidel, Dordrecht. Cited by: p1.
- [5] D. Gabbay and F. Guenthner (Eds.) (1983) Handbook of Philosophical Logic. Reidel, Dordrecht. Cited by: p1.
- [22] R. Thomason (Ed.) (1974) Formal philosophy: selected papers of richard montague. Yale University Press, New Haven, CT. Cited by: p1.
- [22] R. Thomason (Ed.) (1974) Formal philosophy: selected papers of richard montague. Yale University Press, New Haven, CT. Cited by: p1.
- [24]
(1967)
From frege to gödel: a source book in mathematical logic 1879-1931.
3
^{rd}printing, 1997 edition, Source books in the history of the sciences series, Harvard Univ. Press, Cambridge, MA. External Links: ISBN 0-674-32450-1 Cited by: p1. - [24]
(1967)
From frege to gödel: a source book in mathematical logic 1879-1931.
3
^{rd}printing, 1997 edition, Source books in the history of the sciences series, Harvard Univ. Press, Cambridge, MA. External Links: ISBN 0-674-32450-1 Cited by: p1.

- [17] Ayala-Rincón (Ed.) (2017) Interactive theorem proving 8th international conference, itp 2017. LNCS, Vol. 10499, Springer. External Links: ISBN 978-3-319-66107-0 Cited by: p1.
- [26] J. Blömer, T. Kutsia and D. Simos (Eds.) (2017) MACIS 2017. LNCS, Springer Verlag. Cited by: p1.
- [85] H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.) (2017) Intelligent computer mathematics. LNAI, Springer. External Links: Document, ISBN 978-3-319-62074-9 Cited by: p1.
- [91] G. Greuel, T. Koch, P. Paule and A. Sommese (Eds.) (2016) Mathematical software - ICMS 2016 - 5th international congress. LNCS, Vol. 9725, Springer. External Links: Document Cited by: p1.
- [137] M. Kohlhase, M. Johansson, B. Miller, L. de Moura and Tompa (Eds.) (2016) Intelligent computer mathematics. LNAI, Springer. External Links: ISBN 978-3-319-08434-3 Cited by: p1.
- [140] I. S. Kotsireas, S. M. Rump and C. K. Yap (Eds.) (2016) MACIS 2015. LNCS, Springer Verlag. Cited by: p1.
- [133] M. Kerber, J. Carette, C. Kaliszyk, F. Rabe and Sorge (Eds.) (2015) Intelligent computer mathematics. LNCS, Springer. External Links: ISBN 978-3-319-20615-8 Cited by: p1.
- [84] P. Garbacz and O. Kutz (Eds.) (2014) Formal ontology in information systems - proceedings of the eighth international conference, FOIS 2014. Frontiers in Artificial Intelligence and Applications, Vol. 267, IOS Press. External Links: ISBN 978-1-61499-437-4 Cited by: p1.
- [96] H. Hong and C. Yap (Eds.) (2014) Mathematical software - ICMS 2014 - 4th international congress. LNCS, Vol. 8592, Springer. External Links: Link, Document, ISBN 978-3-662-44198-5 Cited by: p1.
- [253] S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.) (2014) Intelligent computer mathematics. LNCS, Springer. External Links: ISBN 978-3-319-08433-6 Cited by: p1.
- [25] S. Blazy, C. Paulin-Mohring and D. Pichardie (Eds.) (2013) Interactive theorem proving. LNCS, Vol. 7998, Springer. External Links: ISBN 978-3-642-39633-5 Cited by: p1.
- [49] J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.) (2013) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. External Links: Document, ISBN 978-3-642-39319-8 Cited by: p1.
- [131] G. J. F. Jones, P. Sheridan, D. Kelly, M. de Rijke and T. Sakai (Eds.) (2013) Proceedings of the 36th international ACM SIGIR conference on research and development in information retrieval. ACM, New York, NY, USA. External Links: ISBN 978-1-4503-2034-4 Cited by: p1.
- [141] P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson and Winckler (Eds.) (2013) Human-computer interaction – interact 2013. LNCS, Springer. External Links: ISBN 978-3-642-40476-4 Cited by: p1.
- [142] P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson and Winckler (Eds.) (2013) Human-computer interaction – interact 2013. LNCS, Springer. External Links: ISBN 978-3-642-40497-9 Cited by: p1.
- [145] F. Lehner, N. Amende and N. Fteimi (Eds.) (2013) Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz. GITO Verlag. External Links: ISBN 978-3-95545-016-8 Cited by: p1.
- [163] S. Marinai and K. Marriott (Eds.) (2013) Proceedings of the 2013 ACM symposium on document engineering. External Links: ISBN 978-1-4503-1789-4 Cited by: p1.
- [168] T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.) (2013) Recent Trends in Algebraic Development Techniques. LNCS, Springer. Cited by: p1.
- [233] (2013) Symp. of the european spreadsheet risks interest group (EuSpRIG 2013). Cited by: p1.
- [250] A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt and D. Zaharie (Eds.) (2013) International workshop on symbolic and numeric algorithms for scientific computing (SYNASC 2012). IEEE Press, Timisoara, Romania. External Links: ISBN 978-1-4673-5026-6 Cited by: p1.
- [193] (2012-07) Proceedings of the 2012 joint conference on empirical methods in natural language processing and computational natural language learning. Association for Computational Linguistics. Cited by: p1.
- [5] G. Aguado de Cea, M. C. Suárez-Figueroa, R. G. ía-Castro and E. Montiel-Ponsoda (Eds.) (2012) Terminology and knowledge engineering conference (TKE). External Links: ISBN 978-84-695-4333-7, Link Cited by: p1.
- [130] J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.) (2012) Intelligent computer mathematics. LNAI, Springer Verlag. External Links: ISBN 978-3-642-31373-8 Cited by: p1.
- [226] E. Simperl, P. Cimiano, A. Polleres, O. Corcho and Presutti (Eds.) (2012) The semantic web. LNCS, Springer. External Links: Document, ISBN 978-3-642-30283-1 Cited by: p1.
- [192] (2011-07) Proceedings of the 2011 conference on empirical methods in natural language processing. Association for Computational Linguistics. Cited by: p1.
- [202] (2011-06) Proceedings of the 49th annual meeting of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [9] G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, Parsia, D. Plexousakis, P. D. Leenheer and J. Z. Pan (Eds.) (2011) The semantic web: research and applications (part II). LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-21033-4 Cited by: p1.
- [13] L. Aroyo, C. Welty, H. Alani, J. Taylor, A. Bernstein, L. Kagal, N. F. Noy and E. Blomqvist (Eds.) (2011) The semantic web (part I). LNCS, Springer. External Links: ISBN 978-3-642-25072-9 Cited by: p1.
- [24] N. Bjørner and V. Sofronie-Stokkermans (Eds.) (2011) Automated deduction – cade-23: 23rd international conference on automated deduction. LNAI, Springer. External Links: ISBN 978-3-642-22438-6 Cited by: p1.
- [54] J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.) (2011) Intelligent computer mathematics. LNAI, Springer Verlag. External Links: ISBN 978-3-642-22672-4 Cited by: p1.
- [104] (2011) IEEE 7th international conference on e-science, e-science 2011, stockholm, sweden, december 5-8, 2011. IEEE Computer Society. External Links: ISBN 978-1-4577-2163-2 Cited by: p1.
- [143] H. Kreowski and T. Mossakowski (Eds.) (2011) Recent Trends in Algebraic Development Techniques. LNCS, Springer. Cited by: p1.
- [197]
(2011)
Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC). ACM Press, ACM Special Interest Group for Design of Communication, New York, NY, USA. Cited by: p1. - [241] R. N. Taylor, H. Gall and N. Medvidovic (Eds.) (2011) Proceedings of the 33rd international conference on software engineering, icse 2011. ACM. External Links: ISBN 978-1-4503-0445-0 Cited by: p1.
- [190] (2010-10) Proceedings of the 2010 conference on empirical methods in natural language processing. Association for Computational Linguistics. Cited by: p1.
- [201] (2010-07) Proceedings of the 48th annual meeting of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [100] (2010-06) Human language technologies: the 2010 annual conference of the north american chapter of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [3]
(2010)
6
^{th}IEEE e-science conference. Cited by: p1. - [10] L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.) (2010) The semantic web: research and applications (part I). LNCS, Springer Verlag. Cited by: p1.
- [11] L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.) (2010) The semantic web: research and applications (part II). LNCS, Springer Verlag. Cited by: p1.
- [16] S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.) (2010) Intelligent computer mathematics. LNAI, Springer Verlag. External Links: ISBN 3642141277 Cited by: p1.
- [64] R. Dillmann, J. Beyerer, U. D. Hanebeck and T. Schultz (Eds.) (2010) Proceedings of the 33.rd annual german conference on artificial intelligence ki’10. LNAI, Karlsruhe, Germany. Cited by: p1.
- [90]
M. Gormish and R. Ingold (Eds.) (2010)
Proceedings of the 10
^{th}ACM symposium on document engineering. DocEng ’10, ACM, New York, NY, USA. External Links: ISBN 978-1-4503-0231-9 Cited by: p1. - [121]
A. Paschke, N. Henze, T. Pellegrini and H. Weigand (Eds.) (2010)
6
^{th}international conference on semantic systems (I-Semantics) and the 5^{th}international conference on pragmatic web. ACM. External Links: ISBN 978-1-4503-0014-8, Link Cited by: p1. - [191] (2010) Proceedings of the 2010 international symposium on symbolic and algebraic computation (ISSAC). ACM Press. Cited by: p1.
- [196] (2010) Proceedings of the 28th ACM international conference on design of communication. SIGDOC ’10, ACM Press, ACM Special Interest Group for Design of Communication, New York, NY, USA. External Links: ISBN 978-1-4503-0403-0, Document Cited by: p1.
- [211] (2010) Proceedings of XML Prague 2010. External Links: Link Cited by: p1.
- [242] S. Thorne (Ed.) (2010) Symp. of the european spreadsheet risks interest group (EuSpRIG 2010). European Spreadsheet Risk Interest Group. External Links: ISBN 978-1-905404-50-6 Cited by: p1.
- [23] A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum, Maynard, E. Motta and K. Thirunarayan (Eds.) (2009-10) The semantic web – iswc 2009. LNCS, Springer Verlag. Cited by: p1.
- [189] (2009-08) Proceedings of the 2009 conference on empirical methods in natural language processing. Association for Computational Linguistics. Cited by: p1.
- [50] J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.) (2009-07) MKM/Calculemus proceedings. LNAI, Springer Verlag. External Links: ISBN 978-3-642-02613-3 Cited by: p1.
- [12] L. Aroyo, P. Traverso, F. Ciravegna, P. Cimiano, T. Heath, E. Hyvönen, R. Mizoguchi, E. Oren, M. Sabou and E. Paslaru Bontas Simperl (Eds.) (2009) The semantic web: research and applications. LNCS, Springer Verlag. Cited by: p1.
- [51]
A. Cavalcanti and D. Dams (Eds.) (2009)
16
^{th}international symposium on formal methods (FM 2009). LNCS, Springer Verlag. Cited by: p1. - [166]
B. Mehlenbacher, A. Protopsaltis, A. Williams and S. Slatterey (Eds.) (2009)
Proceedings of the 27
^{th}annual ACM international conference on design of communication (SIGDOC). ACM Press, ACM Special Interest Group for Design of Communication, New York, NY, USA. External Links: Document Cited by: p1. - [213]
J. Quemada, G. León, Y. S. Maarek and W. Nejdl (Eds.) (2009)
Proceedings of the 18
^{th}international World Wide Web conference (WWW). ACM Press. External Links: ISBN 978-1-60558-487-4 Cited by: p1. - [187] (2008-10) Proceedings of the 2008 conference on empirical methods in natural language processing. Association for Computational Linguistics. Cited by: p1.
- [225] A. P. Sheth, S. Staab, M. Dean, M. Paolucci, D. Maynard, T. W. Finin and K. Thirunarayan (Eds.) (2008-10) The semantic web. LNCS, Springer Verlag. Cited by: p1.
- [72] (2008-06) Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2008 (ED-MEDIA’08). AACE. Cited by: p1.
- [200] (2008-06) Proceedings of the 46th annual meeting of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [21] S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.) (2008) The semantic web: research and applications. LNCS, Springer Verlag. Cited by: p1.
- [53] S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. and F. Wiedijk (Eds.) (2008) Intelligent computer mathematics. LNAI, Springer Verlag. Cited by: p1.
- [83] A. Gangemi and J. Euzenat (Eds.) (2008) Knowledge engineering: practice and patterns. LNCS, Springer Verlag. External Links: ISBN 978-3-540-87695-3 Cited by: p1.
- [86]
M. Ghallab, C. D. Spyropoulos, N. Fakotakis and N. M. Avouris (Eds.) (2008)
ECAI 2008 – 18
^{th}european conference on artificial intelligence, patras, greece, july 21-25, 2008, proceedings. Frontiers in Artificial Intelligence and Applications, Vol. 178, IOS Press. External Links: ISBN 978-1-58603-891-5, Link Cited by: p1. - [97]
J. Huai, R. Chen, H. Hon, Y. Liu, W. M. , A. Tomkins and X. Zhang (Eds.) (2008)
Proceedings of the 17
^{th}international World Wide Web conference (WWW). ACM Press. External Links: ISBN 978-1-60558-085-2 Cited by: p1. - [99] (2008) Human language technologies: the 2008 annual conference of the north american chapter of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [188] (2008) Proceedings of the 2008 conference on human factors in computing systems (CHI). ACM. Cited by: p1.
- [169] T. Gross (Ed.) (2007-09) Mensch & Computer 2007: Interaktion im Plural. Konferenzreihe Mensch und Computer, Oldenbourg Verlag, Bauhaus-Universität Weimar, Germany. Note: 7.te Fachübergreifende Konferenz Cited by: p1.
- [71] C. Montgomerie and J. Seale (Eds.) (2007-06) Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2007 (ED-MEDIA’07). AACE. Note: Vancouver, Canada Cited by: p1.
- [4] K. Aberer, K. Choi, N. F. Noy, D. Allemang, K. Lee, L. J. B. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber and P. Cudré-Mauroux (Eds.) (2007) The semantic web. LNCS, Springer Verlag. External Links: ISBN 978-3-540-76297-3 Cited by: p1.
- [76] J. Fiadeiro (Ed.) (2007) WADT 2006. LNCS, Springer. Cited by: p1.
- [78] E. Franconi, M. Kifer and W. May (Eds.) (2007) The semantic web: research and applications. LNCS, Springer Verlag. External Links: ISBN 978-3-540-72666-1 Cited by: p1.
- [92] T. Gross (Ed.) (2007) 7. konferenz für interaktive und kooperative medien. Oldenburg. Cited by: p1.
- [93] T. Gross (Ed.) (2007) Mensch & computer 2007: konferenz für interaktive und kooperative medien, bauhaus-universität weimar, weimar, germany, 2-5 september 2007. Oldenbourg Verlag. Cited by: p1.
- [98] (2007) Human language technologies: the 2007 annual conference of the north american chapter of the association for computational linguistics. Association for Computational Linguistics. Cited by: p1.
- [132] M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.) (2007) MKM/Calculemus. LNAI, Springer Verlag. External Links: ISBN 978-3-540-73083-5 Cited by: p1.
- [173]
F. Pfenning (Ed.) (2007)
Automated deduction – cade-21, 21
^{st}international conference on automated deduction, bremen, germany, july 17-20, 2007, proceedings. LNCS, Springer. External Links: ISBN 978-3-540-73594-6 Cited by: p1. - [215] M. B. Rosson and D. J. Gilmore (Eds.) (2007) Proceedings of the 2007 conference on human factors in computing systems, chi 2007, san jose, california, usa, april 28 - may 3, 2007. ACM. External Links: ISBN 978-1-59593-593-9 Cited by: p1.
- [223] K. Schneider and J. Brandt (Eds.) (2007) Theorem proving in higher order logics, 20th international conference, tphols 2007, kaiserslautern, germany, september 10-13, 2007, proceedings. LNCS, Springer. External Links: ISBN 978-3-540-74590-7 Cited by: p1.
- [232] (2007) Symp. of the european spreadsheet risks interest group (EuSpRIG 2007). Cited by: p1.
- [238]
O. Grumberg and M. Huth (Eds.) (2007)
Proceedings of the 13
^{th}international conference on tools and algorithms for the construction and analysis of systems tacas-2007. LNCS, Springer Verlag, Berlin, Germany. Cited by: p1. - [254]
C. L. Williamson, M. E. Zurko, P. F. Patel-Schneider and P. J. Shenoy (Eds.) (2007)
Proceedings of the 16
^{th}international World Wide Web conference (WWW). ACM Press. External Links: ISBN 978-1-59593-654-7 Cited by: p1. - [94] G. Hanna, H. N. Jahnke and H. Pulte (Eds.) (2006-11) Conference on Explanation and Proof in Mathematics: Philosophical and Educational Perspectives. External Links: Link Cited by: p1.
- [27] J. Borwein and W. M. Farmer (Eds.) (2006) MKM 2006. LNAI, Springer Verlag. Cited by: p1.
- [56]
I. F. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika, M. Uschold and L. Aroyo (Eds.) (2006)
5
^{th}international semantic web conference (ISWC). LNCS, Springer Verlag. External Links: ISBN 3-540-49029-9 Cited by: p1. - [65]
P. Doherty, J. Mylopoulos and C. A. Welty (Eds.) (2006)
Proceedings, 10
^{th}international conference on principles of knowledge representation and reasoning. AAAI Press. External Links: ISBN 978-1-57735-271-6 Cited by: p1. - [74]
D. W. Embley, A. Olive and S. Ram (Eds.) (2006)
25
^{th}international conference on conceptual modeling (ER2006). LNCS. Cited by: p1. - [79] C. Freksa, M. Kohlhase and K. Schill (Eds.) (2006) Proceedings of the 29.th annual german conference on artificial intelligence KI’06. LNAI, Bremen, Germany. Cited by: p1.
- [102]
(2006)
ICSE ’06: proceedings of the 28
^{th}international conference on software engineering. ACM, New York, NY, USA. External Links: ISBN 1-59593-375-1, Document, Link Cited by: p1. - [103] T. Ida, J. Calmet and D. Wang (Eds.) (2006) Proceedings of artificial intelligence and symbolic computation, AISC’2006. LNAI, Springer Verlag. Cited by: p1.
- [119] U. Furbach and N. Shankar (Eds.) (2006) Automated reasoning — third international joint conference, ijcar 2006. LNAI, Springer Verlag, Seattle, USA. Cited by: p1.
- [120] M. Ikeda, K. D. Ashley and T. Chan (Eds.) (2006) Intelligent tutoring systems, 8th international conference, its 2006, jhongli, taiwan, june 26-30, 2006, proceedings. LNCS, Springer. External Links: ISBN 3-540-35159-0 Cited by: p1.
- [138] M. Kohlhase (Ed.) (2006) Mathematical knowledge management, MKM’05. LNAI, Springer Verlag. Cited by: p1.
- [185]
(2006)
Proceedings of the 15
^{th}international World Wide Web conference (WWW). ACM Press. Cited by: p1. - [228] Y. Sure and J. Domingue (Eds.) (2006) The semantic web: research and applications. LNCS, Springer. External Links: ISBN 3-540-34544-2 Cited by: p1.
- [240] N. Takayama and A. Iglesias (Eds.) (2006) Proceedings of icms 2006. LNAI, Springer Verlag. Cited by: p1.
- [171]
R. Nieuwenhuis (Ed.) (2005-07)
Proceedings of the 20
^{th}international conference on automated deduction (cade-20). LNAI, Springer, Tallinn, Estonia. Cited by: p1. - [1]
(2005)
20
^{th}IEEE/ACM international conference on automated seofware engineering. IEEE Computer Society. Cited by: p1. - [22] B. Benatallah, F. Casati and P. Traverso (Eds.) (2005) Service-oriented computing – icsoc 2005, third international conference, amsterdam, the netherlands, december 12-15, 2005, proceedings. LNCS, Springer. External Links: ISBN 3-540-30817-2 Cited by: p1.
- [62] A. K. Dey, B. N. Kokinov, D. B. Leake and R. M. Turner (Eds.) (2005) Modeling and using context, 5th international and interdisciplinary conference, context 2005, paris, france, july 5-8, 2005, proceedings. LNCS, Springer. External Links: ISBN 3-540-26924-X Cited by: p1.
- [73]
A. Ellis and T. Hagino (Eds.) (2005)
Proceedings of the 14
^{th}international World Wide Web conference (WWW). ACM Press. External Links: ISBN 1-59593-046-9 Cited by: p1. - [87] Y. Gil, E. Motta, V. R. Benjamins and M. A. Musen (Eds.) (2005) The semantic web. LNCS, Springer. External Links: ISBN 3-540-29754-5 Cited by: p1.
- [89] A. Gómez-Pérez and J. Euzenat (Eds.) (2005) The semantic web: research and applications. LNCS, Springer Verlag. External Links: ISBN 3-540-26124-9 Cited by: p1.
- [194] (2005) Proceedings of the 20th national conference on artificial intelligence (aaai 2005). MIT Press. Cited by: p1.
- [231] (2005) Symp. of the european spreadsheet risks interest group (EuSpRIG 2005). Cited by: p1.
- [2]
(2004)
26
^{th}IEEE international conference on software engineering. Cited by: p1. - [14] A. Asperti, G. Bancerek and A. Trybulec (Eds.) (2004) Mathematical knowledge management, MKM’04. LNAI, Springer Verlag. Cited by: p1.
- [60]
R. L. de Mántaras and L. Saitta (Eds.) (2004)
Proceedings of the 16
^{th}eureopean conference on artificial intelligence, ecai’2004, including prestigious applicants of intelligent systems, pais 2004. IOS Press. External Links: ISBN 1-58603-452-9 Cited by: p1. - [7]
V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo and K. Yacef (Eds.) (2003)
AIED2003 — supplementary proceedings of the 11
^{th}international conference on artificial intelligence in education. Frontiers in Artificial Intelligence and Applications, Vol. V: Learner Modelling for Reflection, School of Information Technologies, University of Sydney, Sidney, Australia. Cited by: p1. - [8]
V. Aleven, U. Hoppe, J. Kay, R. Mizoguchi, H. Pain, F. Verdejo and K. Yacef (Eds.) (2003)
AIED2003 — supplementary proceedings of the 11
^{th}international conference on artificial intelligence in education. Frontiers in Artificial Intelligence and Applications, Vol. VIII: Advanced Technologies for Mathematics Education, School of Information Technologies, University of Sydney, Sidney, Australia. Cited by: p1. - [15] A. Asperti, B. Buchberger and J. H. Davenport (Eds.) (2003) Mathematical knowledge management, MKM’03. LNCS, Springer Verlag. Cited by: p1.
- [19] F. Baader (Ed.) (2003) Automated deduction – cade-19: 19th international conference on automated deduction. LNAI, Springer. Cited by: p1.
- [20] F. Bai and B. Wegner (Eds.) (2003) Electronic information and communication in mathematics. LNCS, Springer. Cited by: p1.
- [28] J. Bos and M. Kohlhase (Eds.) (2003) Logic journal of the igpl. Vol. 11(3), Oxford University Press. Note: Special Issue for ICOS-2 Cited by: p1.
- [183]
(2003)
Proceedings of the 12
^{th}international World Wide Web conference, (WWW). ACM Press. Cited by: p1. - [251] (2003) Recent trends in algebraic development techniques. LNCS, Springer Verlag. Cited by: p1.
- [44] A. Voronkov (Ed.) (2002) Automated deduction — cade-18. LNAI, Springer Verlag. Cited by: p1.
- [47] J. Calmet, B. Benhamou, O. Caprotti, L. Henocque and V. Sorge (Eds.) (2002) Artificial intelligence, automated reasoning, and symbolic computation — joint international conference, aisc 2002 and calculemus 2002. LNAI, Springer, Marseille, France. Cited by: p1.
- [77] M. Nielsen and U. Engberg (Eds.) (2002) Foundations of software science and computation structures (FOSSACS02). LNCS, Springer Verlag. Cited by: p1.
- [81] A. Armando (Ed.) (2002) Frontiers of combinning systems (FROCOS’02). LNAI, Springer Verlag. Cited by: p1.
- [136]
H. Kirchner and C. Ringeissen (Eds.) (2002)
Algebraic methodology and software technology — 9
^{th}international conference amast 2002. LNCS, Springer Verlag. Cited by: p1. - [160]
M. Baaz and A. Voronkov (Eds.) (2002)
Logic for Programming, Artificial Intelligence, and Reasoning –
9
^{th}International Conference, LPAR 2002. LNAI, Springer Verlag. Cited by: p1. - [165] (2002) Second international conference on mathml and technologies for math on the web. Chicago, USA. Cited by: p1.
- [248] V. A. Carreno, C. A. Munoz and S. Tahar (Eds.) (2002) Theorem proving in higher order logics: tphols’02. LNCS, Springer Verlag. Cited by: p1.
- [249] J. von Knop, P. Schirmbacher and V. Mahnic (Eds.) (2002) The changing universities – the role of technology. LNI, GI. External Links: ISBN 3-88579-339-3 Cited by: p1.
- [252] D. Watson and J. Andersen (Eds.) (2002) Networking the learner: computers in education, ifip tc3 seventh ifip world conference on computers in education, wcce 2001, july 29 – august 3, 2001, copenhagen, denmark. IFIP Conference Proceedings, Vol. 217, Kluwer. External Links: ISBN 1-4020-7133-7 Cited by: p1.
- [208] (2001-08) Proceedings of the seventh ACM SIGKDD international conference on knowledge discovery and data mining. Association for Computational Linguistics. Cited by: p1.
- [18] F. Baader (Ed.) (2001) Automated deduction – cade-19: 19th international conference on automated deduction. LNAI, Springer. Cited by: p1.
- [30] B. Buchberger and O. Caprotti (Eds.) (2001) Electronic proceedings of the first international workshop on mathematical knowledge management: MKM’2001. External Links: Link Cited by: p1.
- [75] H. Hußmann (Ed.) (2001) Fundamental approaches to software engineering (FASE 2001). LNCS, Springer Verlag. Cited by: p1.
- [101] V. N. Alexandrov, J. J. Dongarra, B. A. Juliano, R. S. Renner and C. J. K. Tan (Eds.) (2001) Computational science — iccs 2001. LNCS, Springer Verlag, San Francisco, CAUSA. Cited by: p1.
- [117]
B. Nebel (Ed.) (2001)
Proceedings of the 17
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Seattle, WAUSA. Cited by: p1. - [118]
R. Goré, A. Leitsch and T. Nipkow (Eds.) (2001)
Automated reasoning — 1
^{st}international joint conference, ijcar 2001. LNAI, Springer Verlag, Siena, Italy. Cited by: p1. - [156] E. R. Lozano (Ed.) (2001) Proceedings of Artificial Intelligence and Symbolic Computation, AISC’2000. LNAI, Springer Verlag. Cited by: p1.
- [178]
(2001)
Proceedings 16
^{th}IEEE international conference on automated software engineering, ase-2001. IEEE Computer Society, San Diego, USA. Cited by: p1. - [230] (2001) Symp. of the european spreadsheet risks interest group (EuSpRIG 2001). Cited by: p1.
- [247] Richard. J. Boulton and P. B. Jackson (Eds.) (2001) Theorem proving in higher order logics: tphols’01. LNCS, Springer Verlag. Cited by: p1.
- [164] (2000-10) MathML and math on the web: mathml international conference. Urbana Champaign, USA. Cited by: p1.
- [31] D. McAllester (Ed.) (2000) Automated Deduction – cade-17. LNAI, Springer Verlag. Cited by: p1.
- [43]
E. Melis and D. Scott (Eds.) (2000)
Proceedingsof 17
^{th}international conference on automated deduction—workshop w4: automated deduction in education. Pittsburgh, PAUSA. Cited by: p1. - [55]
(2000)
COLING 2000, 18
^{th}International Conference on Computational Linguistics. Morgan Kaufmann. Cited by: p1. - [70]
W. Horn (Ed.) (2000)
Proceedings of of the 14
^{th}european conference on artifical intelligence. John Wiley & Sons, Chichester, UK, Brighton, UK. Cited by: p1. - [127] B. du Boulay (Ed.) (2000) Proceedings of the fifth international conference on intelligent tutoring systems—workshop w1: modeling human teaching tactics and strategies. Montréal, Canada. Cited by: p1.
- [128] C. Peylo (Ed.) (2000) Proceedings of the fifth international conference on intelligent tutoring systems—workshop w2: adaptive and intelligent web-based education systems. Montréal, Canada. Cited by: p1.
- [134] M. Kerber and M. Kohlhase (Eds.) (2000) CALCULEMUS-2000, systems for integrated computation and deduction. AKPeters, St. Andrews, Scotland. Cited by: p1.
- [177]
(2000)
Proceedings 15
^{th}IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE Computer Society. Cited by: p1. - [199]
(2000)
Proceedings of the 38
^{th}Annual Meeting of the Association for Computational Linguistics. Hongkong. Cited by: p1. - [229] (2000) Symp. of the european spreadsheet risks interest group (EuSpRIG 2000). Cited by: p1.
- [237] (2000) Proceedings of the sixth international conference on tools and algorithms for the construction and analysis of systems tacas-2000. LNCS, Springer Verlag, Berlin, Germany. Cited by: p1.
- [42] H. Ganzinger (Ed.) (1999) Automated deduction — CADE-16. LNAI, Springer Verlag. Cited by: p1.
- [116]
T. Dean (Ed.) (1999)
Proceedings of the 16
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Stockholm. Cited by: p1. - [125] (1999) Proceedings of international symposium on symbolic and algebraic computation (ISSAC’99). ACM Press. Cited by: p1.
- [144] S. P. Lajoie and M. Vivet (Eds.) (1999) Artificial intelligence in education. Frontiers in Artificial Intelligence and Applications, Vol. 50, IOS Press. Cited by: p1.
- [170] N. Murray (Ed.) (1999) Automated reasoning with analytic tableaux and related methods. LNAI, Springer Verlag. Cited by: p1.
- [209] (1999) Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99) and Eleventh Innovative Application of Artificial Intelligence Conference (IAAI-99). AAAI Press. Cited by: p1.
- [246] Y. Bertot, G. Dowek, A. Hirschowitz, C. Paulin and L. Théry (Eds.) (1999) Theorem proving in higher order logics: tphols’99. LNCS, Springer Verlag. Cited by: p1.
- [6] R. Simmons, M. Veloso and S. Smith (Eds.) (1998-06) Proceedings of the fourth international conference on artificial intelligence planning systems (AIPS-98). AAAI Press, Menlo Park, CA, USA, Pittsburgh, PA, USA. Cited by: p1.
- [41]
C. Kirchner and H. Kirchner (Eds.) (1998)
Proceedings of the 15
^{th}Conference on Automated Deduction. LNAI, Springer Verlag. Cited by: p1. - [61] H. de Swaart (Ed.) (1998) Automated reasoning with analytic tableaux and related methods. LNAI, Springer Verlag. Cited by: p1.
- [69]
H. Prade (Ed.) (1998)
Proceedings of of the 13
^{th}european conference on artifical intelligence. John Wiley & Sons, Chichester, UK, Brighton, UK. Cited by: p1. - [82] R. Caferra and G. Salzer (Eds.) (1998) Automated deduction in classical and non-classical logics (FTP’98). LNAI, Springer Verlag. Cited by: p1.
- [88]
F. Giunchiglia (Ed.) (1998)
Proceedings of the of the 8
^{th}international conference aimsa’98. LNAI, Springer Verlag, Sozopol, Bulgaria. Cited by: p1. - [205] (1998) Proceedings of the Fifteenth National Conference on Artificial Intelligence AAAI-98 and Tenth Conference on Innovative Application of Artificial Intelligence IAAI-98. MIT Press. Cited by: p1.
- [210] (1998) Proceedings of the Thirteenth National Conference on Artificial Intelligence AAAI-96. MIT Press. Cited by: p1.
- [29] G. Brewka, C. Habel and B. Nebel (Eds.) (1997) Proceedings of the 18.th annual german conference on artificial intelligence ki’97. LNAI, Freiburg, Germany. Cited by: p1.
- [40]
W. McCune (Ed.) (1997)
Proceedings of the 14
^{th}Conference on Automated Deduction. LNAI, Springer Verlag, Townsville, Australia. Cited by: p1. - [59]
P. de Groote and J. R. Hindley (Eds.) (1997)
Proceedings of the 3
^{rd}international conference on typed lambda calculus and applications. LNCS, Springer Verlag. Cited by: p1. - [115]
M. E. Pollack (Ed.) (1997)
Proceedings of the 15
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Nagoya, Japan. Cited by: p1. - [124] (1997) Proceedings of international symposium on symbolic and algebraic computation (ISSAC’97). ACM Press, Hawaii. Cited by: p1.
- [162] J. Maluszynski (Ed.) (1997) Logic programming – proceedings of the 1997 international symposium. The MIT Press, Port Jefferson, New York. Cited by: p1.
- [175] J. Geller, H. Kitano and C. Suttner (Eds.) (1997) Parallel processing for artificial intelligence. Vol. 3, Elsevier/North Holland. Cited by: p1.
- [198]
(1997)
Proceedings of the 35
^{th}Annual Meeting of the Association for Computational Linguistics and the 8^{th}Conference of the European Chapter of the Association for Computational Linguistics. Madrid, Spain. Cited by: p1. - [206] (1997) Proceedings of the Fourteenth National Conference on Artificial Intelligence AAAI-97. MIT Press. Cited by: p1.
- [245] E. L. Gunter and A. Felty (Eds.) (1997) Theorem proving in higher order logics: tphols’97. LNCS, Springer Verlag. Cited by: p1.
- [68]
W. Wahlster (Ed.) (1996-08)
Proceedings of the 12
^{th}european conference on artificial intelligence. John Wiley & Sons, Chichester, UK, Budapest, Hungary. Cited by: p1. - [39]
M. A. McRobbie and J. K. Slaney (Eds.) (1996)
Proceedings of the 13
^{th}conference on automated deduction. LNAI, Springer Verlag, New Brunswick, NJ, USA. Cited by: p1. - [48] J. Calmet and C. Limogelli (Eds.) (1996) Design and implementation of symbolic computation systems, disco’96. LNCS, Springer Verlag, Karlsruhe, Germany. Cited by: p1.
- [80] F. Baader and K. Schulz (Eds.) (1996) Proceedingsof first international workshop frontiers of combinning systems (FROCOS’96). Series on Applied Logic, Kluwer. Cited by: p1.
- [161] M. Maher (Ed.) (1996) Proceedings of the joint international conference and symposium on logic programming. MIT Press, Bonn, Germany. Cited by: p1.
- [167] P. Moscato, U. Moscato, D. Mundici and M. Ornaghi (Eds.) (1996) Theorem proving with analytic tableaux and related methods. LNAI, Springer Verlag. Cited by: p1.
- [214] C. Retoré (Ed.) (1996) Logical aspects of computational linguistics. Springer-Verlag. Cited by: p1.
- [222] H. Ganzinger (Ed.) (1996) Proceedings of the ${7}^{th}$ international consference on rewriting techniques and applications. LNCS, Springer Verlag. Cited by: p1.
- [244] von Wright J., J. Grundy and J. Harrison (Eds.) (1996) Theorem proving in higher order logics: tphols’96. LNCS, Springer Verlag. Cited by: p1.
- [155]
D. Kozen (Ed.) (1995-06)
Proceedings of the 10
^{th}annual IEEE symposium on logic in computer science (LICS-10). IEEE Computer Society Press, San Diego, California. Cited by: p1. - [46] J. Calmet and J. A. Campbell (Eds.) (1995) Integrating symbolic mathematical computation and artificial intelligence; proceedings of the second international conference; selected papers. LNCS, Springer Verlag. Cited by: p1.
- [63] M. Dezani-Ciancaglini and G. Plotkin (Eds.) (1995) Typed lambda calculi and applications. LNCS, Springer Verlag. Cited by: p1.
- [114]
C. S. Mellish (Ed.) (1995)
Proceedings of the 14
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, CA, Montreal, Canada. Cited by: p1. - [123] (1995) Proceedings of international symposium on symbolic and algebraic computation (ISSAC’95). ACM Press. Cited by: p1.
- [221] J. Hsiang (Ed.) (1995) Proceedings of the ${6}^{th}$ International Consference on Rewriting Techniques and Applications. LNCS, Springer Verlag. Cited by: p1.
- [227]
L. Sterling (Ed.) (1995)
Proceedings of the 12
^{th}international conference on logic programming. MIT Press, Cambridge, MA, USA. External Links: ISBN 0-262-69177-9 Cited by: p1. - [236] P. Baumgartner, R. Hähnle and J. Posegga (Eds.) (1995) Theorem proving with analytic tableaux and related methods. LNAI. Cited by: p1.
- [174]
(1994-01)
Proceedings of the 21
^{st}ACM symposium on principles of programming languages. ACM, ACM, New York, NY. Cited by: p1. - [38]
A. Bundy (Ed.) (1994)
Proceedings of the 12
^{th}Conference on Automated Deduction. LNAI, Springer Verlag, Nancy, France. Cited by: p1. - [135]
B. Nebel and L. Dreschler-Fischer (Eds.) (1994)
18
^{th}annual german conference on aritificial intelligence. LNAI, Springer Verlag. Cited by: p1. - [154]
(1994)
Proceedings of the 9
^{th}annual IEEE symposium on logic in computer science (LICS-9). IEEE Computer Society Press, Paris, France. Cited by: p1. - [159] F. Pfenning (Ed.) (1994) Proceedings of the International Conference on Logic Programming and Automated Reasoning LPAR’94. LNAI, Springer Verlag, Kiev, Ukraine. Cited by: p1.
- [184]
(1994)
Proceedings of the 15
^{th}International Conference on Computational Linguistics. Morgan Kaufmann, Kyoto, Japan. Cited by: p1. - [186]
(1994)
Proceedings of the 16
^{th}annual conference of the cognitive science society. Cited by: p1. - [45] J. Calmet and J. A. Campbell (Eds.) (1993) Integrating symbolic mathematical computation and artificial intelligence. LNCS, Springer Verlag. Cited by: p1.
- [95] (1993) HOA’93, an International Workshop on Higher-order Algebra, Logic and Term Rewriting. LNCS, Springer Verlag, Amsterdam, The Netherlands. Cited by: p1.
- [113]
R. Bajcsy (Ed.) (1993)
Proceedings of the 13
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, CA, Chambery, France. Cited by: p1. - [139]
R. Korfhage, E. M. Rasmussen and P. Willett (Eds.) (1993)
Proceedings of the 16
^{th}annual international ACM-SIGIR conference on research and development in information retrieval. pittsburgh, pa, usa, june 27 – july 1, 1993. ACM. Cited by: p1. - [153]
(1993)
Proceedings of the 8
^{th}annual IEEE symposium on logic in computer science (LICS-8). IEEE Computer Society Press, Montreal, Canada. Cited by: p1. - [158] A. Voronkov (Ed.) (1993) Proceedings of the International Conference on Logic Programming and Automated Reasoning LPAR’93. LNAI, Springer Verlag, St. Petersburg, Russia. Cited by: p1.
- [172] H. J. Ohlbach (Ed.) (1993) GWAI-92: advances in artificial intelligence. LNAI, Springer Verlag. Cited by: p1.
- [203]
(1993)
Proceedings of the 5
^{th}innovative applications of artificial intelligence conference. Cited by: p1. - [220] C. Kirchner (Ed.) (1993) Proceedings of the ${5}^{th}$ International Consference on Rewriting Techniques and Applications. LNCS, Springer Verlag. Cited by: p1.
- [235]
P. Szeredi (Ed.) (1993)
Proceedings of the 10
^{th}international conference on logic programming. MIT Press. Cited by: p1. - [243] M. A. Bezem and J. F. Groote (Eds.) (1993) Proceedings international conference on typed lambda calculi and applications. LNCS, Springer. Cited by: p1.
- [37]
D. Kapur (Ed.) (1992)
Proceedings of the 11
^{th}conference on automated deduction. LNCS, Springer Verlag, Saratoga Springs, NY, USA. Cited by: p1. - [57] R. Dale, E. Hovy, D. Rösner and O. Stock (Eds.) (1992) Aspects of automated natural language generation. LNAI, Springer Verlag. Cited by: p1.
- [122] P. S. Wang (Ed.) (1992) Proceedings of international symposium on symbolic and algebraic computation (ISSAC’92). ACM Press. Cited by: p1.
- [126] C. Traverso (Ed.) (1992) Proceedings of 2000 international symposium on symbolic and algebraic computation (ISSAC’00). ACM Press. External Links: ISBN 1-58113-218-2 Cited by: p1.
- [151]
(1992)
Proceedings of the 6
^{th}annual IEEE symposium on logic in computer science (LICS-6). IEEE Computer Society Press, Amsterdam, NL. Cited by: p1. - [152]
(1992)
Proceedings of the 7
^{th}annual IEEE symposium on logic in computer science (LICS-7). IEEE Computer Society Press, Santa Cruz, CA, USA. Cited by: p1. - [157] A. Voronkov (Ed.) (1992) Proceedings of the international conference on logic programming and automated reasoning lpar’92. LNAI, Springer Verlag, St. Petersburg, Russia. Cited by: p1.
- [112]
J. Mylopoulos and R. Reiter (Eds.) (1991)
Proceedings of the 12
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, CA, Sydney, Australia. Cited by: p1. - [181] (1991) Proceedings of aaai-91. Morgan Kaufman. Cited by: p1.
- [219] R. V. Book (Ed.) (1991) Proceedings of the ${4}^{th}$ International Conference on Rewriting Techniques and Applications. LNCS, Springer Verlag. Cited by: p1.
- [239] T. Ito and A. R. Meyer (Eds.) (1991) Theoretical Aspects of Computer Science. LNCS, Springer Verlag. Cited by: p1.
- [36]
M. Stickel (Ed.) (1990)
Proceedings of the 10
^{th}conference on automated deduction. LNAI, Springer Verlag, Kaiserslautern, Germany. Cited by: p1. - [52] J. C. Chew and J. Whiteside (Eds.) (1990) Conference on human factors in computing systems (CHI). ACM, New York, NY, USA. External Links: ISBN 0-201-50932-6 Cited by: p1.
- [58] R. Dale, C. Mellish and M. Zock (Eds.) (1990) Current research in natural language generation. Cognitive Science Series, Academic Press, San Diego, CA. Cited by: p1.
- [67]
L. C. Aiello (Ed.) (1990)
Proceedings of of the 9
^{th}european conference on artifical intelligence. Pitman Publishing, London, England, Stockholm, Sweden. Cited by: p1. - [129] J. van Eijck (Ed.) (1990) Logics in AI. European Workshop JELIA ’90, Amsterdam. LNCS, Springer Verlag. Cited by: p1.
- [149]
(1989)
Proceedings of the 4
^{th}annual IEEE symposium on logic in computer science (LICS-4). IEEE Computer Society Press, Pacific Grove, CA, USA. Cited by: p1. - [150]
(1989)
Proceedings of the 5
^{th}annual IEEE symposium on logic in computer science (LICS-5). IEEE Computer Society Press, Philadelphia, PA, USA. Cited by: p1. - [195]
(1989)
Proceedings of the 27
^{th}annual meeting of the association for computational linguistics. Vancouver, British Columbia. Cited by: p1. - [212] (1989) Proceedings STACS’89. LNCS, Springer Verlag. Cited by: p1.
- [218] N. Dershowitz (Ed.) (1989) Proceedings of the ${3}^{rd}$ international conference of rewriting techniques and applications. LNCS, Springer Verlag. Cited by: p1.
- [35]
E. L. Lusk and R. A. Overbeek (Eds.) (1988)
Proceedings of the 9
^{th}conference on automated deduction. LNCS, Springer Verlag, Argonne, Illinois, USA. Cited by: p1. - [148] (1988) Proceedings of the third annual IEEE symposium on logic in computer science (LICS-3). IEEE Computer Society Press, Edinburgh, Great Britain. Cited by: p1.
- [105] (1987) IEEE symposium on logic programming. Salt Lake City. Cited by: p1.
- [147] (1987) Proceedings of the second annual IEEE symposium on logic in computer science (LICS-2). IEEE Computer Society Press, Ithaca, NY, USA. Cited by: p1.
- [217] P. Lescanne (Ed.) (1987) Proceedings of the second International Conference of Rewriting Techniques and Applications. LNCS, Springer Verlag. Cited by: p1.
- [34]
J. Siekmann (Ed.) (1986)
Proceedings of the 8
^{th}conference on automated deduction. LNCS, Springer Verlag, Oxford, England. Cited by: p1. - [146] (1986) Proceedings of the first annual IEEE symposium on logic in computer science (LICS-1). IEEE Computer Society Press, Cambridge, MA, USA. Cited by: p1.
- [180] (1986) Proceedings ACM conference on LISP and functional programming. Cited by: p1.
- [111]
A. Joshi (Ed.) (1985)
Proceedings of the 9
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, Los Angeles, Ca, USA. Cited by: p1. - [216] J. Jouannaud (Ed.) (1985) Proceedings of the first International Consference on Rewriting Techniques and Applications. LNCS, Springer Verlag. Cited by: p1.
- [33]
R. E. Shostak (Ed.) (1984)
Proceedings of the 7
^{th}international conference on automated deduction. LNCS, Springer Verlag. Cited by: p1. - [66]
T. O’Shea (Ed.) (1984)
Proceedings of of the 7
^{th}european conference on artifical intelligence. Pitman Publishing, London, England, Pisa, Italy. Cited by: p1. - [176]
(1984)
Proc of the 11
^{th}ACM symposium on principles of programming languages. ACM, New York. Cited by: p1. - [224] G. Kahn and G. P. D. G. MacQueen (Eds.) (1984) Semantics of Data Types. LNCS, Springer Verlag. Cited by: p1.
- [110]
A. Bundy (Ed.) (1983)
Proceedings of the 8
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, California, USA. Cited by: p1. - [179] (1982) Proceedings ACM conference on LISP and functional programming. Cited by: p1.
- [109]
A. Drinan (Ed.) (1981)
Proceedings of the 7
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, California, USA, Vancouver, Canada. Cited by: p1. - [32]
(1980)
Proceedings of the 5
^{th}international conference on automated deduction. Springer Verlag. Cited by: p1. - [108]
(1977)
Proceedings of the 5
^{th}International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Mateo, California, USA. Cited by: p1. - [207] (1976) Proceedings of the international symposion on symbolic and algebraic manipulation eurosam+79. LNCS, Springer Verlag. Cited by: p1.
- [107]
D. E. Walker and L. Norton (Eds.) (1973)
Proceedings of the 3
^{rd}international joint conference on artificial intelligence. Cited by: p1. - [204] (1972) Proceedings of the ACM annual conference 1972. Cited by: p1.
- [234] (1970) Symposium on automatic demonstration. LNM, Springer Verlag. Cited by: p1.
- [106]
D. E. Walker and L. Norton (Eds.) (1969)
Proceedings of the 1
^{st}International Joint Conference on Artificial Intelligence. Cited by: p1. - [182] (1968) Proceedings of ifip congress in information processing. Vol. 68, North Holland, Amsterdam. Cited by: p1.

- [36] (2017-08) Enabling Cross-System Communication Using Virtual Theories and QMT. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link Cited by: p1.
- [12] (2017) Towards flexiformal mathematics. Ph.D. Thesis, Jacobs University, Bremen, Germany. Cited by: p1.
- [22] (2016) Formula semantification and automated relation finding in the OEIS. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [32] (2016) FrameIT reloaded: serious math games from logic. B.Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [33] (2016) Declaration spotting in mathematical documents. B. Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [34] (2016) MathSemantifier – a notation-based semantification study. B. Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [35] (2015) Semantic search for quantity expressions. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [7] (2014-11) A framework for defining declarative languages. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [30] (2014) Text and formula search on ArXiv documents. M. Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [23] (2013) A Practical OpenMath Machine. Master’s Thesis, Jacobs University Bremen. Note: Bachelor’s thesis, Jacobs University Bremen Cited by: p1.
- [2] (2012) Semantic Alliance Framework: integrating documents and semantic services. M. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [3] (2012) A Type Theory based on Reflection. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [6] (2012) Management of Change in the Web Ontology Language. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [10] (2012) Management of change in declarative languages. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [11] (2012) Management of Change in Declarative Languages. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [28] (2012) Modeling semantic similarity between scientific documents. B.Sc. Thesis, Jacobs University Bremen. Cited by: p1.
- [4] (2011-08) The structure of mathematical expressions. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. Note: http://kwarc.info/people/dginev/publications/DeyanGinev_MScThesis.pdf External Links: Link Cited by: p1.
- [9] (2011-08) Towards Project-Based Workflows in Twelf. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link Cited by: p1.
- [8] (2011) Towards Project-Based Workflows in Twelf. Master’s Thesis, Jacobs University Bremen. Cited by: p1.
- [17] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [18] External Links: Link Cited by: p1, 18.
- [18] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. Note: Book edition of thesis [17] External Links: ISBN 978-1-60750-840-3, Link Cited by: 17.
- [19] (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Cited by: p1.
- [24] (2010) Adaptation of Mathematical Documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [26] (2010) Change management on semi-structured documents. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [1] (2009) Natural language and mathematics processing for applicable theorem search. Master’s Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [14] (2008-04) Semantic interaction design: composing knowledge with CPoint. Ph.D. Thesis, Computer Science, Universität Bremen. External Links: Link Cited by: p1.
- [27] (2008) Automated theory interpretation. Ph.D. Thesis, Jacobs University, Bremen, Germany. External Links: Link Cited by: p1.
- [31] (2008) Representing Logics and Logic Translations. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [21] (2007-08) Using theory graphs to map mathematics: a case study and a prototype.. Master’s Thesis, Jacobs University, Bremen. External Links: Link Cited by: p1.
- [5] (2007) Towards a Natural Representation of Mathematics in Proof Assistants. Master’s Thesis, Saarland University, Saarbrücken, Germany. Cited by: p1.
- [29] (2007) Coping with content representations of mathematics in editor environments: nOMDoc mode. Bachelor’s Thesis, Computer Science, Jacobs University, Bremen. Cited by: p1.
- [20] (2006-08) A Semantic Wiki for Mathematical Knowledge Management. Diploma thesis, Universität Trier. External Links: Link Cited by: p1.
- [25] (2005) OMDoc-Repräsentation von Programmen und Beweisen in VeriFun. Master’s Thesis, Programmiermethodik, Technische Universität Darmstadt. Note: http://kwarc.info/nmueller/papers/dt.pdf External Links: Link Cited by: p1.
- [16] (1994) A mechanization of sorted higher-order logic based on the resolution principle. Ph.D. Thesis, Universität des Saarlandes. External Links: Link Cited by: p1.
- [13] (1990) The geometry of second order lagrangians in the plane. Master’s Thesis, TU Berlin. Cited by: p1.
- [15] (1989) Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, $\mathcal{F}$-extremalen Hyperflächen in glatten Mannigfaltigkeiten. Master’s Thesis, Universität Bonn. External Links: Link Cited by: p1.

- [141] A. Kohlhase and E. Kübler (Eds.) (2017-10) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWDA 2017 Cited by: p1.
- [144] A. Kohlhase and M. Pollanen (Eds.) (2017) MathUI 2017: the 12th workshop on mathematical user interfaces. Cited by: p1.
- [143] A. Kohlhase and P. Libbrecht (Eds.) (2016-07) Mathematical user interfaces workshop at CICM. External Links: Link Cited by: p1.
- [2] (2016) Note: submitted to CPP 2016 Cited by: p1.
- [60] M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, Naumowicz, W. Neuper, P. Quaresma, F. Tompa and M. Suda (Eds.) (2016) Intelligent computer mathematics – work in progress papers. External Links: Link Cited by: p1.
- [64] A. Coles, A. Coles, S. Edelkamp, D. Magazzeni and Sanner (Eds.) (2016) Proceedings of the 26th international conference on automated planning and scheduling (icaps’16). AAAI Press. Cited by: p1.
- [139] N. Kando, T. Sakai and M. Sanderson (Eds.) (2016) Proceedings of the 12th ntcir conference on evaluation of information access technologies. NII, Tokyo, Tokyo, Japan. Cited by: p1.
- [25] R. Bergmann, S. Görg and G. Müller (Eds.) (2015-10) Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDB. FGDB. Trier, Germany. Cited by: p1.
- [142] A. Kohlhase and P. Libbrecht (Eds.) (2015-07) Mathematical user interfaces workshop at CICM. External Links: Link Cited by: p1.
- [42] R. Brafman, C. Domshlak, P. Haslum and S. Zilberstein (Eds.) (2015) Proceedings of the 25th international conference on automated planning and scheduling (icaps’15). AAAI Press. Cited by: p1.
- [201] (2015) Second workshop on software engineering methods in spreadsheets. Note: accepted Cited by: p1.
- [21] C. Benzmüller and B. Woltzenlogel Paleo (Eds.) (2014) Workshop on user interfaces for theorem provers. Elsevier. Cited by: p1.
- [30] C. Bizer, T. Heath, S. Auer and T. Berners-Lee (Eds.) (2014) Linked data on the web (LDOW). External Links: Link Cited by: p1.
- [58] S. Chien, M. Do, A. Fern and W. Ruml (Eds.) (2014) Proceedings of the 24th international conference on automated planning and scheduling (icaps’14). AAAI Press. Cited by: p1.
- [82] M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.) (2014) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [91]
A. García Castro, C. Lange, P. Lord and R. Stevens (Eds.) (2014)
Proceedings of the 4
^{th}workshop on semantic publishing (sepublica). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [137] N. Kando, H. Joho and K. Kishida (Eds.) (2014) NTCIR workshop 11 meeting. NII, Tokyo, Tokyo, Japan. Cited by: p1.
- [112] A. Henrich and H. Sperker (Eds.) (2013-10) Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings. Universität Bamberg. Cited by: p1, 145.
- [145] A. Kohlhase and B. Rieger (Eds.) (2013-10) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWA 2013, published as part of [112] Cited by: p1.
- [37] D. Borrajo, S. Fratini, S. Kambhampati and A. Oddi (Eds.) (2013) Proceedings of the 23rd international conference on automated planning and scheduling (icaps’13). AAAI Press, Rome, Italy. Cited by: p1.
- [90]
A. García Castro, C. Lange, P. Lord and R. Stevens (Eds.) (2013)
Proceedings of the 3
^{rd}workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [138] N. Kando and K. Kishida (Eds.) (2013) NTCIR workshop 10 meeting. NII, Tokyo, Tokyo, Japan. Cited by: p1.
- [149] C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.) (2013) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [153] C. Lange, C. Rowat and M. Kerber (Eds.) (2013) Enabling domain experts to use formalised reasoning. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB). External Links: Link, ISBN 978-1-908187-32-1 Cited by: p1.
- [185] (2013) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press. External Links: ISBN 978-1-57735-633-2 Cited by: p1.
- [161] P. Libbrecht (Ed.) (2012-06) Mathematical user-interfaces workshop 2012 at CICM. Note: online at http://www.cermat.org/events/MathUI/12/ External Links: Link Cited by: p1.
- [36] B. Bonet, L. McCluskey, J. R. Silva and B. Williams (Eds.) (2012) Proceedings of the 22nd international conference on automated planning and scheduling (icaps’12). AAAI Press. Cited by: p1.
- [71]
J. Davenport, J. Jeuring, C. Lange and P. Libbrecht (Eds.) (2012)
Joint proceedings of the 24
^{th}OpenMath workshop, the 7^{th}workshop on mathematical user interfaces (MathUI), and the work in progress section of the conference on intelligent computer mathematics. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [95]
Á. García-Crespo, J. M. Gómez-Berbís, A. Rodrígues-González and B. Sapkota (Eds.) (2012)
Proceedings of the 1
^{st}workshop on finance and economics on the semantic web (FEOSW). External Links: Link Cited by: p1. - [102]
B. Good, F. van Harmelen, A. García Castro, Lange, E. Sandhaus and A. de Waard (Eds.) (2012)
Proceedings of the 2
^{nd}workshop on semantic publishing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [131] S. Jansen, J. Bosch and C. F. Alves (Eds.) (2012) Proceedings of the forth international workshop on software ecosystems, cambridge, ma, usa, june 18th, 2012. CEUR Workshop Proceedings, CEUR-WS.org. Cited by: p1.
- [136] C. Kaliszyk and C. Lüth (Eds.) (2012) User interfaces for theorem provers. External Links: Link Cited by: p1.
- [173] A. Pease and B. Larvor (Eds.) (2012) Proceedings of aisb/iacap 2012, symposium on mathematical practice and cognition ii. AISB. External Links: ISBN 978-1-908187-10-9, Link Cited by: p1.
- [209] P. Sojka and M. Kohlhase (Eds.) (2012) DML and MIR 2012. Masaryk University, Brno. External Links: ISBN 978-80-210-5542-1 Cited by: p1.
- [231] (2011-09) Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings. Otto-von-Guericke-Universität Magdeburg. Cited by: p1.
- [80] B. Endres-Niggemeyer and P. Hitzler (Eds.) (2011-06) AI Mashup Challenge. External Links: Link Cited by: p1.
- [11] A. Asperti, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.) (2011) Intelligent Computer Mathematics, Work-in-Progress Proceedings. Technical Reports of University of Bologna, Vol. UBLCS-2011-04, University of Bologna. Cited by: p1.
- [15] F. Bacchus, C. Domshlak, S. Edelkamp and M. Helmert (Eds.) (2011) Proceedings of the 21st international conference on automated planning and scheduling (icaps’11). AAAI Press. Cited by: p1.
- [16] J. Bach and S. Edelkamp (Eds.) (2011) Proceedings of the 34th annual german conference on artificial intelligence (ki’11). Lecture Notes in Computer Science, Vol. 7006, Springer. Cited by: p1.
- [59] J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.) (2011) Intelligent computer mathematics – work in progress papers. Cited by: p1.
- [61] C. Claramunt, S. Levashkin and M. Bertolotto (Eds.) (2011) GeoSpatial semantics (GeoS) – 4th international conference. LNCS, Springer. External Links: ISBN 978-3-642-20629-0 Cited by: p1.
- [89] A. García Castro, K. Baclawski, J. Bateman, K. Viljanen and C. Lange (Eds.) (2011) Proceedings of the workshop ontologies come of age in the semantic web, International Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [92]
A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.) (2011)
Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [93]
A. García Castro, C. Toro, L. Ramos and L. Schröder (Eds.) (2011)
Proceedings of the 1
^{st}workshop on ontology and semantic web for manufacturing, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [94] R. García Castro, D. Fensel and G. Antoniou (Eds.) (2011) The semantic web: ESWC 2011 workshops. LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-25952-4 Cited by: p1.
- [98] H. Geuvers, G. Nadathur, F. Rabe and C. Schürmann (Eds.) (2011) LFMTP 2011 - MLPA 2011 Informal Proceedings. Note: see http://kwarc.info/frabe/events/mlpa-11/index.html Cited by: p1.
- [156] C. Lange and J. Urban (Eds.) (2011) Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [180] (2011) Proceedings of balisage: the markup conference. Balisage Series on Markup Technologies, Vol. 7, Mulberry Technologies, Inc.. External Links: Link Cited by: p1.
- [190] P. Quaresma and R. Back (Eds.) (2011) Proceedings first workshop on ctp components for educational software, thedu’11, wroclaw, poland, 31th july 2011. EPTCS, Vol. 79. External Links: Document Cited by: p1.
- [199]
M. Sabou and G. Qi (Eds.) (2011)
Posters and demos at the 10
^{th}international semantic web conference (ISWC). External Links: Link Cited by: p1. - [214] P. Sojka (Ed.) (2011) Towards digital mathematics library, dml workshop. Masaryk University, Brno. Cited by: p1.
- [229] T. Walsh (Ed.) (2011) Proceedings of the 22nd international joint conference on artificial intelligence (ijcai’11). AAAI Press/IJCAI. Cited by: p1.
- [234] C. Pautasso, E. Wilde and R. Alarcon (Eds.) (2011) Proceedings of the second international workshop on restful design. ACM. External Links: ISBN 9781605589596 Cited by: p1.
- [146]
M. Kohlhase and C. Lange (Eds.) (2010-07)
23
^{rd}OpenMath workshop. External Links: Link Cited by: p1. - [100] A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.) (2010-06) AI Mashup Challenge. External Links: Link Cited by: p1.
- [106] G. A. Grimnes, S. Auer and G. T. Williams (Eds.) (2010-05) Scripting and development for the semantic web (SFSW). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [31] C. Bizer, T. Heath, T. Berners-Lee and M. Hausenblas (Eds.) (2010-04) Linked data on the web (LDOW). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [13]
P. Ayers and F. Ortega (Eds.) (2010)
6
^{th}international symposium on wikis and open collaboration (WikiSym). ACM Press. External Links: Link Cited by: p1. - [43] R. I. Brafman, H. Geffner, J. Hoffmann and H. A. Kautz (Eds.) (2010) Proceedings of the 20th international conference on automated planning and scheduling (icaps’10). AAAI Press. Cited by: p1.
- [46] D. Brickley, V. K. Chaudhri, H. Halpin and D. L. McGuinness (Eds.) (2010) Proceedings of the aaai spring symposium on linked data meets artificial intelligence. Cited by: p1.
- [52] (2010) CALCULEMUS. Cited by: p1.
- [69]
M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.) (2010)
Proceedings of the 1
^{st}workshop on ontology repositories and editors, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [74] D. Delahaye and R. Rioboo (Eds.) (2010) CALCULEMUS (emerging trends). Centre d’Étude et de Recherche en Informatique du CNAM (Cédric). External Links: Link Cited by: p1.
- [87] N. E. Fuchs (Ed.) (2010) Controlled natural language, workshop on controlled natural language, cnl 2009. revised papers. LNCS, Springer. External Links: ISBN 978-3-642-14417-2, Document Cited by: p1.
- [150]
C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.) (2010)
Proceedings of the 5
^{th}workshop on semantic wikis, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [166]
I. Mierlus-Mazilu (Ed.) (2010)
1
^{st}International Workshop on Mathematics and ICT: Education, Research and Applications. External Links: Link Cited by: p1. - [177] (2010) Proceedings of balisage: the markup conference 2010. Balisage Series on Markup Technologies, Mulberry Technologies, Inc.. Note: available at http://www.balisage.net/Proceedings/vol3/ External Links: Link Cited by: p1.
- [179] (2010) Proceedings of balisage: the markup conference. Balisage Series on Markup Technologies, Vol. 5, Mulberry Technologies, Inc.. External Links: Link Cited by: p1.
- [186] (2010) Proceedings of WebSci’10: Extending the Frontiers of Society On-Line. Web Science Trust. Cited by: p1.
- [192] F. Rabe and C. Schürmann (Eds.) (2010) MLPA ’10: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants. Note: see http://kwarc.info/frabe/events/mlpa-10.html Cited by: p1.
- [213] P. Sojka (Ed.) (2010) Towards digital mathematics library, dml workshop. Masaryk University, Brno. Cited by: p1.
- [226] J. van Leeuwen, A. Muscholl, D. Peleg, J. Pokorný and B. Rumpe (Eds.) (2010) SOFSEM: theory and practice of computer science. LNCS, Springer. External Links: ISBN 978-3-642-11265-2, Document Cited by: p1.
- [114] R. Hoekstra and P. F. Patel-Schneider (Eds.) (2009-10) OWL: experiences and directions (OWLED). Cited by: p1.
- [81] B. Endres-Niggemeyer, V. Zacharias and P. Hitzler (Eds.) (2009-09) AI Mashup Challenge. External Links: Link Cited by: p1.
- [110] (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 151.
- [151] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWA 2009, published as part of [110] Cited by: p1.
- [152] C. Lange and J. Reutelshöfer (Eds.) (2009-09) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: p1.
- [40] C. Boutilier (Ed.) (2009-07) Proceedings of the 21st international joint conference on artificial intelligence (IJCAI’09). kauf, Pasadena, California, USA. Cited by: p1.
- [70]
J. H. Davenport (Ed.) (2009-07)
22
^{nd}openmath workshop. External Links: Link Cited by: p1. - [28] C. Bizer, S. Auer and G. A. Grimnes (Eds.) (2009-05) Scripting and development for the semantic web (SFSW). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [45]
J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.) (2009)
Social data on the web (SDoW), workshop at the 8
^{th}international semantic web conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [62] T. Clark, J. S. Luciano, M. S. Marshall, E. P. and S. Stephens (Eds.) (2009) Semantic web applications in scientific discourse (SWASD). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [96] I. P. Gent (Ed.) (2009) Proceedings of the 15th international conference on principles and practice of constraint programming (cp’09). Lecture Notes in Computer Science, Vol. 5732, Springer. Cited by: p1.
- [97] A. Gerevini, A. Howe, A. Cesta and I. Refanidis (Eds.) (2009) Proceedings of the 19th international conference on automated planning and scheduling (icaps’09). AAAI Press. Cited by: p1.
- [111]
(2009)
Proceedings of the 1
^{st}workshop on trust and privacy on the social and semantic web (SPOT). CEUR Workshop Proceedings, Aachen. External Links: Link, ISSN 1613-0073 Cited by: p1. - [155]
C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2009)
Proceedings of the 4
^{th}workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [176] (2009) Proceedings of balisage: the markup conference 2009. Balisage Series on Markup Technologies, Mulberry Technologies, Inc.. Note: available at http://www.balisage.net/Proceedings/vol3/ External Links: Link Cited by: p1.
- [178] (2009) Proceedings of balisage: the markup conference. Balisage Series on Markup Technologies, Vol. 3, Mulberry Technologies, Inc.. Cited by: p1.
- [191] F. Rabe and C. Schürmann (Eds.) (2009) MLPA ’09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants. ACM International Conference Proceeding Series, Vol. 429, ACM. Cited by: p1.
- [195]
D. Riehle and A. Bruckman (Eds.) (2009)
5
^{th}international symposium on wikis and open collaboration (WikiSym). ACM Press. External Links: Link Cited by: p1. - [211] P. Sojka (Ed.) (2009) Towards digital mathematics library, dml 2009 workshop. Masaryk University, Brno. Cited by: p1.
- [212] P. Sojka (Ed.) (2009) Towards digital mathematics library. Masaryk University Press, Brno. Cited by: p1.
- [219] T. Tudorache, G. Correndo, N. Noy, H. Alani and Greaves (Eds.) (2009) Proceedings of the workshop on collaborative construction, management and linking of structured knowledge (CK). CEUR Workshop Proceedings, Aachen. External Links: Link, ISSN 1613-0073 Cited by: p1.
- [18] J. Baumeister and M. Atzmüller (Eds.) (2008-10) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings. Technical Report, Vol. 448, Universität Würzburg. Cited by: p1.
- [200] U. Sattler, C. Dolbear and A. Ruttenberg (Eds.) (2008-10) OWL: experiences and directions (OWLED). Cited by: p1.
- [160] P. Libbrecht (Ed.) (2008-07) Mathematical user interfaces workshop at MKM. External Links: Link Cited by: p1.
- [171]
C. Müller (Ed.) (2008-06)
2
^{nd}workshop on scientific communities of practice (SCooP-2008). Note: online at http://kwarc.info/events/scoop/scoop2.html External Links: Link Cited by: p1. - [32] C. Bizer, T. Heath, K. Idehen and T. Berners-Lee (Eds.) (2008-04) Linked data on the web (LDOW). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [7]
A. Aguiar and M. Bernstein (Eds.) (2008)
4
^{th}international symposium on wikis (WikiSym). ACM Press. External Links: Link Cited by: p1. - [44]
J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.) (2008)
Social data on the web (SDoW), workshop at the 7
^{th}international semantic web conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [55]
O. Caprotti, S. Xambó, M. Huertas, M. Kohlhase and M. Seppälä (Eds.) (2008)
3
^{rd}JEM workshop – joining educational mathematics. External Links: Link Cited by: p1. - [65]
C. J. Costa, A. Protopsaltis, M. Aparicio and H. O. ’Neill (Eds.) (2008)
Proceedings of the 26
^{th}annual ACM international conference on design of communication. ACM Press, ACM Special Interest Group for Design of Communication. Cited by: p1. - [73] D. Degler, m. schraefel, J. Golbeck, A. Bernstein and Rutledge (Eds.) (2008) Semantic web user interaction (SWUI), CHI. CEUR Workshop Proceedings, Aachen. External Links: Link, ISSN 1613-0073 Cited by: p1.
- [104]
B. C. Grau, V. Honavar, A. Schlicht and F. Wolter (Eds.) (2008)
Proceedings of the 2
^{nd}international workshop on modular ontologies (WoMO) 2007. CEUR Workshop Proceedings, CEUR-WS.org, Aachen. External Links: Link Cited by: p1. - [154]
C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.) (2008)
Proceedings of the 3
^{rd}workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [197] J. Rintanen, B. Nebel, J. C. Beck and E. Hansen (Eds.) (2008) Proceedings of the 18th international conference on automated planning and scheduling (icaps’08). AAAI Press. Cited by: p1.
- [208] E. Smirnova and S. M. Watt (Eds.) (2008) Applications for computer algebra. Cited by: p1.
- [210] P. Sojka (Ed.) (2008) Towards digital mathematics library, proceedings of the dml 2008 workshop. Masaryk University, Brno. Cited by: p1.
- [53] O. Caprotti, M. Kohlhase and P. Libbrecht (Eds.) (2007-06) OpenMath/JEM workshop 2007. Note: online at http://www.openmath.org/meetings/linz2007/ External Links: Link Cited by: p1.
- [117] A. Hotho and B. Hoser (Eds.) (2007-06) Bridging the Gap between Semantic Web and Web 2.0 (SemNet). Cited by: p1.
- [159] P. Libbrecht (Ed.) (2007-06) Mathematical user-interfaces workshop 2007 at MKM. Note: online at http://www.activemath.org/~paul/MathUI07 External Links: Link Cited by: p1.
- [17] M. Baldoni, A. Boccalatte, F. D. Paoli, M. Martelli and V. Mascardi (Eds.) (2007) WOA 2007: dagli oggetti agli agenti. Seneca Edizioni Torino. External Links: ISBN 978-88-6122-061-4 Cited by: p1.
- [76] A. Désilets and R. Biddle (Eds.) (2007) International symposium on wikis (WikiSym). ACM Press. External Links: Link Cited by: p1.
- [113] A. Hinneburg (Ed.) (2007) Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. Martin-Luther-University Halle-Wittenberg, Martin-Luther University Halle-Wittenberg. Cited by: p1.
- [116] V. Hornung-Prähauser (Ed.) (2007) EduMedia. Salzburg Research. Note: 3. Interdisziplinäre EduMedia Tagung, 16.-17. April 2007, Salzburg External Links: Link Cited by: p1.
- [124] M. Boddy, M. Fox and S. Thiebaux (Eds.) (2007) Proceedings of the 17th international conference on automated planning and scheduling (icaps’07). kauf, Providence, Rhode Island, USA. Cited by: p1.
- [170]
C. Müller (Ed.) (2007)
1
^{st}Workshop on Scientific COmmunities Of Practice. Note: online at http://kwarc.info/events/scoop/scoop1.html External Links: Link Cited by: p1. - [207] E. Simperl, J. Diederich and G. Schreiber (Eds.) (2007) Proceedings of the KWEPSY (Knowledge Web PhD Symposium). CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [103] B. C. Grau, P. Hitzler, C. Shankey and E. Wallace (Eds.) (2006-11) OWL: experiences and directions (OWLED). Cited by: p1.
- [29]
C. Bizer, S. Auer and L. Miller (Eds.) (2006)
Proc. of 2
^{nd}Workshop on Scripting for the Semantic Web at ESWC. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [38] J. M. Borwein and W. M. Farmer (Eds.) (2006) Mathematical knowledge management, 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006, proceedings. LNCS, Springer. External Links: ISBN 3-540-37104-4 Cited by: p1.
- [88] J. Fürnkranz, T. Scheffer and M. Spiliopoulou (Eds.) (2006) Proceedings of the 17th european conference on machine learning (ecml 2006). LNCS, Vol. 4212, Springer-Verlag. Cited by: p1.
- [123] D. Long and S. Smith (Eds.) (2006) Proceedings of the 16th international conference on automated planning and scheduling (icaps’06). kauf, Ambleside, UK. Cited by: p1.
- [158] P. Libbrecht (Ed.) (2006) Mathematical user-interfaces workshop 2006. External Links: Link Cited by: p1.
- [164]
M. Memmel, E. Ras and S. Weibelzahl (Eds.) (2006)
2
^{nd}Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning. Note: Online Proceedings at http://cnm.open.ac.uk/projects/ectel06/pdfs/ECTEL06WS68d.pdf External Links: Link Cited by: p1. - [169]
M. Mühlhäuser, G. Rössling and R. Steinmetz (Eds.) (2006)
Proceedings of the 4
^{th}elearning fachtagung informatik — delfi 2006. Vol. P-87, Köllen Druck Verlag GmbH, Bonn. Cited by: p1. - [193]
S. Ranise and R. Sebastiani (Eds.) (2006)
Proceedings of the 13
^{th}Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus-2006). Cited by: p1. - [194] C. Rensing (Ed.) (2006) Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006. Logos Verlag. Note: ISBN 3-8325-1330-2 Cited by: p1.
- [196] D. Riehle and J. Noble (Eds.) (2006) International symposium on wikis (WikiSym). ACM Press. External Links: Link Cited by: p1.
- [202] M. Seppälä, S. Xambó and O. Caprotti (Eds.) (2006) Proceedings of webalt 2006, first webalt conference and exhibition. Oy WebALT Inc. External Links: ISBN 952-99666-0-1 Cited by: p1.
- [217] Y. Sure and S. Schaffert (Eds.) (2006) Semantics: from visions to applications. Cited by: p1.
- [227]
M. Völkel, S. Schaffert and S. Decker (Eds.) (2006)
Proceedings of the 1
^{st}workshop on semantic wikis, European Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1. - [230] F. Wiedijk (Ed.) (2006) The seventeen provers of the world, foreword by dana s. scott. LNCS, Springer. External Links: ISBN 3-540-30704-4 Cited by: p1.
- [72] F. de Vries, G. Attwell, R. Elferink and A. Tödt (Eds.) (2005-11) Open source for education in europe: research and practise. Open Universiteit Nederland, Open Universiteit Nederland, Heerlen, The Netherlands. Note: Proceedings at http://hdl.handle.net/1820/483 External Links: Link Cited by: p1.
- [105] B. C. Grau, I. Horrocks, B. Parsia and P. Patel-Schneider (Eds.) (2005-11) OWL: experiences and directions (OWLED). Cited by: p1.
- [1] … (Ed.) (2005) Proceedings of the cscl 2005. Vol. …, …. Cited by: p1.
- [4] (2005) 2005 IEEE symposium on visual languages and human-centric computing (VL/HCC 2005), 21-24 september 2005, dallas, tx, usa. IEEE Computer Society. External Links: ISBN 0-7695-2443-5 Cited by: p1.
- [51] C. Bussler, V. Tannen and I. Fundulaki (Eds.) (2005) Semantic web and databases (SWDB), second international workshop, revised selected papers. LNCS, Springer Verlag. External Links: ISBN 3-540-24576-6 Cited by: p1.
- [83] S. Ernst, J. Warwas and E. Kirsch-Auwaerter (Eds.) (2005) Wissenstransform. Wissensmanagement in gleichstellungsorientierten Netzwerken. LIT Verlag. Cited by: p1.
- [122] S. Biundo, K. Myers and K. Rajan (Eds.) (2005) Proceedings of the 15th international conference on automated planning and scheduling (icaps-05). kauf, , Monterey, CA, USA. Cited by: p1.
- [132] K. P. Jantke, K. Fähnrich and W. S. Wittig (Eds.) (2005) Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig. LNI, Vol. 72, GI. External Links: ISBN 3-88579-401-2 Cited by: p1.
- [225] P. van den Besselaar, G. de Michelis, J. Preece and C. Simone (Eds.) (2005) Communities and Technologies. Springer Verlag. Cited by: p1.
- [235] (2005) XTech 2005: xml, the web and beyond.. IDEAlliance, Amsterdam, The Netherlands. External Links: Link Cited by: p1.
- [22] C. Benzmüller and W. Windsteiger (Eds.) (2004) Computer-supported mathematical theory development. RISC Report Series, RISC Institute, University of Linz. Note: IJCAR’04 Workshpo in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5. External Links: Link Cited by: p1.
- [23] C. BenzMüller and W. Windsteiger (Eds.) (2004) Second international joint conference on automated reasoning — workshop on computer-supported mathematical theory development. University College Cork, Cork, Ireland. Cited by: p1.
- [121] S. Koenig, S. Zilberstein and J. Koehler (Eds.) (2004) Proceedings of the 14th international conference on automated planning and scheduling (icaps’04). kauf, , Whistler, Canada. Cited by: p1.
- [157] P. Libbrecht (Ed.) (2004) Mathematical user interfaces workshop 2004. Note: online at http://www.activemath.org/~paul/MathUI04 External Links: Link Cited by: p1.
- [233] R. Meersman, Z. Tari and A. Corsaro (Eds.) (2004) On the move to meaningful internet systems 2004: otm 2004 workshops. LNCS, Springer Verlag. Cited by: p1.
- [108]
T. Hardin and R. Rioboo (Eds.) (2003-09)
11
^{th}symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2003). Rome, Italy. External Links: Link Cited by: p1. - [3]
(2003)
10
^{th}conference of the european chapter of the association for computational linguistics—proceedings of the workshop on dialogue systems: interaction, adaptation and styles of management. Budapest, Hungary. Cited by: p1. - [5]
(2003)
3
^{rd}Ariadne conference. Cited by: p1. - [14] F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi and P. F. Patel-Schneider (Eds.) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press. External Links: ISBN 0-521-78176-0 Cited by: p1.
- [19] P. Baumgartner, P. A. Cairns, M. Kohlhase and E. Melis (Eds.) (2003) Proceedings of the IJCAI 03 workshop on knowledge representation and automated reasoning for e-learning systems. Acapulco, Mexico. Cited by: p1.
- [24] C. Benzmüller (Ed.) (2003) Systems for integrated computation and deduction — interim report of the calculemus ihp network. SEKI report, Seki-Report SR, Dep. of Computer Science, Saarland University, Saarbrücken, Germany. Cited by: p1.
- [34] P. Blackburn and J. Bos (Eds.) (2003) ICoS-4. inference in computational semantics. workshop proceedings. LORIA, Nancy. Cited by: p1.
- [47] B. Buchberger, G. Gonnet and M. Hazewinkel (Eds.) (2003) Mathematical knowledge management. Vol. 38. Note: special issue of Annals of Mathematics and Artificial Intelligence Cited by: p1.
- [109] A. Harrer and K. Gaßner (Eds.) (2003) Proceedings of the ki-03 workshop on expressive media and intelligent tools for learning. HamburgGermany. Cited by: p1.
- [119] M. Huysmann, E. Wenger and V. Wulf (Eds.) (2003) Communities and Technologies. Kluwer Academic Publishers. Cited by: p1.
- [120] E. Giunchiglia, N. Muscettola and D. Nau (Eds.) (2003) Proceedings of the 13th international conference on automated planning and scheduling (icaps’03). kauf, , Trento, Italy. Cited by: p1.
- [135] A. Jönsson, J. Alexandersson, T. Becker, K. Jokinen and M. Merkel (Eds.) (2003) Proceedings of the ijcai 03 workshop on knowledge and reasoning in practical dialogue systems. Acapulco, Mexico. Cited by: p1.
- [148]
I. Kruijff-Korbayová and C. Kosny (Eds.) (2003)
DiaBruck—7
^{th}workshop on the semantics and pragmatics of dialogue. Universität des Saarlandes, SaarbrückenGermany. Cited by: p1. - [174]
D. Petcu, D. Zaharie, V. Negru and T. Jebelean (Eds.) (2003)
5
^{th}international workshop on symbolic and numeric algorithms for scientific computing (SYNASC 03). Mirton Publishing Company, Timisoara, Romania. Cited by: p1. - [189] (2003) First qpq workshop on deductive software components. CADE-19, Miami, USA. Cited by: p1.
- [223]
(2003)
17
^{th}workshop on unification. Valencia, Spain. Cited by: p1. - [54]
O. Caprotti and V. Sorge (Eds.) (2002)
Calculemus 2002 — 10
^{th}symposium on the integration of symbolic computation and mechanized reasoning — work in progress papers. Seki Report, Dept. of Computer Science, Saarland University, Saarbrücken, Germany, Marseille, France. Cited by: p1. - [56] G. Carenini, F. Grasso and C. Reed (Eds.) (2002) Proceedings of the ecai 2002 workshop on computational models of natural argument. Lyon France. Cited by: p1.
- [84] J. Euzenat, A. G. Pérez, N. Guarino and H. Stuckenschmidt (Eds.) (2002) Proceedings of the ecai 2002 workshop on ontologies and semantic interoperability. Lyon France. Cited by: p1.
- [101] A. Gómez-Pérez and V. R. Benjamins (Eds.) (2002) Knowledge engineering and knowledge management. ontologies and the semantic web. LNCS, Springer. External Links: ISBN 3-540-44268-5 Cited by: p1.
- [198] C. P. Rose and V. Aleven (Eds.) (2002) Proceedings of the its 2002 — workshop on empirical methods for tutorial dialogue systems. San Sebastián, Spain. Cited by: p1.
- [26]
P. Kühnlein, H. Rieser and H. Zeevat (Eds.) (2001)
Proceedings of the 5
^{th}workshop on formal semantics and pragmatics of dialog (bi-dialog 2001). BielefeldGermany. Cited by: p1. - [35] P. Blackburn and M. Kohlhase (Eds.) (2001) ICoS-3. inference in computational semantics. workshop proceedings. Computational Linguistics, Saarland University. Cited by: p1.
- [57] A. Cesta and D. Borrajo (Eds.) (2001) Proceedings of the 6th european conference on planning (ecp’01). spring. Cited by: p1.
- [79] U. Egly, A. Fiedler, H. Horacek and S. Schmitt (Eds.) (2001) Proceedings of the workshop on proof transformation, proof presentations and complexity of proofs (PTP-01). Universitá degli studi di Siena. Cited by: p1.
- [162] S. Linton and R. Sebastiani (Eds.) (2001) Proceedings of the calculemus 2001 symposium. Siena, Italy. Cited by: p1.
- [168] J. D. Moore, C. L. Redfield and W. L. Johnson (Eds.) (2001) Artificial intelligence in education. Frontiers in Artificial Intelligence and Applications, Vol. 68, IOS Press. Cited by: p1.
- [8] S. Chien, R. Kambhampati and C. Knoblock (Eds.) (2000) Proceedings of the 5th international conference on artificial intelligence planning systems (aips’00). AAAI Press, Menlo Park, Breckenridge, CO. Cited by: p1.
- [39] J. Bos and M. Kohlhase (Eds.) (2000) ICoS-2. inference in computational semantics. workshop proceedings. Computational Linguistics, Saarland University. Cited by: p1.
- [85] M. Foc (Ed.) (2000) Workshop on analysing and exploiting domain knowledge for efficient planning. AAAI Press. Cited by: p1.
- [216] R. Sun and L. Giles (Eds.) (2000) Sequence learning: paradigms, algorithms, and applications. LNAI, Springer Verlag. Cited by: p1.
- [10] A. Armando and T. Jebelean (Eds.) (1999) CALCULEMUS 99, systems for integrated computation and deduction. Electronic Notes in Theoretical Computer Science, Elsevier, Trento, Italy. Note: URL: http://www.elsevier.nl/locate/entcs External Links: Link Cited by: p1.
- [27] S. Biundo and M. Fox (Eds.) (1999) Proceedings of the 5th european conference on planning (ecp’99). spring. Cited by: p1.
- [49] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.) (1999) Proceedings of IWCS III (third international workshop on computational semantics). Tilburg. Cited by: p1.
- [167] C. Monz and M. de Rijke (Eds.) (1999) Proceedings of inference in computational semantics icos-1. ILLC, Amsterdam. Cited by: p1.
- [188]
(1999)
Proceedingsof the 7
^{th}european workshop on natural language generation. Toulouse France. Cited by: p1. - [218] J. Grundy and M. Newey (Eds.) (1998-10) Theorem proving in higher order logics: emerging trends. Technical Report 98-08, Department of Computer Science and Computer Science Lab, The Australian National University, Canberra, Australia. Cited by: p1.
- [63]
A. Cohen and H. Barendregt (Eds.) (1998-07)
6
^{th}calculemus and types workshop. Eindhoven, The Netherlands. External Links: Link Cited by: p1. - [20] P. Baumgartner, U. Furbach, M. Kohlhase, W. McCune, W. Reif, M. Stickel and T. Uribe (Eds.) (1998) CADE-15 workshop “problem-solving methodologies with automated deduction”. Cited by: p1.
- [33] N. Bjorner, R. Hähnle, W. Menzel, W. Reif and P. H. Schmitt (Eds.) (1998) CADE-15 workshop “integration of deduction systems”. Cited by: p1.
- [75] J. Denzinger, M. Kohlhase and B. Spencer (Eds.) (1998) CADE-15 workshop “using AI methods in deduction”. Cited by: p1.
- [128]
(1998)
Proceedings of the 9
^{th}International Workshop on Natural Language Generation. INLG, Niagara-on-the-Lake, Ontario, Canada. Cited by: p1. - [163] (1998) Logics in Artificial Intelligence. European Workshop JELIA ’98. LNAI, Springer Verlag. Cited by: p1.
- [222] R. C. Backhouse (Ed.) (1998) User interfaces for theorem provers. Computing Science Reports, Department of Mathematics and Computing Science, Eindhoven Technical University. Cited by: p1.
- [9] E. André (Ed.) (1997) Referring phenomena in a multimedia context and their computational treatment. Madrid, Spain. Cited by: p1.
- [48] H. Bunt, L. Kievit, R. Muskens and M. Verlinden (Eds.) (1997) Proceedings of IWCS II (second international workshop on computational semantics). Tilburg. Cited by: p1.
- [86] U. Furbach and M. P. Bonacina (Eds.) (1997) Proceedings of the international workshop on first order theorem proving. RISC-Linz Report Series, Johannes Kepler Universität Linz. Cited by: p1.
- [181] (1997) Proceedings of IWCS II (second international workshop on computational semantics). Cited by: p1.
- [203] J. Siekmann, F. Pfenning and X. Huang (Eds.) (1997) Proceedings of the first international workshop on proof transformation and presentation. Schloss DagstuhlGermany. Cited by: p1.
- [215] S. Steel and R. Alami (Eds.) (1997) Proceedings of the 4th european conference on planning (ecp’97). spring. Cited by: p1.
- [224] J. van Benthem and A. ter Meulen (Eds.) (1997) Handbook of logic and language. Elsevier Science. Cited by: p1.
- [99] J. Girard, M. Okada and A. Scedrov (Eds.) (1996) Linear logic 96 tokyo meeting. Electronic Notes in Theoretical Computer Science, Vol. 3, Elsevier. Cited by: p1.
- [115] H. S. K. Homann, S. Jakob and M. Kerber (Eds.) (1996) Proceedings of the ecai workshop on representation ofmathematical knowledge. Budapest, Hungary. Cited by: p1.
- [127]
(1996)
Proceedings of the 8
^{th}international natural language generation workshop. Herstmonceux Castle, Sussex, UK. Cited by: p1. - [134] (1996) Logics in artificial intelligence. european workshop jelia ’96. LNAI, Springer Verlag. Cited by: p1.
- [221] N. A. Merriam (Ed.) (1996) User interfaces for theorem provers. Department of Computer Science, University of York, UK. Cited by: p1.
- [183] (1995) Proceedings of the ijcai-95 workshop on multilingual text generation. Montreal, Canada. Cited by: p1.
- [187]
(1995)
Proceedingsof the 5
^{th}european workshop on natural language generation. Rijks University Leiden, Leiden, Netherlands. Cited by: p1. - [220] (1995) International Workshop on User Interface Design for Theorem Proving Systems. Glasgow. Cited by: p1.
- [50] H. Bunt, R. Muskens and G. Rentier (Eds.) (1994) International Workshop on Computational Semantics. Tilburg. Cited by: p1.
- [126]
(1994)
Proceedings of the 7
^{th}International Workshop on Natural Language Generation. INLG, Kennebunkport, ME. Cited by: p1. - [129] (1994) International Workshop on Computational Semantics. Cited by: p1.
- [175]
(1994)
Proceedings of 7
^{th}international workshop on generation. Kennebunkport, Maine, USA. Cited by: p1. - [232]
C. W. Wolfgang Bibel (Ed.) (1994)
Informal Proc. of the 11
^{th}Annual Meeting of the “GI-Fachgruppe Deduktionssysteme”. Forschungsbericht, FB Informatik, TH Darmstadt, Darmstadt, Germany. Cited by: p1. - [12] J. Avenhaus and J. Denzinger (Eds.) (1993) Proceedings of the annual meeting of “gi-fachgruppe deduktionssysteme”. SEKI-Report, Kaiserslautern, Germany. Cited by: p1.
- [130]
(1993)
Proceedings of the 23
^{rd}Intrenational Symposium on Multiple Valued Logic. IEEE Press, Sacramento, CA. Cited by: p1. - [140]
G. Gottlob, A. Leitsch and D. Mundici (Eds.) (1993)
3
^{rd}Kurt Gödel Colloquium KGC’93. LNCS, Springer Verlag. Cited by: p1. - [182]
(1993)
Proceedings of the 1
^{st}conference of the pacific association for computational linguistics. Centre for Systems Science, Simon Fraser University, Vancouver, Canada. Cited by: p1. - [236]
M. Zock, G. Adorni and G. Ferrari (Eds.) (1993)
Proceedings of the 4
^{th}european workshop on natural language generation. Cited by: p1. - [147] B. Nebel, W. Swartout and C. Rich (Eds.) (1992-10) Principles of knowledge representation and reasoning: proceedings of the 3rd international conference (kr-92). kauf, Cambridge, MA. Cited by: p1.
- [78] B. Neumann (Ed.) (1992-08) Proceedings of the 10th european conference on artificial intelligence (ecai’92). wil, Vienna, Austria. Cited by: p1.
- [6] (1992) Proceedings of the 10th national conference of the american association for artificial intelligence (aaai’92). MIT Press, San Jose, CA. Cited by: p1.
- [68] (1992) Proceedings of the third International Workshop on Conditional Term Rewriting Systems, Pont-a-Mousson, France. LNCS, Springer Verlag. Cited by: p1.
- [133] D. Pearce and G. Wagner (Eds.) (1992) Logics in AI. European Workshop JELIA ’92, Berlin, Germany. LNCS, Springer Verlag. Cited by: p1.
- [67]
S. Kaplan and M. Okada (Eds.) (1991)
Proceedings of the 2
^{nd}International Workshop on Conditional Term Rewriting Systems, Montreal, Canada. LNCS, Springer Verlag. Cited by: p1. - [172] C. L. Paris, W. R. Swartout and W. C. Mann (Eds.) (1991) Natural language generation in artificial intelligence and computational linguistics. Kluwer, Boston, MA, USA. Cited by: p1.
- [184] (1991) Proceedings of the sigplan ’91 symposion on language design and implementation, toronto, canada. ACM Press. Cited by: p1.
- [125]
K. R. McKeown, J. D. Moore and S. Nirenburg (Eds.) (1990)
Proceedings of the 5
^{th}international natural language generation workshop. Dawson, PA. Cited by: p1. - [165]
D. Metzing (Ed.) (1989)
Proceedings of the of 13
^{th}gwai. Informatik-Fachberichte, Springer Verlag. Cited by: p1. - [66]
S. Kaplan and J. Jouannaud (Eds.) (1988)
Proceedings of the 1
^{st}International Workshop on Conditional Term Rewriting Systems, Orsay, France. LNCS, Springer Verlag. Cited by: p1. - [118] E. Hovy, D. McDonald and S. Young (Eds.) (1988) Proceedings of the aaai workshop on text planning and realization. St. Paul, MN, USA. Cited by: p1.
- [107] J. Hallam and C. Mellish (Eds.) (1987) Advances in artificial intelligence, aisb-87. Wiley. Cited by: p1.
- [41] M. Brady and R. C. Berwick (Eds.) (1984) Computational models of discourse. The M. I. T. Press, Cambridge, Massachusetts/London. Cited by: p1.
- [204] J. Siekmann and G. Wrightson (Eds.) (1983) Automation of reasoning 1: classical papers on computational logic 1957–1966. Symbolic Computation, Springer Verlag. Cited by: p1.
- [205] J. Siekmann and G. Wrightson (Eds.) (1983) Automation of reasoning. Symbolic Computation, Vol. 1 Classical Papers on Computational Logic 1957–1966, Springer Verlag. Cited by: p1.
- [206] J. Siekmann and G. Wrightson (Eds.) (1983) Automation of reasoning. Symbolic Computation, Vol. 2 Classical Papers on Computational Logic 1967–1970, Springer Verlag. Cited by: p1.
- [228]
W. H. Joyner (Ed.) (1979)
Proceedings of the 4
^{th}Workshop on Automated Deduction. Austin, Texas, USA. Cited by: p1. - [77] H. J. Ebbinghaus (Ed.) Logic colloquium ’87. North Holland. Cited by: p1.

- [115] (2017-10) Math object identifiers – towards research data in mathematics. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, A. Kohlhase and E. Kübler (Eds.), pp. 214–252. External Links: Link Cited by: p1.
- [72] (2017) Visual structure in math expressions. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [90] (2017) Domain-dependant decoding of math expressions. In MathUI 2017: the 12th workshop on mathematical user interfaces, A. Kohlhase and M. Pollanen (Eds.), External Links: Link Cited by: p1.
- [95] (2017) Mathematical models as research data via flexiformal theory graphs. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [100] (2017) Making PVS accessible to generic services by interpretation in a universal format. In Interactive theorem proving 8th international conference, itp 2017, Ayala-Rincón (Ed.), LNCS, Vol. 10499. External Links: Link Cited by: p1.
- [101] (2017) Knowledge-based interoperability for mathematical software systems. In MACIS 2017, J. Blömer, T. Kutsia and D. Simos (Eds.), LNCS. Note: in press External Links: Link Cited by: p1.
- [160] (2017) Classification of alignments between concepts of formal mathematical systems. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [161] (2017) Alignment-based translations across formal systems using interface theories. External Links: Link Cited by: p1.
- [183] (2017) A flexible, interactive theory-graph viewer. In MathUI 2017: the 12th workshop on mathematical user interfaces, A. Kohlhase and M. Pollanen (Eds.), External Links: Link Cited by: p1.
- [188] (2017) Software citations, information systems, and beyond. In Intelligent computer mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
- [195] (2017) Virtual theories – a uniform interface to mathematical knowledge bases. In MACIS 2017, J. Blömer, T. Kutsia and D. Simos (Eds.), LNCS. Note: in press External Links: Link Cited by: p1.
- [69] (2016-07) Understanding mathematical expressions: an eye-tracking study. In Mathematical user interfaces workshop at CICM, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
- [192] (2016-07) Notation-based semantification. In Mathematical user interfaces workshop at CICM, A. Kohlhase and P. Libbrecht (Eds.), pp. 73–81. External Links: Link Cited by: p1.
- [3] (2016) NTCIR-12 MathIR task overview. In Proceedings of the 12th ntcir conference on evaluation of information access technologies, N. Kando, T. Sakai and M. Sanderson (Eds.), pp. 299–308. External Links: Link Cited by: p1.
- [63] (2016) A standard for aligning mathematical concepts. In Intelligent computer mathematics – work in progress papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, Naumowicz, W. Neuper, P. Quaresma, F. Tompa and M. Suda (Eds.), External Links: Link Cited by: p1.
- [89] (2016) Math web search interfaces and the generation gap of mathematicians. External Links: Link Cited by: p1.
- [182] (2016) FrameIT reloaded: serious math games from modular math ontologies. In Intelligent computer mathematics – work in progress papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, Naumowicz, W. Neuper, P. Quaresma, F. Tompa and M. Suda (Eds.), External Links: Link Cited by: p1.
- [41] (2015-10) Faceted search for mathematics. In Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDB, R. Bergmann, S. Görg and G. Müller (Eds.), pp. 33–44. External Links: Link Cited by: p1.
- [145] (2015-10) Importing the OEIS library into OMDoc. In Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDB, R. Bergmann, S. Görg and G. Müller (Eds.), pp. 296–303. External Links: Link Cited by: p1.
- [35] (2015-07) KAT: an annotation tool for STEM documents. In Mathematical user interfaces workshop at CICM, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
- [70] (2015-07) Co-occurrences of context dimensions of spreadsheets. In Mathematical user interfaces workshop at CICM, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
- [166] (2015-07) Relational presentations using semantic closeness spatial narrative for mathematical content. In Mathematical user interfaces workshop at CICM, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
- [73] (2015) Context in spreadsheet comprehension. In Second workshop on software engineering methods in spreadsheets, External Links: Link Cited by: p1.
- [191] (2015) Assessment for spreadsheets. In Second workshop on software engineering methods in spreadsheets, External Links: Link Cited by: p1.
- [1] (2014) OpenMathMap: interaction. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [2] (2014) NTCIR-11 Math-2 task overview. In NTCIR workshop 11 meeting, N. Kando, H. Joho and K. Kishida (Eds.), pp. 88–98. External Links: Link Cited by: p1.
- [11] (2014) Realms: a structure for consolidating knowledge about mathematical theories. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 252–266. Note: MKM Best-Paper-Award External Links: Link Cited by: p1.
- [36] (2014) E-books and graphics with LaTeXml. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 427–430. External Links: Link Cited by: p1.
- [40] (2014) MathWebSearch at NTCIR-11. In NTCIR workshop 11 meeting, N. Kando, H. Joho and K. Kishida (Eds.), pp. 114–119. External Links: Link Cited by: p1.
- [50] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [54] (2014) System description: MathHub.info. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 431–434. External Links: Link Cited by: p1.
- [62] (2014) Towards an interaction-based integration of MKM services into end-user applications. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 344–356. External Links: Link Cited by: p1.
- [64] (2014) Towards knowledge management for HOL Light. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 357–372. External Links: Link Cited by: p1.
- [79] (2014) FEncy: spreadsheet formulae exploration. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [86] (2014) Design of search interfaces for mathematicians. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [87] (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Link, Document Cited by: p1.
- [88] (2014) Search interfaces for mathematicians. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
- [91] (2014) System description: a semantics-aware LaTeX-to-office converter. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 440–443. External Links: Link Cited by: p1.
- [112] (2014) A data model and encoding for a semantic, multilingual terminology of mathematics. In Intelligent computer mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka and J. Urban (Eds.), LNCS, pp. 169–183. External Links: Link Cited by: p1.
- [113] (2014) Extension proposal: records in pragmatic OpenMath. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [114] (2014) OpenMath language extensions. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [146] (2014) Proof support for Common Logic. pp. 42–58. External Links: Link Cited by: p1.
- [180] (2014) A Logic-Independent IDE. In Workshop on user interfaces for theorem provers, C. Benzmüller and B. Woltzenlogel Paleo (Eds.), pp. 48–60. External Links: Link Cited by: p1.
- [181] (2014) A Logic-Independent IDE. pp. 48–60. External Links: Document Cited by: p1.
- [46] A. Henrich and H. Sperker (Eds.) (2013-10) Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings. Universität Bamberg. Cited by: 78.
- [78] (2013-10) Exploration of spreadsheet formulae with fency. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, A. Kohlhase and B. Rieger (Eds.), External Links: Link Cited by: p1.
- [4] (2013) NTCIR-10 Math pilot task overview. In NTCIR workshop 10 meeting, N. Kando and K. Kishida (Eds.), pp. 1–8. External Links: Link Cited by: p1.
- [9] (2013) Semantic support for engineering design processes. External Links: Link Cited by: p1.
- [25] (2013) OpenMathMap: accessing math via interactive maps. pp. 81–98. External Links: Link Cited by: p1.
- [26] (2013) OpenMathMap: accessing math via interactive maps. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013, C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [37] (2013) NNexus Glasses: a drop-in showcase for wikification. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013, C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [55] (2013) The Scala-REPL + MMT as a lightweight mathematical user interface. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013, C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [56] (2013) The Scala-REPL + MMT as a lightweight mathematical user interface. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013, C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.), CEUR Workshop Proceedings. Cited by: p1.
- [68] (2013) Automated reasoning for economics. Note: Invited paper Cited by: p1.
- [85] (2013) Spreadsheets: from data interfaces to knowledge interfaces. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013, C. Lange, D. Aspinall, J. Carette, J. D. and, M. Kohlhase, P. Libbrecht, P. Q. , F. Rabe, P. Sojka, I. Whiteside and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [102] (2013) XLSearch: a search engine for spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2013), External Links: Link Cited by: p1.
- [103] (2013) MathWebSearch at NTCIR-10. In NTCIR workshop 10 meeting, N. Kando and K. Kishida (Eds.), pp. 675–679. External Links: Link Cited by: p1.
- [110] (2013) Knowledge management for systematic engineering design in CAD systems. In Professionelles Wissenmanagement Management, Konferenzbeiträge der 7. Konferenz, F. Lehner, N. Amende and N. Fteimi (Eds.), pp. 202–217. External Links: Link Cited by: p1.
- [111] (2013) The flexiformalist manifesto. In International workshop on symbolic and numeric algorithms for scientific computing (SYNASC 2012), A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. M. Watt and D. Zaharie (Eds.), pp. 30–36. External Links: Link Cited by: p1.
- [119] (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 200–215. External Links: 1303.4193 Cited by: p1.
- [132] (2013) The formare project – formal mathematical reasoning in economics. In Intelligent computer mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka and Windsteiger (Eds.), Lecture Notes in Computer Science, pp. 330–334. External Links: 1303.4194 Cited by: p1.
- [133] (2013) Developing an auction theory toolbox. In Enabling domain experts to use formalised reasoning, C. Lange, C. Rowat and M. Kerber (Eds.), Cited by: p1.
- [147] (2013) The distributed ontology, modeling and specification language. Aachen. Note: Invited paper External Links: ISSN 1613-0073, Link Cited by: p1.
- [149] (2013) Semantics of the distributed ontology language: institutes and institutions. In Recent Trends in Algebraic Development Techniques, T. Mossakowski, N. Martí-Oliet and M. Palomino Tarjuelo (Eds.), LNCS, pp. 212–230. Cited by: p1.
- [84] (2012-06) Navigation in mathematical documents. In Mathematical user-interfaces workshop 2012 at CICM, P. Libbrecht (Ed.), pp. 12–23. External Links: Link Cited by: p1.
- [14] (2012) Representing CASL in a Proof-Theoretical Logical Framework. Cited by: p1.
- [16] (2012) Compiling Logics. Cited by: p1.
- [17]
(2012)
PlanetMath/Planetary.
In Joint proceedings of the 24
^{th}OpenMath workshop, the 7^{th}workshop on mathematical user interfaces (MathUI), and the work in progress section of the conference on intelligent computer mathematics, J. Davenport, J. Jeuring, C. Lange and P. Libbrecht (Eds.), CEUR Workshop Proceedings, pp. 66–72. External Links: Link Cited by: p1. - [51] (2012) Representing Categories of Theories in a Proof-Theoretical Logical Framework. Cited by: p1.
- [57] (2012) (Work-in-Progress) An MMT-Based User-Interface. Cited by: p1.
- [58] (2012) Management of Change in Declarative Languages. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 325–340. Cited by: p1.
- [61] (2012) Cost-effective integration of mkm semantic services into editing environments. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 96–110. External Links: Link Cited by: p1.
- [67] (2012) Formal representation and proof for cooperative games. pp. 15–18. External Links: Link, ISBN 978-1-908187-10-9 Cited by: p1.
- [93] (2012) Searching the space of mathematical knowledge. In DML and MIR 2012, P. Sojka and M. Kohlhase (Eds.), External Links: Link Cited by: p1.
- [116] (2012) The Babel of the semantic web tongues – in search of the Rosetta stone of interoperability. External Links: Link Cited by: p1.
- [127] (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 463–467. External Links: 1204.5093 Cited by: p1.
- [130] (2012) The Distributed Ontology Language (DOL): use cases, syntax, and extensibility. In Terminology and knowledge engineering conference (TKE), G. Aguado de Cea, M. C. Suárez-Figueroa, R. G. ía-Castro and E. Montiel-Ponsoda (Eds.), pp. 33–48. External Links: 1208.0293 Cited by: p1.
- [131] (2012) LoLa: a modular ontology of logics, languages, and translations. Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [148] (2012) cMap’s product classification mapping from an ontology interoperability perspective. Cited by: p1.
- [175] (2012) Mechanically Verifying Logic Translations. Cited by: p1.
- [179] (2012) A Query Language for Formal Mathematical Libraries. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 142–157. External Links: 1204.4685 Cited by: p1.
- [190] (2012) Point-and-write — documenting formal mathematics by reference. In Intelligent computer mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel and V. Sorge (Eds.), LNAI, pp. 169–185. External Links: 1204.5094 Cited by: p1.
- [129] (2011-11) Making heterogeneous ontologies interoperable through standardisation. pp. 185–196. External Links: Link Cited by: p1.
- [167] (2011-09) MathWebSearch 0.5 - open formula search engine. In Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings, External Links: Link Cited by: p1.
- [117] (2011-06) Towards a standard for heterogeneous ontology integration and interoperability. pp. 101–110. External Links: Link Cited by: p1.
- [12]
(2011)
Authoring and publishing of units and quantities in semantic documents.
In Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [15] (2011) Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In Recent Trends in Algebraic Development Techniques, H. Kreowski and T. Mossakowski (Eds.), LNCS. Cited by: p1.
- [21]
(2011)
A framework for modular semantic publishing with separate compilation and dynamic linking.
In Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [30]
(2011)
BauDenkMalNetz – creating a semantically annotated web resource of historical buildings.
In Proceedings of the 1
^{st}workshop on semantic publication, Extended Semantic Web Conference, A. García Castro, C. Lange, E. Sandhaus and A. de Waard (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [38] (2011) Hecate, managing authorization with restful xml. In Proceedings of the second international workshop on restful design, C. Pautasso, E. Wilde and R. Alarcon (Eds.), External Links: Link Cited by: p1.
- [45] (2011) Tag libraries for XSLT and XQuery. In Proceedings of balisage: the markup conference, Balisage Series on Markup Technologies, Vol. 7. External Links: Document Cited by: p1.
- [49] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematics, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [71] (2011) planMP: collecting mathematical practices for mkm. In Intelligent computer mathematics – work in progress papers, J. Davenport, W. Farmer, F. Rabe and J. Urban (Eds.), Cited by: p1.
- [77]
(2011)
Towards a flexible notion of document context.
In Proceedings of the 29
^{th}annual ACM international conference on design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1. - [196] (2011) Using discourse context to interpret object-denoting mathematical expressions. In Towards digital mathematics library, dml workshop, P. Sojka (Ed.), pp. 85–101. External Links: Link Cited by: p1.
- [143]
(2010-07)
Towards OpenMath content dictionaries as linked data.
In 23
^{rd}OpenMath workshop, M. Kohlhase and C. Lange (Eds.), External Links: 1006.4057v1 Cited by: p1. - [23] (2010-06) JOBAD/MMT – interactive mathematics. In AI Mashup Challenge, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher and P. Hitzler (Eds.), External Links: Link Cited by: p1.
- [5]
(2010)
Semantics-based change impact analysis for heterogeneous collections of documents.
In Proceedings of the 10
^{th}ACM symposium on document engineering, M. Gormish and R. Ingold (Eds.), DocEng ’10, pp. 97–106. External Links: Link, Document Cited by: p1. - [20]
(2010)
eMath 3.0: building blocks for a social and semantic web for online mathematics & ELearning.
In 1
^{st}International Workshop on Mathematics and ICT: Education, Research and Applications, I. Mierlus-Mazilu (Ed.), External Links: Link Cited by: p1. - [22] (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
- [24] (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. In CALCULEMUS (emerging trends), D. Delahaye and R. Rioboo (Eds.), pp. 13–30. External Links: Link Cited by: p1.
- [29]
(2010)
Prototyping a browser for a listed buildings database with Semantic MediaWiki.
In Proceedings of the 5
^{th}workshop on semantic wikis, Extended Semantic Web Conference, C. Lange, J. Reutelshöfer, S. Schaffert and H. Skaf-Molli (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [32] (2010) Mathematical knowledge representation for education semantic web based on learning style. pp. 1–4. External Links: Document Cited by: p1.
- [59] (2010) Semantically enabled business process discovery. pp. 1396–1403. External Links: ISBN 978-1-60558-639-7 Cited by: p1.
- [60] (2010) sTeXIDE: an integrated development environment for sTeX collections. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI. External Links: Link Cited by: p1.
- [74] (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. I. and, R. Rioboo and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
- [134]
(2010)
Previewing OWL changes and refactorings using a flexible XML database.
In Proceedings of the 1
^{st}workshop on ontology repositories and editors, Extended Semantic Web Conference, M. d’Aquin, A. García Castro, C. Lange and K. Viljanen (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [144] (2010) Integrating mathematics into the web of data. Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
- [170] (2010) Representing Isabelle in LF. pp. 85–100. Cited by: p1.
- [193] (2010) Semantics of governmental statistics data. In Proceedings of WebSci’10: Extending the Frontiers of Society On-Line, External Links: Link Cited by: p1.
- [197] (2010) Symbol declarations in mathematical writing: a corpus study. In Towards digital mathematics library, dml workshop, P. Sojka (Ed.), pp. 119–127. External Links: Link Cited by: p1.
- [198] (2010) A [insert xml format] database for [insert cool application]. In Proceedings of XML Prague 2010, External Links: Link Cited by: p1.
- [200] (2010) Scripting documents with xquery: virtual documents in TNTBase. In Proceedings of balisage: the markup conference, Balisage Series on Markup Technologies, Vol. 5. External Links: Document Cited by: p1.
- [201] (2010) Scripting documents with xquery: virtual documents in TNTBase. In Proceedings of balisage: the markup conference 2010, Balisage Series on Markup Technologies. External Links: Link Cited by: p1.
- [39] (2009-12-14) Towards context-based disambiguation of mathematical expressions. Fukuoka, Japan, pp. 262–271. External Links: ISSN 1881-4042, Link Cited by: p1.
- [43] (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 76, 126, 202.
- [76] (2009-09) What you get is what you understand: assessment in SACHS. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, C. Lange and J. Reutelshöfer (Eds.), pp. 22–29. External Links: Link Cited by: p1.
- [92] (2009-09) JOBAD – interactive mathematical documents. In AI Mashup Challenge, B. Endres-Niggemeyer, V. Zacharias and P. Hitzler (Eds.), External Links: Link Cited by: p1.
- [126] (2009-09) A mathematical approach to ontology authoring and documentation. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, C. Lange and J. Reutelshöfer (Eds.), Cited by: p1.
- [202] (2009-09) The TNTBase System and Validation of XML Documents. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, C. Lange and J. Reutelshöfer (Eds.), pp. 57–63. External Links: Link Cited by: p1.
- [203] (2009-09) The TNTBase System and Validation of XML Documents. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM, C. Lange and J. Reutelshöfer (Eds.), Vol. TUD-KE-2009-04, pp. 57–63. External Links: Link Cited by: p1.
- [10] (2009-07) Formal Proofs: Reconciling Correctness and Understanding. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI. Cited by: p1.
- [18]
(2009-07)
Quantifiers and big operators in OpenMath.
In 22
^{nd}openmath workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [33] (2009-07) Integrating web services into active mathematical documents. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 279–293. External Links: Link Cited by: p1.
- [104]
(2009-07)
Semantics of OpenMath and MathML3.
In 22
^{nd}openmath workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [125] (2009-07) A mathematical approach to ontology authoring and documentation. In MKM/Calculemus proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen and S. M. Watt (Eds.), LNAI, pp. 389–404. External Links: Link Cited by: p1.
- [142]
(2009-07)
wiki.openmath.org – how it works, how you can participate.
In 22
^{nd}openmath workshop, J. H. Davenport (Ed.), External Links: 1003.5192v1 Cited by: p1. - [173]
(2009-07)
A better role system for OpenMath.
In 22
^{nd}openmath workshop, J. H. Davenport (Ed.), External Links: Link Cited by: p1. - [124] (2009-06) Documenting ontologies the mathematical way. External Links: Link Cited by: p1.
- [141] (2009-05) Krextor – an extensible XML$\to $RDF extraction framework. In Scripting and development for the semantic web (SFSW), C. Bizer, S. Auer and G. A. Grimnes (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
- [19] (2009) Parallelised em wave propagation modelling for accurate network simulation. Cited by: p1.
- [27] (2009) A Case Study on Formalizing Algebra in a Module System. pp. 11–18. Cited by: p1.
- [28] (2009) A Case Study on Formalizing Algebra in a Module System. pp. 11–18. Cited by: p1.
- [34] (2009) An architecture for linguistic and semantic analysis on the arXMLiv corpus. External Links: Link Cited by: p1.
- [47] (2009) Representing Model Theory in a Type-Theoretical Logical Framework. pp. 49–65. Cited by: p1.
- [158] (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. pp. 432–437. External Links: Link Cited by: p1.
- [159] (2009) Communities of Practice & Semantic Web: Stimulating Collaboration by Document Markup. pp. 1–8. External Links: Link Cited by: p1.
- [168] (2009) A Practical Module System for LF. pp. 40–48. Cited by: p1.
- [169] (2009) Representing Logics and Logic Translations. pp. 201–210. Note: English title: Outstanding Dissertations in Computer Science 2008 Cited by: p1.
- [189] (2009) MathML-aware article conversion from LaTeX, a comparison study. In Towards digital mathematics library, dml 2009 workshop, P. Sojka (Ed.), pp. 109–120. External Links: Link Cited by: p1.
- [199] (2009) TNTBase: a versioned storage for XML. In Proceedings of balisage: the markup conference, Balisage Series on Markup Technologies, Vol. 3. External Links: Document Cited by: p1.
- [75] (2008-10) Compensating the semantic bias of spreadsheets. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. External Links: Link Cited by: p1.
- [122] (2008-10) Arguing on issues with mathematical knowledge items in a semantic wiki. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
- [156] (2008-10) Towards CoPing with Information Overload. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
- [157] (2008-10) Towards the Adaptation of Scientific Course Material powered by Community of Practice. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Cited by: p1.
- [162] (2008-10) Fine-Granular Version Control & Redundancy Resolution. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. Note: http://www.kwarc.info/nmueller/papers/lwa08-fst.pdf External Links: Link Cited by: p1.
- [120] (2008-07) Easily editing and browsing complex OpenMath markup with SWiM. In Mathematical user interfaces workshop at MKM, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
- [121]
(2008-06)
Improving mathematical knowledge items by acting on issue-based community feedback.
In 2
^{nd}workshop on scientific communities of practice (SCooP-2008), C. Müller (Ed.), Cited by: p1. - [152]
(2008-06)
Towards A Community of Practice Toolkit.
In 2
^{nd}workshop on scientific communities of practice (SCooP-2008), C. Müller (Ed.), Cited by: p1. - [138] (2008-02) Editing OpenMath content dictionaries with SWiM. External Links: Link Cited by: p1.
- [6] (2008) THF0 – The core of the TPTP Language for Higher-Order Logic. pp. 491–506. Cited by: p1.
- [109]
(2008)
Compiling OpenMath type systems to Relax NG grammars.
In 3
^{rd}JEM workshop – joining educational mathematics, O. Caprotti, S. Xambó, M. Huertas, M. Kohlhase and M. Seppälä (Eds.), Cited by: p1. - [118]
(2008)
Expressing argumentative discussions in social media sites.
In Social data on the web (SDoW), workshop at the 7
^{th}international semantic web conference, J. Breslin, U. Bojārs, A. Passant and S. Fernández (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1. - [128]
(2008)
Flyspeck in a semantic wiki – collaborating on a large scale formalization of the Kepler conjecture.
In Proceedings of the 3
^{rd}workshop on semantic wikis, European Semantic Web Conference, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [139]
(2008)
Mathematical semantic markup in a wiki: the roles of symbols and notations.
In Proceedings of the 3
^{rd}workshop on semantic wikis, European Semantic Web Conference, C. Lange, S. Schaffert, H. Skaf-Molli and M. Völkel (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [140] (2008) SWiM – a semantic wiki for mathematical knowledge management. In The semantic web: research and applications, S. Bechhofer, M. Hauswirth, J. Hoffmann and M. Koubarakis (Eds.), LNCS, pp. 832–837. External Links: 1003.5196v1 Cited by: p1.
- [153] (2008) Communities of practice in mathematical elearning. pp. 34–35. Cited by: p1.
- [171] (2008) An exchange format for modular knowledge. Aachen, pp. 50–68. External Links: ISSN 1613-0073 Cited by: p1.
- [172] (2008) An Exchange Format for Modular Knowledge. pp. 50–68. Cited by: p1.
- [97] (2007-06) Presenting mathematical content with flexible elisions. In OpenMath/JEM workshop 2007, O. Caprotti, M. Kohlhase and P. Libbrecht (Eds.), Cited by: p1.
- [99] (2007-06) Documents with flexible notation contexts as interfaces to mathematical knowledge. In Mathematical user-interfaces workshop 2007 at MKM, P. Libbrecht (Ed.), Cited by: p1.
- [135] (2007-06) SWiM – a semantic wiki for mathematical knowledge management. In Mathematical user-interfaces workshop 2007 at MKM, P. Libbrecht (Ed.), Cited by: p1.
- [136] (2007-06) Towards scientific collaboration in a semantic wiki. In Bridging the Gap between Semantic Web and Web 2.0 (SemNet), A. Hotho and B. Hoser (Eds.), Cited by: p1.
- [48] (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/Calculemus, M. Kauers, M. Kerber, R. Miner and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.
- [83] (2007) CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint. In EduMedia, V. Hornung-Prähauser (Ed.), pp. 116–118. Cited by: p1.
- [98] (2007) Managing variants in document content and narrative structures. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 324–229. Cited by: p1.
- [137] (2007) Towards a Semantic Wiki for Science. In Proceedings of the KWEPSY (Knowledge Web PhD Symposium), E. Simperl, J. Diederich and G. Schreiber (Eds.), CEUR Workshop Proceedings. Cited by: p1.
- [150] (2007) Panta rhei. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 318–323. Cited by: p1.
- [151] (2007) Panta rhei. pp. 318–323. Cited by: p1.
- [154] (2007) Presentation on Modeling Scientific Communities of Practice based on Semantic Markup of Scientific Documents and Web2.0. Technologies. In 7. konferenz für interaktive und kooperative medien, T. Gross (Ed.), Cited by: p1.
- [155]
(2007)
Towards the Identification and Support of Scientific Communities of Practice.
In 1
^{st}Workshop on Scientific COmmunities Of Practice, C. Müller (Ed.), Cited by: p1. - [163] (2007) Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 289–295. Note: http://kwarc.info/nmueller/papers/lwa07.pdf External Links: Link Cited by: p1.
- [178] (2007) OMDoc Theory Graphs Revisited. Cited by: p1.
- [194]
(2007)
Towards Community of Practice Support for Interactive Mathematical Authoring.
In 1
^{st}Workshop on Scientific COmmunities Of Practice, C. Müller (Ed.), Cited by: p1. - [81] (2006) CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint. In Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006, C. Rensing (Ed.), pp. 35–42. Cited by: p1.
- [82]
(2006)
The User as Prisoner: How the Dilemma Might Dissolve.
In 2
^{nd}Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning, M. Memmel, E. Ras and S. Weibelzahl (Eds.), pp. 26–31. External Links: Link Cited by: p1. - [123]
(2006)
A semantic wiki for mathematical knowledge management.
In Proceedings of the 1
^{st}workshop on semantic wikis, European Semantic Web Conference, M. Völkel, S. Schaffert and S. Decker (Eds.), CEUR Workshop Proceedings. Cited by: p1. - [164] (2006) An Ontology-Driven Management of Change. Universität Hildesheim, pp. 186–193. Note: http://kwarc.info/nmueller/papers/lwa06.pdf External Links: Link Cited by: p1.
- [165] (2006) Enhanced theorem reuse by partial theory inclusions. In Proceedings of artificial intelligence and symbolic computation, AISC’2006, T. Ida, J. Calmet and D. Wang (Eds.), LNAI, pp. 40–52. Cited by: p1.
- [176] (2006) First-Order Logic with Dependent Types. In Automated reasoning — third international joint conference, ijcar 2006, U. Furbach and N. Shankar (Eds.), LNAI, pp. 377–391. Cited by: p1.
- [177] (2006) Towards Determining the Subset Relation between Propositional Modal Logics. Aachen, pp. 126–140. External Links: ISSN 1613-0073 Cited by: p1.
- [174] (2005) A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela${}^{+}$. pp. 21–27. Cited by: p1.
- [184] (2005) Metadata for web-based mathematical learning materials. External Links: Link Cited by: p1.
- [80] (2004) CPoint’s mathematical user interface. In Mathematical user interfaces workshop 2004, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
- [108] (2004) Semantic markup for TeX/LaTeX. In Mathematical user interfaces workshop 2004, P. Libbrecht (Ed.), Cited by: p1.
- [13] (2003) Resurrecting the Analytica theorem prover. In First qpq workshop on deductive software components, Cited by: p1.
- [42] (2003) A time calculus for natural language. In ICoS-4. inference in computational semantics. workshop proceedings, P. Blackburn and J. Bos (Eds.), pp. 113–127. External Links: Link Cited by: p1.
- [107]
(2003)
Applying unification techniques to XML document management?.
In 17
^{th}workshop on unification, Cited by: p1. - [105] (2002) Acquisition of math content in an academic setting. In Second international conference on mathml and technologies for math on the web, External Links: Link Cited by: p1.
- [204] (2002) System Description: The MathWeb software bus for distributed mathematical reasoning. In Automated deduction — cade-18, A. Voronkov (Ed.), LNAI, pp. 247–252. External Links: Link Cited by: p1.
- [94] (2000) Towards a tableaux machine for language understanding. In ICoS-2. inference in computational semantics. workshop proceedings, J. Bos and M. Kohlhase (Eds.), pp. 57–88. Cited by: p1.
- [185] (2000) Adaptive course generation and presentation. Montreal. Cited by: p1.
- [8] (1999) Automated reasoning for computational semantics. Batumi, Georgia. Cited by: p1.
- [7] (1998) Automated theorem proving for natural language understanding. In CADE-15 workshop “problem-solving methodologies with automated deduction”, P. Baumgartner, U. Furbach, M. Kohlhase, W. McCune, W. Reif, M. Stickel and T. Uribe (Eds.), Cited by: p1.
- [186] (1998) A distributed graphical user interface for the interactive proof system OMEGA. In User interfaces for theorem provers, R. C. Backhouse (Ed.), Computing Science Reports, pp. 130–138. Cited by: p1.
- [187] (1998) LOUI: a distributed graphical user interface for the interactive proof system OMEGA. Eindhoven, Netherlands. External Links: Link Cited by: p1.
- [31] (1997) Underspecification of quantifier scope. Heidelberg. External Links: Link Cited by: p1.
- [66] (1996) Partiality without the cost. Cited by: p1.
- [96] (1996) A type-theoretic semantics for $\lambda $-DRT. Amsterdam, pp. 479–498. External Links: Link Cited by: p1.
- [52] (1994) Guaranteeing correctness through the communication of checkable proofs (or: would you really trust an automated reasoning system?). Cited by: p1.
- [53]
(1994)
A test for evaluating the practical usefulness of deduction systems.
In Informal Proc. of the 11
^{th}Annual Meeting of the “GI-Fachgruppe Deduktionssysteme”, C. W. Wolfgang Bibel (Ed.), Forschungsbericht, FB Informatik, TH Darmstadt, pp. 12–12. Cited by: p1. - [65] (1994) Formalizing mathematics with dependent sorts. Cited by: p1.
- [106] (1993) Higher-order resolution with combinators. pp. 15. Cited by: p1.
- [44] Tag libraries for xslt and xquery. External Links: Link Cited by: p1.

- [37] (2017) modules.sty: semantic macros and module scoping in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [38] (2017) modules.sty: semantic macros and module scoping in sTeX. Technical report External Links: Link Cited by: p1.
- [39] (2017) modules.sty: semantic macros and module scoping in sTeX. Technical report External Links: Link Cited by: p1.
- [40] (2017) modules.sty: semantic macros and module scoping in sTeX. Self-documenting LaTeX package Cited by: p1.
- [41] (2017) presentation.sty: an infrastructure for presenting semantic macros in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [42] (2017) presentation.sty: an infrastructure for presenting semantic macros in sTeX. Technical report External Links: Link Cited by: p1.
- [43] (2017) smultiling.sty: multilinguality support for sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [44] (2017) smultiling.sty: multilinguality support for sTeX. Technical report External Links: Link Cited by: p1.
- [45] (2017) presentation.sty: an infrastructure for presenting semantic macros in sTeX. Self-documenting LaTeX package Cited by: p1.
- [46] (2017) smultiling.sty: multilinguality support for sTeX. Self-documenting LaTeX package Cited by: p1.
- [50] (2017) Mathematical models as research data via flexiformal theory graphs. WIAS Preprint Technical Report 2385. External Links: Document Cited by: p1.
- [57] (2017) In-place computation in active documents (context/computation). Deliverable Technical Report D4.9, OpenDreamKit. External Links: Link Cited by: p1.
- [68] (2017) cmath.sty: an infrastructure for building inline content math in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [69] (2017) cmath.sty: an infrastructure for building inline content math in sTeX. Technical report External Links: Link Cited by: p1.
- [70] (2017) cmathml.sty: a TeX/LaTeX-based syntax for content MathML. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [71] (2017) cmathml.sty: a TeX/LaTeX-based syntax for content MathML. Technical report External Links: Link Cited by: p1.
- [72] (2017) CNXLaTeX: a LaTeX-based syntax for Connexions modules. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [73] (2017) CNXLaTeX: a LaTeX-based syntax for Connexions modules. Technical report External Links: Link Cited by: p1.
- [74] (2017) dcm.sty: an infrastructure for marking up Dublin Core metadata in LaTeX documents. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [75] (2017) dcm.sty: an infrastructure for marking up Dublin Core metadata in LaTeX documents. Technical report External Links: Link Cited by: p1.
- [76] (2017) Distributed, collaborative, versioned editing of active documents in mathhub.info. Deliverable Technical Report D4.3, OpenDreamKit. External Links: Link Cited by: p1.
- [77] (2017) Editorial notes for LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). Cited by: p1.
- [78] (2017) Editorial notes for LaTeX. Technical report External Links: Link Cited by: p1.
- [79] (2017) hwexam.sty/cls: an infrastructure for formatting assignments and exams. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [80] (2017) metakeys.sty: a generic framework for extensible metadata in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [81] (2017) metakeys.sty: a generic framework for extensible metadata in LaTeX. Technical report External Links: Link Cited by: p1.
- [82] (2017) omdoc.sty/cls: semantic markup for open mathematical documents in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [83] (2017) omdoc.sty/cls: semantic markup for open mathematical documents in LaTeX. Technical report External Links: Link Cited by: p1.
- [84] (2017) omtext: semantic markup for mathematical text fragments in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [85] (2017) omtext: semantic markup for mathematical text fragments in LaTeX. Technical report External Links: Link Cited by: p1.
- [86] (2017) owl2onto.cls: marking up OWL2 ontologies in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [87] (2017) owl2onto.cls: marking up OWL2 ontologies in sTeX. Technical report External Links: Link Cited by: p1.
- [88] (2017) physml.sty: an infrastructure for marking up PhysML in TeX/LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [89] (2017) physml.sty: an infrastructure for marking up PhysML in TeX/LaTeX. Technical report External Links: Link Cited by: p1.
- [90] (2017) Preparing dfg proposals and reports in LaTeX with dfgproposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [91] (2017) Preparing dfg proposals and reports in LaTeX with dfgproposal.cls. Technical report External Links: Link Cited by: p1.
- [92] (2017) Preparing fp7 eu proposals and reports in LaTeX with euproposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [93] (2017) Preparing fp7 eu proposals and reports in LaTeX with euproposal.cls. Technical report External Links: Link Cited by: p1.
- [94] (2017) Preparing proposals in LaTeX with proposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [95] (2017) Preparing proposals in LaTeX with proposal.cls. Technical report External Links: Link Cited by: p1.
- [96] (2017) problem.sty: an infrastructure for formatting problems. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [97] (2017) RDFa metadata in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [98] (2017) RDFa metadata in LaTeX. Technical report External Links: Link Cited by: p1.
- [99] (2017) reqdoc.sty: semantic markup for requirements specification documents. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [100] (2017) Slides and course notes. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [101] (2017) Slides and course notes. Technical report External Links: Link Cited by: p1.
- [102] (2017) sproof.sty: structural markup for proofs. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
- [103] (2017) sproof.sty: structural markup for proofs. Technical report External Links: Link Cited by: p1.