diff --git a/akohlhase/index.html b/akohlhase/index.html
index 563f14e7d..368d4ab6b 100644
--- a/akohlhase/index.html
+++ b/akohlhase/index.html
@@ -610,7 +610,7 @@
Conference Proceedings Edited
Cited by: p1.
- [3]
+ [3]
C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.) (2019)
Intelligent computer mathematics.
@@ -657,6 +657,13 @@ Theses
Gray Literature
Worskhop Proceedings Edited
+ - [10]
+A. Kohlhase (Ed.) (2023)
+
+MathUI 2023: the 14th workshop on mathematical user interfaces.
+
+Cited by: p1.
+
- [9]
A. Kohlhase (Ed.) (2022)
@@ -693,7 +700,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- [1]
+ [1]
M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.) (2016)
Intelligent computer mathematics – work in progress papers.
@@ -711,7 +718,7 @@ Worskhop Proceedings Edited
Cited by: p1.
- [2]
+ [2]
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.
@@ -723,25 +730,25 @@ Worskhop Proceedings Edited
Cited by: p1.
- [3]
+ [3]
A. Henrich and H. Sperker (Eds.) (2013-10)
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings.
Universität Bamberg.
-Cited by: 8.
+Cited by: 8.
- [8]
+ [8]
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 [3]
+Note: Workshop at LWA 2013, published as part of [3]
Cited by: p1.
- [10]
+ [11]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, 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.
@@ -761,6 +768,8 @@ Papers at Peer-Reviewed Workshops
More interactions in ALeA – towards new added-value services based on semantic markup.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
External Links: Link
Cited by: p1.
@@ -916,7 +925,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- [3]
+ [3]
A. Henrich and H. Sperker (Eds.) (2013-10)
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings.
@@ -997,7 +1006,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- [2]
+ [2]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/clange/index.html b/clange/index.html
index 18354ae5c..94ff71ab4 100644
--- a/clange/index.html
+++ b/clange/index.html
@@ -486,7 +486,7 @@ Monographs
Conference Proceedings Edited
- - [1]
+
- [1]
J. Carette, D. Aspinall, C. Lange, P. Sojka, and W. Windsteiger (Eds.) (2013)
Intelligent computer mathematics.
@@ -539,7 +539,7 @@
Theses
Gray Literature
Worskhop Proceedings Edited
- - [2]
+
- [2]
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.
@@ -551,7 +551,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [4]
+
- [4]
A. García Castro, C. Lange, P. Lord, and R. Stevens (Eds.) (2013)
Proceedings of the 3rd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -563,7 +563,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [9]
+
- [9]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, 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.
@@ -575,7 +575,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [13]
+
- [13]
C. Lange, C. Rowat, and M. Kerber (Eds.) (2013)
Enabling domain experts to use formalised reasoning.
@@ -587,7 +587,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [7]
+
- [7]
B. Good, F. van Harmelen, A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2012)
Proceedings of the 2nd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -599,7 +599,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
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.
@@ -611,7 +611,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [5]
+
- [5]
A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2011)
Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference.
@@ -623,7 +623,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [16]
+
- [16]
C. Lange and J. Urban (Eds.) (2011)
Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis).
@@ -635,7 +635,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [6]
+
- [6]
A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.) (2010-06)
AI Mashup Challenge.
@@ -644,7 +644,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
M. d’Aquin, A. García Castro, C. Lange, and K. Viljanen (Eds.) (2010)
Proceedings of the 1st workshop on ontology repositories and editors, Extended Semantic Web Conference.
@@ -656,7 +656,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [10]
+
- [10]
C. Lange, J. Reutelshöfer, S. Schaffert, and H. Skaf-Molli (Eds.) (2010)
Proceedings of the 5th workshop on semantic wikis, Extended Semantic Web Conference.
@@ -668,7 +668,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [8]
+
- [8]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
@@ -677,18 +677,18 @@
Worskhop Proceedings Edited
Vol. TUD-KE-2009-04, Universität Darmstadt.
-Cited by: 11.
+Cited by: 11.
- - [11]
+
- [11]
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 [8]
+Note: Workshop at LWA 2009, published as part of [8]
Cited by: p1.
- - [12]
+
- [12]
C. Lange and J. Reutelshöfer (Eds.) (2009-09)
Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM.
@@ -697,7 +697,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [15]
+
- [15]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2009)
Proceedings of the 4th workshop on semantic wikis, European Semantic Web Conference.
@@ -709,7 +709,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [14]
+
- [14]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2008)
Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference.
@@ -1059,7 +1059,7 @@
Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [8]
+
- [8]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/dmueller/index.html b/dmueller/index.html
index 5720e0fd9..c50ae57d0 100644
--- a/dmueller/index.html
+++ b/dmueller/index.html
@@ -361,6 +361,8 @@
Papers at Peer-Reviewed Workshops
Presentation of active documents in ALeA.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: submitted
External Links: Link
diff --git a/frabe/index.html b/frabe/index.html
index ee488aa48..48165a5ab 100644
--- a/frabe/index.html
+++ b/frabe/index.html
@@ -69,101 +69,101 @@ Florian Rabe
Archival Literature
Articles in Journals
- - [3]
+
- [3]
J. Carette, W. M. Farmer, M. Kohlhase, and F. Rabe (2021)
Big math and the one-brain barrier – the tetrapod model of mathematical knowledge.
Mathematical Intelligencer 43 (1).
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
M. Kohlhase and F. Rabe (2021)
Experiences from exporting major proof assistant libraries.
Journal of Automated Reasoning 65 (8), pp. 1265–1298.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
K. Berčič, M. Kohlhase, and F. Rabe (2020)
(Deep) fair mathematics.
it – Information Technology 62 (1), pp. 7–17.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018)
Model pathway diagrams for the representation of mathematical models.
Journal of Optical and Quantum Electronics 50 (2), pp. 70.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
G. Dowek, C. Dubois, B. Pientka, and F. Rabe (2017)
Universality of Proofs (Dagstuhl Seminar 16421).
Dagstuhl Reports by Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik 6 (10), pp. 75–98.
-Note: see http://drops.dagstuhl.de/opus/volltexte/2017/6951/
+Note: see http://drops.dagstuhl.de/opus/volltexte/2017/6951/
-Cited by: p1.
+Cited by: p1.
- - [21]
+
- [21]
F. Rabe (2017)
How to Identify, Translate, and Combine Logics?.
Journal of Logic and Computation 27 (6), pp. 1753–1798.
-Cited by: p1.
+Cited by: p1.
- - [22]
+
- [22]
F. Rabe (2017)
Morphism Axioms.
Theoretical Computer Science 691, pp. 55–80.
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
M. Kohlhase and F. Rabe (2016)
QED reloaded: towards a pluralistic formal library of mathematical knowledge.
Journal of Formalized Reasoning 9 (1), pp. 201–234.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [19]
+
- [19]
F. Rabe (2015)
Lax Theory Morphisms.
ACM Transactions on Computational Logic 17 (1).
-Cited by: p1.
+Cited by: p1.
- - [20]
+
- [20]
F. Rabe (2015)
The Future of Logic: Foundation-Independence.
@@ -172,137 +172,137 @@
Articles in Journals
Note: Winner of the Contest “The Future of Logic” at the World Congress on Universal Logic
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Iancu, M. Kohlhase, F. Rabe, and J. Urban (2013)
The Mizar Mathematical Library in OMDoc: translation and applications.
Journal of Automated Reasoning 50 (2), pp. 191–202.
-External Links: Link,
-Document
+External Links: Link,
+Document
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
F. Rabe and M. Kohlhase (2013)
A scalable module system.
Information & Computation 0 (230), pp. 1–54.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
F. Rabe and K. Sojakova (2013)
Logical Relations for a Logical Framework.
ACM Transactions on Computational Logic.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [18]
+
- [18]
F. Rabe (2013)
A Logical Framework Combining Model and Proof Theory.
Mathematical Structures in Computer Science 23 (5), pp. 945–1001.
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase and F. Rabe (2012)
Semantics of OpenMath and MathML3.
Mathematics in Computer Science 6 (3), pp. 235–260.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [17]
+
- [17]
F. Rabe (2012)
A logical framework combining model and proof theory.
Mathematical Structures in Computer Science.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
S. Awodey and F. Rabe (2011)
Kripke Semantics for Martin-Löf’s Extensional Type Theory.
Logical Methods in Computer Science 7 (3).
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
F. Horozal and F. Rabe (2011)
Representing Model Theory in a Type-Theoretical Logical Framework.
Theoretical Computer Science 412 (37), pp. 4919–4945.
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Iancu and F. Rabe (2011)
Formalizing Foundations of Mathematics.
Mathematical Structures in Computer Science 21 (4), pp. 883–911.
-External Links: Document,
-Link
+External Links: Document,
+Link
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
F. Rabe (2010)
Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on his 70th Birthday”.
Bulletin of Symbolic Logic 16 (3), pp. 409–411.
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
J. Goguen, T. Mossakowski, V. de Paiva, F. Rabe, and L. Schröder (2008)
An Institutional View on Categorical Logic.
International Journal of Software and Informatics 1 (1), pp. 129–152.
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
F. Rabe, P. Pudlák, G. Sutcliffe, and W. Shen (2007)
Solving the $100 Modal Logic Challenge.
Journal of Applied Logic 1 (1).
-Cited by: p1.
+Cited by: p1.
Papers at International, Peer-Reviewed Conferences
- - [25]
+
- [25]
D. Lohr, M. Berges, M. Kohlhase, and F. Rabe (2023)
The potential of answer classes in large-scale written computer-science exams.
@@ -313,11 +313,11 @@
Papers at International, Peer-Reviewed Conferences
Note: Accepted
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
K. Berčič, M. Kohlhase, and F. Rabe (2020)
Towards a heterogeneous query language for mathematical knowledge.
@@ -326,11 +326,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 39–54.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [22]
+
- [22]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (short paper).
@@ -339,9 +339,9 @@
Papers at International, Peer-Reviewed Conferences
pp. 395–401.
-Cited by: p1.
+Cited by: p1.
- - [26]
+
- [26]
R. Marcus, M. Kohlhase, and F. Rabe (2020)
TGView3D: a system for 3-dimensional visualization of theory graphs.
@@ -350,11 +350,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 290–296.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [30]
+
- [30]
D. Müller, F. Rabe, C. Rothgang, and M. Kohlhase (2020)
Representing structural language features in formal meta-languages.
@@ -363,11 +363,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Vol. 12236, pp. 206–221.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [1]
+
- [1]
K. Amann, M. Kohlhase, F. Rabe, and T. Wiesing (2019)
Integrating semantic mathematical documents and dynamic notebooks.
@@ -376,11 +376,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 275–290.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
K. Berčič, M. Kohlhase, and F. Rabe (2019)
Towards a unified mathematical data infrastructure: database and interface generation.
@@ -389,11 +389,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 28–43.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
A. Condoluci, M. Kohlhase, D. Müller, F. Rabe, C. Sacerdoti Coen, and M. Wenzel (2019)
Relational data across mathematical libraries.
@@ -402,11 +402,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 61–76.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [31]
+
- [31]
D. Müller, F. Rabe, and C. Sacerdoti Coen (2019)
The Coq Library as a Theory Graph.
@@ -415,9 +415,9 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-Cited by: p1.
+Cited by: p1.
- - [32]
+
- [32]
F. Rabe and Y. Sharoda (2019)
Diagram combinators in MMT.
@@ -427,11 +427,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, Cham, pp. 211–226.
External Links: ISBN 978-3-030-23250-4,
-Link
+Link
-Cited by: p1.
+Cited by: p1.
- - [28]
+
- [28]
D. Müller, M. Kohlhase, and F. Rabe (2018)
Automatically finding theory morphisms for knowledge management.
@@ -440,22 +440,22 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [29]
+
- [29]
D. Müller, F. Rabe, and M. Kohlhase (2018)
Theories as types.
In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.),
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [20]
+
- [20]
M. Kohlhase, D. Müller, S. Owre, and F. Rabe (2017)
Making PVS accessible to generic services by interpretation in a universal format.
@@ -464,11 +464,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 10499.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [21]
+
- [21]
M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev, and T. Wiesing (2017)
Knowledge-based interoperability for mathematical software systems.
@@ -477,11 +477,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 195–210.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [27]
+
- [27]
D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, and F. Rabe (2017)
Classification of alignments between concepts of formal mathematical systems.
@@ -490,11 +490,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [37]
+
- [37]
T. Wiesing, M. Kohlhase, and F. Rabe (2017)
Virtual theories – a uniform interface to mathematical knowledge bases.
@@ -503,11 +503,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 243–257.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Interoperability in the OpenDreamKit project: the math-in-the-middle approach.
@@ -516,11 +516,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [15]
+
- [15]
F. Horozal, M. Kohlhase, and F. Rabe (2014)
Flexary operators for formalized mathematics.
@@ -529,11 +529,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 312–327.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [17]
+
- [17]
C. Kaliszyk and F. Rabe (2014)
Towards knowledge management for HOL Light.
@@ -542,11 +542,11 @@
Papers at International, Peer-Reviewed Conferences
LNCS, pp. 357–372.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [18]
+
- [18]
M. Kohlhase, F. Mance, and F. Rabe (2013)
A universal machine for biform theory graphs.
@@ -555,11 +555,11 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Computer Science.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [35]
+
- [35]
F. Rabe (2013)
The MMT API: A Generic MKM System.
@@ -568,9 +568,9 @@
Papers at International, Peer-Reviewed Conferences
Lecture Notes in Computer Science, pp. 339–343.
-Cited by: p1.
+Cited by: p1.
- - [14]
+
- [14]
F. Horozal, M. Kohlhase, and F. Rabe (2012)
Extending MKM formats at the statement level.
@@ -579,11 +579,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 65–80.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [16]
+
- [16]
M. Iancu and F. Rabe (2012)
Management of Change in Declarative Languages.
@@ -592,9 +592,9 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 325–340.
-Cited by: p1.
+Cited by: p1.
- - [34]
+
- [34]
F. Rabe (2012)
A Query Language for Formal Mathematical Libraries.
@@ -605,9 +605,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1204.4685
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011)
A Proof Theoretic Interpretation of Model Theoretic Hiding.
@@ -616,9 +616,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, and K. Sojakova (2011)
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
@@ -627,9 +627,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS.
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase, and F. Rabe (2011)
Combining source, content, presentation, narration, and relational representation.
@@ -638,11 +638,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 212–227.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [13]
+
- [13]
F. Horozal, M. Kohlhase, and F. Rabe (2011)
Extending OpenMath with Sequences.
@@ -651,11 +651,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 58–72.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [23]
+
- [23]
M. Kohlhase, F. Rabe, and C. Sacerdoti Coen (2011)
A foundational view on integration problems.
@@ -664,13 +664,13 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 107–122.
-Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf
+Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
C. David, C. Lange, and F. Rabe (2010)
Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram—Alpha.
@@ -679,9 +679,9 @@
Papers at International, Peer-Reviewed Conferences
Technical Reports of CEDRIC (CNAM/ENSIIE), pp. 13–30.
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010)
Publishing math lecture notes as linked data.
@@ -692,9 +692,9 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1004.3390v1
-Cited by: p1.
+Cited by: p1.
- - [24]
+
- [24]
M. Kohlhase, F. Rabe, and V. Zholudev (2010)
Towards MKM in the large: modular representation and scalable software architecture.
@@ -705,20 +705,20 @@
Papers at International, Peer-Reviewed Conferences
External Links: 1005.5232v2
-Cited by: p1.
+Cited by: p1.
- - [38]
+
- [38]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application].
In Proceedings of XML Prague 2010Proceedings of XML Prague 2010,
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
J. Gičeva, C. Lange, and F. Rabe (2009-07)
Integrating web services into active mathematical documents.
@@ -727,11 +727,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 279–293.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
S. Awodey and F. Rabe (2009)
Kripke Semantics for Martin-Löf’s Extensional Type Theory.
@@ -740,9 +740,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 5608, pp. 249–263.
-Cited by: p1.
+Cited by: p1.
- - [36]
+
- [36]
K. Sojakova and F. Rabe (2009)
Translating Dependently-Typed Logic to First-Order Logic.
@@ -751,9 +751,9 @@
Papers at International, Peer-Reviewed Conferences
LNCS, Vol. 5486, pp. 326–341.
-Cited by: p1.
+Cited by: p1.
- - [19]
+
- [19]
M. Kohlhase, C. Müller, and F. Rabe (2008)
Notations for living mathematical documents.
@@ -762,11 +762,11 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 504–519.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [33]
+
- [33]
F. Rabe (2006)
First-Order Logic with Dependent Types.
@@ -775,7 +775,7 @@
Papers at International, Peer-Reviewed Conferences
LNAI, pp. 377–391.
-Cited by: p1.
+Cited by: p1.
Conference Proceedings Edited
@@ -789,7 +789,7 @@ Conference Proceedings Edited
Cited by: p1.
- - [4]
+
- [4]
F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018)
Intelligent computer mathematics.
@@ -801,7 +801,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017)
Intelligent computer mathematics.
@@ -813,7 +813,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent computer mathematics.
@@ -842,7 +842,7 @@
Theses
Gray Literature
Worskhop Proceedings Edited
- - [3]
+
- [3]
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.
@@ -854,7 +854,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [5]
+
- [5]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, 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.
@@ -866,7 +866,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
A. Asperti, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent Computer Mathematics, Work-in-Progress Proceedings.
@@ -875,14 +875,14 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [2]
+
- [2]
J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent computer mathematics – work in progress papers.
Cited by: p1.
- - [4]
+
- [4]
H. Geuvers, G. Nadathur, F. Rabe, and C. Schürmann (Eds.) (2011)
LFMTP 2011 - MLPA 2011 Informal Proceedings.
@@ -891,7 +891,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [7]
+
- [7]
F. Rabe and C. Schürmann (Eds.) (2010)
MLPA ’10: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants.
@@ -900,7 +900,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [6]
+
- [6]
F. Rabe and C. Schürmann (Eds.) (2009)
MLPA ’09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants.
@@ -1534,7 +1534,7 @@
Papers at Peer-Reviewed Workshops
Technical Reports
- - [1]
+
- [1]
K. Amann, M. Kohlhase, and F. Rabe (2018)
Notebook import into mathhub.info (interactive display).
@@ -1543,11 +1543,11 @@
Technical Reports
Technical Report D4.11, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [2]
+
- [2]
J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018)
Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb.
@@ -1556,11 +1556,11 @@
Technical Reports
Technical Report D6.8, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [10]
+
- [10]
T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017)
Model pathway diagrams for the representation of mathematical models.
@@ -1569,11 +1569,11 @@
Technical Reports
Technical Report 2431.
-External Links: Document
+External Links: Document
-Cited by: p1.
+Cited by: p1.
- - [3]
+
- [3]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API.
@@ -1582,11 +1582,11 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [4]
+
- [4]
P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016)
Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api.
@@ -1595,20 +1595,20 @@
Technical Reports
Technical Report D6.2, OpenDreamKit.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [11]
+
- [11]
F. Rabe and M. Kohlhase (2012)
An XML-based syntax for MMT.
Technical report
-Cited by: p1.
+Cited by: p1.
- - [5]
+
- [5]
M. Iancu, M. Kohlhase, and F. Rabe (2011)
Translating the Mizar Mathematical Library into OMDoc format.
@@ -1617,9 +1617,9 @@
Technical Reports
Technical Report KWARC Report-01/11, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- - [6]
+
- [6]
M. Iancu, M. Kohlhase, and F. Rabe (2011)
Translating the Mizar Mathematical Library into OMDoc format.
@@ -1628,13 +1628,13 @@
Technical Reports
Jacobs University Bremen.
-Note: http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf
+Note: http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [12]
+
- [12]
V. Zholudev, M. Kohlhase, and F. Rabe (2010)
A [insert xml format] database for [insert cool application] (extended version).
@@ -1643,13 +1643,13 @@
Technical Reports
Jacobs University Bremen.
-Note: https://kwarc.info/vzholudev/pubs/XMLPrague_long.pdf
+Note: https://kwarc.info/vzholudev/pubs/XMLPrague_long.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02)
Notations for active mathematical documents.
@@ -1658,13 +1658,13 @@
Technical Reports
Technical Report 2009-1, Jacobs University Bremen.
-Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf
+Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
- - [7]
+
- [7]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009)
Notations for Active Mathematical Documents.
@@ -1673,9 +1673,9 @@
Technical Reports
Technical Report 2009-1, Jacobs University Bremen.
-Cited by: p1.
+Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04)
Adaptation of notations in living mathematical documents.
@@ -1684,9 +1684,9 @@
Technical Reports
Technical Report 2008-2, Jacobs University Bremen.
-External Links: Link
+External Links: Link
-Cited by: p1.
+Cited by: p1.
Unpublished
diff --git a/index.html b/index.html
index e466589e8..5e0c86e64 100644
--- a/index.html
+++ b/index.html
@@ -3596,7 +3596,7 @@ Monographs
Cited by: p1.
- - [1]
+
- [1]
M. Kohlhase (2006-08)
OMDoc – an open markup format for mathematical documents [version 1.2].
@@ -3639,7 +3639,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [10]
+
- [10]
C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.) (2019)
Intelligent computer mathematics.
@@ -3659,7 +3659,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [14]
+
- [14]
F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018)
Intelligent computer mathematics.
@@ -3671,7 +3671,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [9]
+
- [9]
H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017)
Intelligent computer mathematics.
@@ -3683,7 +3683,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [12]
+
- [12]
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, and F. Tompa (Eds.) (2016)
Intelligent computer mathematics.
@@ -3694,7 +3694,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [4]
+
- [4]
J. Carette, D. Aspinall, C. Lange, P. Sojka, and W. Windsteiger (Eds.) (2013)
Intelligent computer mathematics.
@@ -3706,7 +3706,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [5]
+
- [5]
J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent computer mathematics.
@@ -3717,7 +3717,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [8]
+
- [8]
C. Freksa, M. Kohlhase, and K. Schill (Eds.) (2006)
Proceedings of the 29.th annual german conference on artificial intelligence KI’06.
@@ -3726,7 +3726,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [13]
+
- [13]
M. Kohlhase (Ed.) (2006)
Mathematical knowledge management, MKM’05.
@@ -3735,7 +3735,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
J. Bos and M. Kohlhase (Eds.) (2003)
Logic journal of the igpl.
@@ -3746,7 +3746,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [2]
+
- [2]
J. Bos and M. Kohlhase (Eds.) (2000)
ICoS-2. inference in computational semantics. workshop proceedings.
@@ -3755,7 +3755,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [11]
+
- [11]
M. Kerber and M. Kohlhase (Eds.) (2000)
CALCULEMUS-2000, systems for integrated computation and deduction.
@@ -4693,6 +4693,13 @@
Theses
Gray Literature
Worskhop Proceedings Edited
+ - [26]
+A. Kohlhase (Ed.) (2023)
+
+MathUI 2023: the 14th workshop on mathematical user interfaces.
+
+Cited by: p1.
+
- [25]
A. Kohlhase (Ed.) (2022)
@@ -4729,7 +4736,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.) (2016)
Intelligent computer mathematics – work in progress papers.
@@ -4747,7 +4754,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [11]
+
- [11]
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.
@@ -4759,25 +4766,25 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [19]
+
- [19]
A. Henrich and H. Sperker (Eds.) (2013-10)
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings.
Universität Bamberg.
-Cited by: 24.
+Cited by: 24.
- - [24]
+
- [24]
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 [19]
+Note: Workshop at LWA 2013, published as part of [19]
Cited by: p1.
- - [13]
+
- [13]
A. García Castro, C. Lange, P. Lord, and R. Stevens (Eds.) (2013)
Proceedings of the 3rd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -4789,7 +4796,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [26]
+
- [27]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, 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.
@@ -4801,7 +4808,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [30]
+
- [31]
C. Lange, C. Rowat, and M. Kerber (Eds.) (2013)
Enabling domain experts to use formalised reasoning.
@@ -4813,7 +4820,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [17]
+
- [17]
B. Good, F. van Harmelen, A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2012)
Proceedings of the 2nd workshop on semantic publishing, Extended Semantic Web Conference.
@@ -4825,7 +4832,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [36]
+
- [37]
P. Sojka and M. Kohlhase (Eds.) (2012)
DML and MIR 2012.
@@ -4836,7 +4843,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
A. Asperti, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent Computer Mathematics, Work-in-Progress Proceedings.
@@ -4845,14 +4852,14 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [7]
+
- [7]
J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011)
Intelligent computer mathematics – work in progress papers.
Cited by: p1.
- - [12]
+
- [12]
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.
@@ -4864,7 +4871,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [14]
+
- [14]
A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2011)
Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference.
@@ -4876,7 +4883,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [15]
+
- [15]
H. Geuvers, G. Nadathur, F. Rabe, and C. Schürmann (Eds.) (2011)
LFMTP 2011 - MLPA 2011 Informal Proceedings.
@@ -4885,7 +4892,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [33]
+
- [34]
C. Lange and J. Urban (Eds.) (2011)
Proceedings of the itp 2011 workshop on mathematical wikis (mathwikis).
@@ -4897,7 +4904,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [16]
+
- [16]
A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.) (2010-06)
AI Mashup Challenge.
@@ -4906,7 +4913,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [9]
+
- [9]
M. d’Aquin, A. García Castro, C. Lange, and K. Viljanen (Eds.) (2010)
Proceedings of the 1st workshop on ontology repositories and editors, Extended Semantic Web Conference.
@@ -4918,7 +4925,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [27]
+
- [28]
C. Lange, J. Reutelshöfer, S. Schaffert, and H. Skaf-Molli (Eds.) (2010)
Proceedings of the 5th workshop on semantic wikis, Extended Semantic Web Conference.
@@ -4930,7 +4937,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [35]
+
- [36]
F. Rabe and C. Schürmann (Eds.) (2010)
MLPA ’10: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants.
@@ -4939,7 +4946,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [18]
+
- [18]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
@@ -4948,18 +4955,18 @@
Worskhop Proceedings Edited
Vol. TUD-KE-2009-04, Universität Darmstadt.
-Cited by: 28.
+Cited by: 29.
- - [28]
+
- [29]
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 [18]
+Note: Workshop at LWA 2009, published as part of [18]
Cited by: p1.
- - [29]
+
- [30]
C. Lange and J. Reutelshöfer (Eds.) (2009-09)
Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM.
@@ -4968,7 +4975,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [32]
+
- [33]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2009)
Proceedings of the 4th workshop on semantic wikis, European Semantic Web Conference.
@@ -4980,7 +4987,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [34]
+
- [35]
F. Rabe and C. Schürmann (Eds.) (2009)
MLPA ’09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants.
@@ -4989,7 +4996,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [6]
+
- [6]
O. Caprotti, S. Xambó, M. Huertas, M. Kohlhase, and M. Seppälä (Eds.) (2008)
3rd JEM workshop – joining educational mathematics.
@@ -4998,7 +5005,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [31]
+
- [32]
C. Lange, S. Schaffert, H. Skaf-Molli, and M. Völkel (Eds.) (2008)
Proceedings of the 3rd workshop on semantic wikis, European Semantic Web Conference.
@@ -5010,7 +5017,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [5]
+
- [5]
O. Caprotti, M. Kohlhase, and P. Libbrecht (Eds.) (2007-06)
OpenMath/JEM workshop 2007.
@@ -5021,7 +5028,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [2]
+
- [2]
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.
@@ -5030,7 +5037,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [4]
+
- [4]
P. Blackburn and M. Kohlhase (Eds.) (2001)
ICoS-3. inference in computational semantics. workshop proceedings.
@@ -5039,14 +5046,14 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
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.
- - [10]
+
- [10]
J. Denzinger, M. Kohlhase, and B. Spencer (Eds.) (1998)
CADE-15 workshop “using AI methods in deduction”.
@@ -5061,6 +5068,8 @@
Papers at Peer-Reviewed Workshops
Presentation of active documents in ALeA.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: submitted
External Links: Link
@@ -5072,6 +5081,8 @@ Papers at Peer-Reviewed Workshops
More interactions in ALeA – towards new added-value services based on semantic markup.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
External Links: Link
Cited by: p1.
@@ -5081,6 +5092,8 @@ Papers at Peer-Reviewed Workshops
AnnoTize: a flexible annotation tool for documents with mathematical formulae.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: accepted
Cited by: p1.
@@ -5975,7 +5988,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [47]
+
- [47]
A. Henrich and H. Sperker (Eds.) (2013-10)
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings.
@@ -6729,7 +6742,7 @@
Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [46]
+
- [46]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/jfschaefer/index.html b/jfschaefer/index.html
index 051c7d89a..1c666d7c7 100644
--- a/jfschaefer/index.html
+++ b/jfschaefer/index.html
@@ -145,6 +145,8 @@
Papers at Peer-Reviewed Workshops
AnnoTize: a flexible annotation tool for documents with mathematical formulae.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: accepted
Cited by: p1.
diff --git a/krextor/index.html b/krextor/index.html
index 1a28e0e02..3c5cbe817 100644
--- a/krextor/index.html
+++ b/krextor/index.html
@@ -170,7 +170,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [2]
+
- [2]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/mkohlhase/index.html b/mkohlhase/index.html
index 7fe460c07..3252cc044 100644
--- a/mkohlhase/index.html
+++ b/mkohlhase/index.html
@@ -2484,7 +2484,7 @@
Papers at International, Peer-Reviewed Conferences
Monographs
- - [1]
+
- [1]
M. Kohlhase (2006-08)
OMDoc – an open markup format for mathematical documents [version 1.2].
@@ -2525,7 +2525,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [8]
+
- [8]
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, and F. Tompa (Eds.) (2016)
Intelligent computer mathematics.
@@ -2536,7 +2536,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [6]
+
- [6]
C. Freksa, M. Kohlhase, and K. Schill (Eds.) (2006)
Proceedings of the 29.th annual german conference on artificial intelligence KI’06.
@@ -2545,7 +2545,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [9]
+
- [9]
M. Kohlhase (Ed.) (2006)
Mathematical knowledge management, MKM’05.
@@ -2554,7 +2554,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
J. Bos and M. Kohlhase (Eds.) (2003)
Logic journal of the igpl.
@@ -2565,7 +2565,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [2]
+
- [2]
J. Bos and M. Kohlhase (Eds.) (2000)
ICoS-2. inference in computational semantics. workshop proceedings.
@@ -2574,7 +2574,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [7]
+
- [7]
M. Kerber and M. Kohlhase (Eds.) (2000)
CALCULEMUS-2000, systems for integrated computation and deduction.
@@ -2612,7 +2612,7 @@
Theses
Gray Literature
Worskhop Proceedings Edited
- - [6]
+
- [6]
M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.) (2016)
Intelligent computer mathematics – work in progress papers.
@@ -2621,7 +2621,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [8]
+
- [8]
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.
@@ -2633,7 +2633,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [9]
+
- [9]
C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, 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.
@@ -2645,7 +2645,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [10]
+
- [10]
P. Sojka and M. Kohlhase (Eds.) (2012)
DML and MIR 2012.
@@ -2656,7 +2656,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [5]
+
- [5]
O. Caprotti, S. Xambó, M. Huertas, M. Kohlhase, and M. Seppälä (Eds.) (2008)
3rd JEM workshop – joining educational mathematics.
@@ -2665,7 +2665,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [4]
+
- [4]
O. Caprotti, M. Kohlhase, and P. Libbrecht (Eds.) (2007-06)
OpenMath/JEM workshop 2007.
@@ -2676,7 +2676,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
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.
@@ -2685,7 +2685,7 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [3]
+
- [3]
P. Blackburn and M. Kohlhase (Eds.) (2001)
ICoS-3. inference in computational semantics. workshop proceedings.
@@ -2694,14 +2694,14 @@
Worskhop Proceedings Edited
Cited by: p1.
- - [2]
+
- [2]
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.
- - [7]
+
- [7]
J. Denzinger, M. Kohlhase, and B. Spencer (Eds.) (1998)
CADE-15 workshop “using AI methods in deduction”.
@@ -2716,6 +2716,8 @@
Papers at Peer-Reviewed Workshops
Presentation of active documents in ALeA.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: submitted
External Links: Link
@@ -2727,6 +2729,8 @@ Papers at Peer-Reviewed Workshops
More interactions in ALeA – towards new added-value services based on semantic markup.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
External Links: Link
Cited by: p1.
@@ -3424,7 +3428,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [29]
+
- [29]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/oaf/index.html b/oaf/index.html
index 7ee5cc127..5867f1543 100644
--- a/oaf/index.html
+++ b/oaf/index.html
@@ -275,7 +275,7 @@
Papers at International, Peer-Reviewed Conferences
Conference Proceedings Edited
- - [2]
+
- [2]
F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018)
Intelligent computer mathematics.
@@ -287,7 +287,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017)
Intelligent computer mathematics.
diff --git a/odk/index.html b/odk/index.html
index ac25ffbed..ac014c928 100644
--- a/odk/index.html
+++ b/odk/index.html
@@ -235,7 +235,7 @@
Papers at International, Peer-Reviewed Conferences
Conference Proceedings Edited
- - [2]
+
- [2]
F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018)
Intelligent computer mathematics.
@@ -247,7 +247,7 @@
Conference Proceedings Edited
Cited by: p1.
- - [1]
+
- [1]
H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017)
Intelligent computer mathematics.
diff --git a/omdoc/index.html b/omdoc/index.html
index b773fa84a..2f250d418 100644
--- a/omdoc/index.html
+++ b/omdoc/index.html
@@ -760,7 +760,7 @@
Monographs
Cited by: p1.
- - [1]
+
- [1]
M. Kohlhase (2006-08)
OMDoc – an open markup format for mathematical documents [version 1.2].
@@ -1128,7 +1128,7 @@
Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [13]
+
- [13]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/sissi/index.html b/sissi/index.html
index 5b65f8a2b..010cf6bcf 100644
--- a/sissi/index.html
+++ b/sissi/index.html
@@ -335,7 +335,7 @@
Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [3]
+
- [3]
A. Henrich and H. Sperker (Eds.) (2013-10)
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings.
@@ -416,7 +416,7 @@
Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [2]
+
- [2]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/voll-ki/index.html b/voll-ki/index.html
index 44e8f5e83..13ceae383 100644
--- a/voll-ki/index.html
+++ b/voll-ki/index.html
@@ -369,6 +369,8 @@
Papers at Peer-Reviewed Workshops
Presentation of active documents in ALeA.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
Note: submitted
External Links: Link
@@ -380,6 +382,8 @@ Papers at Peer-Reviewed Workshops
More interactions in ALeA – towards new added-value services based on semantic markup.
+In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.),
+
External Links: Link
Cited by: p1.
diff --git a/vzholudev/index.html b/vzholudev/index.html
index 712f3180d..c0e3da59c 100644
--- a/vzholudev/index.html
+++ b/vzholudev/index.html
@@ -222,7 +222,7 @@ Papers at Peer-Reviewed Workshops
Cited by: p1.
- - [3]
+
- [3]
M. Hartmann and F. Janssen (2009-09)
LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität.
diff --git a/xml/extcrossrefs.bib.xml b/xml/extcrossrefs.bib.xml
index 4592bb4fb..663fed008 100644
--- a/xml/extcrossrefs.bib.xml
+++ b/xml/extcrossrefs.bib.xml
@@ -3485,7 +3485,49 @@ Techniques and Applications
publisher = {Springer Verlag}}
-
+
+ Intelligent computer mathematics
+ 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
+ Grand Bend, Ca
+ 2008-07-06/2008-07-12
+ CICM09
+ 2009
+
+ Carette
+ Jacques
+
+
+ Dixon
+ Lucas
+
+
+ Sacerdoti Coen
+ Claudio
+
+
+ Watt
+ Stephen M.
+
+ 5625
+ LNAI
+ conference
+ Springer Verlag
+ @proceedings{CICM09,
+ title = {Intelligent Computer Mathematics},
+ booktitle = {Intelligent Computer Mathematics},
+ eventtitle = {16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings},
+ venue = {Grand Bend, Ca},
+ eventdate = {2008-07-06/2008-07-12},
+ key = {CICM09},
+ year = {2009},
+ editor = {Jacques Carette and Lucas Dixon and Sacerdoti Coen, Claudio and Watt, Stephen M.},
+ number = {5625},
+ series = {LNAI},
+ keywords = {conference},
+ publisher = {Springer Verlag}}
+
+
+
Proceedings of the second international workshop on restful design
WSREST2011
2011
@@ -3515,7 +3557,7 @@ Techniques and Applications
booktitle = {{Proceedings of the Second International Workshop on RESTful Design}}}
-
+
Intelligent computer mathematics
CICM10
CICM10
@@ -3567,7 +3609,7 @@ Techniques and Applications
booktitle = {{Intelligent Computer Mathematics}}}
-
+
Intelligent computer mathematics
CICM12
CICM12
@@ -3631,7 +3673,7 @@ Techniques and Applications
keywords = {conference}}
-
+
Watt
Stephan
@@ -3681,7 +3723,7 @@ Techniques and Applications
acceptanceratecomment = {MKM/Calculemus/DML: 26/41, S&P: 9/14, overall: 35/55}}
-
+
Kerber
Manfred
@@ -3731,7 +3773,7 @@ Techniques and Applications
year = {2015}}
-
+
CALCULEMUS 2010
2010
CALCULEMUS
@@ -3742,7 +3784,7 @@ Techniques and Applications
title = {CALCULEMUS}}
-
+
2010
CALCULEMUS (emerging trends)
@@ -3766,7 +3808,7 @@ Techniques and Applications
location = {Paris}}
-
+
2009-07
July
MKM/Calculemus proceedings
@@ -3804,7 +3846,7 @@ Techniques and Applications
publisher = {Springer Verlag}}
-
+
ICoS-4. inference in computational semantics. workshop proceedings
2003
@@ -3824,7 +3866,7 @@ Techniques and Applications
publisher = {LORIA, Nancy}}
-
+
Proceedings of the fifth international conference on intelligent tutoring systems—workshop w1: modeling human teaching tactics and strategies
2000
@@ -3845,7 +3887,7 @@ Techniques and Applications
key = {ITS2000-W1}}
-
+
Theorem proving in higher order logics: tphols’01
2001
@@ -3873,7 +3915,7 @@ Techniques and Applications
key = {TPHOLS2001}}
-
+
Computational models of discourse
1984
@@ -3894,7 +3936,7 @@ Techniques and Applications
publisher = {The M. I. T. Press}}
-
+
Proceedings of the 18.th annual german conference on artificial intelligence ki’97
1997
@@ -3926,7 +3968,7 @@ Techniques and Applications
KI'97}}
-
+
Proceedings of the 12th Conference on Automated Deduction
1994
@@ -3952,7 +3994,7 @@ Techniques and Applications
key = {CADE1994}}
-
+
1983
Bundy
@@ -3973,7 +4015,7 @@ Intelligence (IJCAI)
key = {IJCAI1983}}
-
+
Automated deduction in classical and non-classical logics (FTP’98)
1998
@@ -4001,7 +4043,7 @@ Intelligence (IJCAI)
key = {FTP1998}}
-
+
Integrating symbolic mathematical computation and artificial intelligence; proceedings of the second international conference; selected papers
1995
@@ -4029,7 +4071,7 @@ Intelligence (IJCAI)
Proceedings of the second International Conference; Selected Papers}}
-
+
Integrating symbolic mathematical computation and artificial intelligence
1993
@@ -4055,7 +4097,7 @@ Intelligence (IJCAI)
booktitle = {Integrating Symbolic Mathematical Computation and Artificial Intelligence}}
-
+
Design and implementation of symbolic computation systems, disco’96
1996
@@ -4083,7 +4125,7 @@ Intelligence (IJCAI)
booktitle = {Design and Implementation of Symbolic Computation Systems, DISCO'96}}
-
+
Aspects of automated natural language generation
1992
@@ -4116,7 +4158,7 @@ Intelligence (IJCAI)
publisher = {Springer Verlag}}
-
+
Current research in natural language generation
1990
@@ -4147,8 +4189,8 @@ Intelligence (IJCAI)
publisher = {Academic Press}}
-
- Proceedings of the
publisher = {Springer Verlag}}
-
+
1981
Drinan
@@ -4233,7 +4275,7 @@ Intelligence (IJCAI)
key = {IJCAI1981}}
-
+
Proceedings of the workshop on proof transformation, proof presentations and complexity of proofs (PTP-01)
2001
@@ -4263,7 +4305,7 @@ Intelligence (IJCAI)
and Complexity of Proofs ({PTP-01})}}
-
+
1990
van Eijck
@@ -4286,7 +4328,7 @@ Intelligence (IJCAI)
key = {JELIA1990}}
-
+
Proceedings of the ecai 2002 workshop on ontologies and semantic interoperability
2002
@@ -4315,7 +4357,7 @@ Intelligence (IJCAI)
address = {Lyon France}}
-
+
Workshop on analysing and exploiting domain knowledge for efficient planning
2000
@@ -4331,7 +4373,7 @@ Intelligence (IJCAI)
publisher = {AAAI Press}}
-
+
Proceedings of the international workshop on first order theorem proving
1997
@@ -4359,7 +4401,7 @@ Intelligence (IJCAI)
key = {FTP1998}}
-
+
Handbook of philosophical logic
D. Reidel
1984
@@ -4378,7 +4420,7 @@ Intelligence (IJCAI)
editor = {Dov Gabbay and F. Guenthner}}
-
+
Handbook of Philosophical Logic
Reidel
1983
@@ -4399,7 +4441,7 @@ Intelligence (IJCAI)
address = {Dordrecht}}
-
+
Automated deduction — CADE-16
1999
@@ -4423,8 +4465,8 @@ Intelligence (IJCAI)
key = {CADE1999}}
-
- Proceedings of the
+
+ Proceedings of the
@@ -4461,7 +4503,7 @@ Intelligence (IJCAI)
key = {RTA1996}}
-
+
Parallel processing for artificial intelligence
1997
@@ -4491,7 +4533,7 @@ Intelligence (IJCAI)
key = {PPAI1997}}
-
+
The semantic web
4\textsuperscript{th} International Semantic Web Conference ({ISWC})
Galway, Ireland
@@ -4533,7 +4575,7 @@ Intelligence (IJCAI)
isbn = {3-540-29754-5}}
-
+
5th international semantic web conference (ISWC)
2006
@@ -4585,7 +4627,7 @@ Intelligence (IJCAI)
isbn = {3-540-49029-9}}
-
+
Aberer
Karl
@@ -4672,7 +4714,7 @@ Intelligence (IJCAI)
isbn = {978-3-540-76297-3}}
-
+
Proceedings of the of the 8th international conference aimsa’98
1998
@@ -4696,7 +4738,7 @@ Intelligence (IJCAI)
booktitle = {Artificial Intelligence: Methodology, Systems and Applications}}
-
+
Automated reasoning — 1st international joint conference, ijcar 2001
2001
@@ -4730,7 +4772,7 @@ Intelligence (IJCAI)
key = {IJCAR2001}}
-
+
Automated reasoning — third international joint conference, ijcar 2006
2006
@@ -4760,7 +4802,7 @@ Intelligence (IJCAI)
key = {IJCAR2006}}
-
+
1993
Gottlob
@@ -4789,7 +4831,7 @@ Intelligence (IJCAI)
key = {KGC1993}}
-
+
Theorem proving in higher order logics: emerging trends
1998-10
@@ -4821,7 +4863,7 @@ Science Lab
key = {TPHOLS1998}}
-
+
Theorem proving in higher order logics: tphols’97
1997
@@ -4849,7 +4891,7 @@ Science Lab
key = {TPHOLS1997}}
-
+
Advances in artificial intelligence, aisb-87
1987
@@ -4871,7 +4913,7 @@ Science Lab
pages = {125–139}}
-
+
Proceedings of the ki-03 workshop on expressive media and intelligent tools for learning
2003
@@ -4891,7 +4933,7 @@ Science Lab
address = {Hamburg\GERMANY}}
-
+
From frege to gödel: a source book in mathematical logic 1879-1931
Harvard Univ. Press
1967
@@ -4916,7 +4958,7 @@ Science Lab
isbn = {0-674-32450-1}}
-
+
Proceedings of the ecai workshop on representation ofmathematical knowledge
1996
@@ -4942,7 +4984,7 @@ Science Lab
Knowledge}}
-
+
Proceedings of of the 14th european conference on artifical intelligence
2000
@@ -4964,7 +5006,7 @@ Science Lab
key = {ECAI2000}}
-
+
Ghallab
Malik
@@ -5006,7 +5048,7 @@ Science Lab
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=9905}}
-
+
Proceedings of the aaai workshop on text planning and realization
1988
@@ -5029,7 +5071,7 @@ Science Lab
address = {St. Paul, MN, USA}}
-
+
1995
Hsiang
@@ -5038,7 +5080,7 @@ Science Lab
914
LNCS
Springer Verlag
- Proceedings of the
+ Proceedings of the
@@ -5066,7 +5108,7 @@ Techniques and Applications
key = {RTA1995}}
-
+
Fundamental approaches to software engineering (FASE 2001)
2001
@@ -5090,7 +5132,7 @@ Techniques and Applications
key = {FASE01}}
-
+
Proceedings of artificial intelligence and symbolic computation, AISC’2006
2006
@@ -5122,7 +5164,7 @@ Techniques and Applications
{AISC}'2006}}
-
+
1991
Ito
@@ -5149,7 +5191,7 @@ Techniques and Applications
key = {TACS1991}}
-
+
Marktplatz Internet: von E-Learning bis E-Payment, 13. Leipziger Informatik-Tage, LIT 2005, 21.-23. September 2005, Leipzig
2005
@@ -5180,7 +5222,7 @@ Techniques and Applications
isbn = {3-88579-401-2}}
-
+
1985
Joshi
@@ -5203,7 +5245,7 @@ Intelligence (IJCAI)
key = {IJCAI1985}}
-
+
1985
Jouannaud
@@ -5228,7 +5270,7 @@ and Applications
key = {RTA1985}}
-
+
1979
Joyner
@@ -5245,7 +5287,7 @@ and Applications
key = {WADE1979}}
-
+
Proceedings of the ijcai 03 workshop on knowledge and reasoning in practical dialogue systems
2003
@@ -5278,7 +5320,7 @@ and Applications
address = {Acapulco, \MEXICO}}
-
+
1984
Kahn
@@ -5305,7 +5347,7 @@ and Applications
key = {SDT1984}}
-
+
1988
Kaplan
@@ -5332,7 +5374,7 @@ Rewriting Systems, Orsay, France
key = {CTRS1988}}
-
+
1991
Kaplan
@@ -5359,7 +5401,7 @@ Rewriting Systems, Montreal, Canada
key = {CTRS1991}}
-
+
Proceedings of the 11th conference on automated deduction
1992
@@ -5385,7 +5427,7 @@ Rewriting Systems, Montreal, Canada
key = {CADE1992}}
-
+
Artificial intelligence, automated reasoning, and symbolic computation — joint international conference, aisc 2002 and calculemus 2002
2002
@@ -5428,7 +5470,7 @@ Rewriting Systems, Montreal, Canada
— Joint International Conference, AISC 2002 and Calculemus 2002}}
-
+
Proceedings of the calculemus 2001 symposium
2001
@@ -5448,7 +5490,7 @@ Rewriting Systems, Montreal, Canada
address = {Siena, Italy}}
-
+
1993
Kirchner
@@ -5457,7 +5499,7 @@ Rewriting Systems, Montreal, Canada
690
LNCS
Springer Verlag
- Proceedings of the
+ Proceedings of the
@@ -5485,7 +5527,7 @@ Techniques and Applications
key = {RTA1993}}
-
+
Proceedings of the 15th Conference on Automated Deduction
1998
@@ -5513,7 +5555,7 @@ Techniques and Applications
key = {CADE1998}}
-
+
Algebraic methodology and software technology — 9th international conference amast 2002
2002
@@ -5541,7 +5583,7 @@ Techniques and Applications
Conference AMAST 2002}}
-
+
Proceedings of the 10th annual IEEE symposium on logic in computer science (LICS-10)
1995-06
@@ -5567,7 +5609,7 @@ Techniques and Applications
key = {LICS1995}}
-
+
DiaBruck—7th workshop on the semantics and pragmatics of dialogue
2003
@@ -5589,7 +5631,7 @@ Techniques and Applications
booktitle = {DiaBruck—7\textsuperscript{th} Workshop on the Semantics and Pragmatics of Dialogue}}
-
+
Proceedings of the 5th workshop on formal semantics and pragmatics of dialog (bi-dialog 2001)
2001
@@ -5615,7 +5657,7 @@ Techniques and Applications
key = {BIDIALOG2001}}
-
+
Artificial intelligence in education
1999
@@ -5640,7 +5682,7 @@ Techniques and Applications
publisher = {IOS Press}}
-
+
1987
Lescanne
@@ -5665,7 +5707,7 @@ and Applications
key = {RTA1987}}
-
+
2001
Lozano
@@ -5688,7 +5730,7 @@ AISC’2000
AISC'2000}}
-
+
Proceedings of the 9th conference on automated deduction
1988
@@ -5718,7 +5760,7 @@ AISC’2000
key = {CADE1988}}
-
+
Proceedings of the joint international conference and symposium on logic programming
1996
@@ -5740,7 +5782,7 @@ AISC’2000
Logic Programming}}
-
+
Logic programming – proceedings of the 1997 international symposium
1997
@@ -5760,7 +5802,7 @@ AISC’2000
booktitle = {Logic Programming – Proceedings of the 1997 International Symposium}}
-
+
Automated Deduction – cade-17
2000
@@ -5784,7 +5826,7 @@ AISC’2000
key = {CADE00}}
-
+
Proceedings of the 14th Conference on Automated Deduction
1997
@@ -5810,7 +5852,7 @@ AISC’2000
key = {CADE1997}}
-
+
Proceedings of the 5th international natural language generation workshop
1990
@@ -5838,7 +5880,7 @@ AISC’2000
key = {INLG1990}}
-
+
Proceedings of the 13th conference on automated deduction
1996
@@ -5868,7 +5910,7 @@ AISC’2000
key = {CADE1996}}
-
+
WOSE2004
On the move to meaningful internet systems 2004: otm 2004 workshops
2004
@@ -5901,7 +5943,7 @@ AISC’2000
publisher = {Springer Verlag}}
-
+
Proceedingsof 17th international conference on automated deduction—workshop w4: automated deduction in education
2000
@@ -5925,7 +5967,7 @@ AISC’2000
key = {CADE2000-W4}}
-
+
1995
Mellish
@@ -5948,7 +5990,7 @@ Intelligence (IJCAI)
key = {IJCAI1995}}
-
+
2010
Paschke
@@ -5988,7 +6030,7 @@ Intelligence (IJCAI)
acceptanceratecomment = {according to Rapha{\"e}l Troncy, \url{http://www.eurecom.fr/~troncy/Publications/index.html}}}
-
+
User interfaces for theorem provers
1996
@@ -6006,7 +6048,7 @@ Intelligence (IJCAI)
key = {UITP1996}}
-
+
Proceedings of the of 13th gwai
1989
@@ -6026,7 +6068,7 @@ Intelligence (IJCAI)
booktitle = {Proceedings of the of 13\textsuperscript{th} GWAI}}
-
+
Proceedings of inference in computational semantics icos-1
1999
@@ -6048,7 +6090,7 @@ Intelligence (IJCAI)
booktitle = {Proceedings of Inference in Computational Semantics ICoS-1}}
-
+
Artificial intelligence in education
2001
@@ -6076,7 +6118,7 @@ Intelligence (IJCAI)
publisher = {IOS Press}}
-
+
Theorem proving with analytic tableaux and related methods
1996
@@ -6110,7 +6152,7 @@ Intelligence (IJCAI)
booktitle = {Theorem Proving with Analytic Tableaux and Related Methods}}
-
+
Automated reasoning with analytic tableaux and related methods
1999
@@ -6132,7 +6174,7 @@ Intelligence (IJCAI)
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}}
-
+
1991
Mylopoulos
@@ -6159,7 +6201,7 @@ Intelligence (IJCAI)
key = {IJCAI1991}}
-
+
2001
Nebel
@@ -6182,7 +6224,7 @@ Intelligence (IJCAI)
key = {IJCAI2001}}
-
+
18th annual german conference on aritificial intelligence
1994
@@ -6210,7 +6252,7 @@ Intelligence (IJCAI)
key = {KI1994}}
-
+
Bach
Joscha
@@ -6234,7 +6276,7 @@ Intelligence (IJCAI)
year = {2011}}
-
+
AIPS-00
Proceedings of the 5th international conference on artificial intelligence planning systems (aips’00)
2000
@@ -6264,7 +6306,7 @@ Intelligence (IJCAI)
address = {Breckenridge, CO}}
-
+
Proceedings of the 5th european conference on planning (ecp’99)
1999
@@ -6286,7 +6328,7 @@ Intelligence (IJCAI)
publisher = {Springer-Verlag}}
-
+
Foundations of software science and computation structures (FOSSACS02)
2002
@@ -6314,7 +6356,7 @@ Intelligence (IJCAI)
key = {FOSSACS02}}
-
+
Proceedings of of the 7th european conference on artifical intelligence
1984
@@ -6336,7 +6378,7 @@ Intelligence (IJCAI)
key = {ECAI1984}}
-
+
GWAI-92: advances in artificial intelligence
1993
@@ -6358,7 +6400,7 @@ Intelligence (IJCAI)
booktitle = {GWAI-92: Advances in Artificial Intelligence}}
-
+
Natural language generation in artificial intelligence and computational linguistics
1991
@@ -6384,7 +6426,7 @@ Intelligence (IJCAI)
publisher = {Kluwer}}
-
+
1992
Pearce
@@ -6409,7 +6451,7 @@ Intelligence (IJCAI)
key = {JELIA1992}}
-
+
Proceedings of the fifth international conference on intelligent tutoring systems—workshop w2: adaptive and intelligent web-based education systems
2000
@@ -6430,7 +6472,7 @@ Intelligence (IJCAI)
key = {ITS2000-W2}}
-
+
1994
Pfenning
@@ -6457,7 +6499,7 @@ and Automated Reasoning LPAR’94
key = {LPAR1994}}
-
+
1997
Pollack
@@ -6480,7 +6522,7 @@ Intelligence (IJCAI)
key = {IJCAI1997}}
-
+
Proceedings of of the 13th european conference on artifical intelligence
1998
@@ -6502,7 +6544,7 @@ Intelligence (IJCAI)
key = {ECAI1998}}
-
+
2006
Ranise
@@ -6521,7 +6563,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
Computation and Mechanized Reasoning (Calculemus-2006)}}
-
+
Proceedings of the its 2002 — workshop on empirical methods for tutorial dialogue systems
2002
@@ -6541,7 +6583,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
address = {San Sebasti{\'a}n, \SPAIN}}
-
+
Schwartz
David G.
@@ -6558,7 +6600,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
year = {2005}}
-
+
Schwartz
David
@@ -6581,7 +6623,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
year = {2011}}
-
+
Proceedings of the 7th international conference on automated deduction
1984
@@ -6605,7 +6647,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {CADE1984}}
-
+
Proceedings of the 8th conference on automated deduction
1986
@@ -6631,7 +6673,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {CADE1986}}
-
+
Proceedings of the first international workshop on proof transformation and presentation
1997
@@ -6657,7 +6699,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
and Presentation}}
-
+
Automation of reasoning 1: classical papers on computational logic 1957–1966
1983
@@ -6679,7 +6721,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
publisher = {Springer Verlag}}
-
+
Automation of reasoning
1983
@@ -6703,7 +6745,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
booktitle = {Automation of Reasoning}}
-
+
Automation of reasoning
1983
@@ -6727,7 +6769,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
booktitle = {Automation of Reasoning}}
-
+
Proceedings of the fourth international conference on artificial intelligence planning systems (AIPS-98)
1998-06
@@ -6761,7 +6803,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {AIPS98}}
-
+
11th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2003)
Link
2003-09
@@ -6787,7 +6829,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
month = {September}}
-
+
Second international joint conference on automated reasoning — workshop on computer-supported mathematical theory development
2004
@@ -6809,7 +6851,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
Workshop on Computer-Supported Mathematical Theory Development}}
-
+
Grundprobleme der großen philosophen : philosophie der neuzeit. vol. 6. tarski, reichenbach, kraft, gödel, neurath
UTB
1992
@@ -6845,7 +6887,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
status = {available}}
-
+
Proceedings of the 12th international conference on logic programming
1995
@@ -6867,7 +6909,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
isbn = {0-262-69177-9}}
-
+
Proceedings of the 10th conference on automated deduction
1990
@@ -6893,7 +6935,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {CADE1990}}
-
+
Sequence learning: paradigms, algorithms, and applications
2000
@@ -6916,7 +6958,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
publisher = {Springer Verlag}}
-
+
The semantic web: research and applications
3\textsuperscript{rd} European Semantic Web Conference ({ESWC})
Budva, Montenegro
@@ -6950,7 +6992,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
isbn = {3-540-34544-2}}
-
+
Automated reasoning with analytic tableaux and related methods
1998
@@ -6972,7 +7014,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods}}
-
+
Proceedings of the 10th international conference on logic programming
1993
@@ -6990,7 +7032,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
booktitle = {Proceedings of the 10\textsuperscript{th} International Conference on Logic Programming}}
-
+
Proceedings of icms 2006
2006
@@ -7016,7 +7058,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
booktitle = {Proceedings of ICMS-2006}}
-
+
Alfred tarski : collected papers – vol. 1 / 1921–1934
Birkhäuser
1986
@@ -7055,7 +7097,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
status = {available}}
-
+
Formal philosophy: selected papers of richard montague
Yale University Press, New Haven, CT
1974
@@ -7070,7 +7112,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
editor = {Thomason, R.}}
-
+
Theorem proving in higher order logics: tphols’02
2002
@@ -7102,7 +7144,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {TPHOLS2002}}
-
+
Automated deduction — cade-18
2002
@@ -7126,7 +7168,7 @@ Computation and Mechanized Reasoning (Calculemus-2006)
key = {CADE2002}}
-
+
1993
Voronkov
@@ -7153,7 +7195,7 @@ and Automated Reasoning LPAR’93
key = {LPAR1993}}
-
+
Proceedings of the international conference on logic programming and automated reasoning lpar’92
1992
@@ -7181,7 +7223,7 @@ and Automated Reasoning LPAR’93
key = {LPAR1992}}
-
+
2006
Völkel
@@ -7217,7 +7259,7 @@ and Automated Reasoning LPAR’93
title = {Proceedings of the 1\textsuperscript{st} Workshop on Semantic Wikis, {European} {Semantic} {Web} {Conference}}}
-
+
Proceedings of the 12th european conference on artificial intelligence
1996-08
@@ -7241,7 +7283,7 @@ and Automated Reasoning LPAR’93
key = {ECAI1996}}
-
+
Proceedings of the 3rd international joint conference on artificial intelligence
1973
@@ -7265,7 +7307,7 @@ and Automated Reasoning LPAR’93
key = {IJCAI1973}}
-
+
1969
Walker
@@ -7288,7 +7330,7 @@ Intelligence
key = {IJCAI1969}}
-
+
Proceedings of international symposium on symbolic and algebraic computation (ISSAC’92)
1992
@@ -7310,7 +7352,7 @@ Intelligence
key = {ISSAC1992}}
-
+
Proceedings of 2000 international symposium on symbolic and algebraic computation (ISSAC’00)
1992
@@ -7332,7 +7374,7 @@ Intelligence
isbn = {1-58113-218-2}}
-
+
Proceedings of the 2010 international symposium on symbolic and algebraic computation (ISSAC)
2010
ACM Press
@@ -7345,7 +7387,7 @@ Intelligence
booktitle = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation ({ISSAC})}}
-
+
1994
Wolfgang Bibel
@@ -7366,7 +7408,7 @@ Deduktionssysteme”
Deduktionssysteme''}}
-
+
Theorem proving in higher order logics: tphols’96
1996
@@ -7397,7 +7439,7 @@ Deduktionssysteme”
key = {TPHOLS1996}}
-
+
Proceedings of the 4th european workshop on natural language generation
1993
@@ -7418,7 +7460,7 @@ Deduktionssysteme”
editor = {Michael Zock and Giovanni Adorni and Giacomo Ferrari}}
-
+
XTech 2005: xml, the web and beyond.
2005
Amsterdam, The Netherlands
@@ -7433,7 +7475,7 @@ Deduktionssysteme”
booktitle = {XTech 2005: XML, the Web and beyond.}}
-
+
10th conference of the european chapter of the association for computational linguistics—proceedings of the workshop on dialogue systems: interaction, adaptation and styles of management
2003
Budapest, Hungary
@@ -7445,7 +7487,7 @@ Deduktionssysteme”
address = {Budapest, \HUNGARY}}
-
+
First qpq workshop on deductive software components
2003
CADE-19, Miami, USA
@@ -7458,7 +7500,7 @@ Deduktionssysteme”
key = {QPQ03}}
-
+
17th workshop on unification
2003
Valencia, Spain
@@ -7471,7 +7513,7 @@ Deduktionssysteme”
key = {UNIF2003}}
-
+
Recent trends in algebraic development techniques
2003
2755
@@ -7490,7 +7532,7 @@ Deduktionssysteme”
key = {WADT03}}
-
+
WADT 2006
2007
@@ -7512,7 +7554,7 @@ Deduktionssysteme”
publisher = {Springer}}
-
+
Recent Trends in Algebraic Development Techniques
Kreowski
@@ -7537,7 +7579,7 @@ Deduktionssysteme”
series = {LNCS}}
-
+
2013
Recent Trends in Algebraic Development Techniques
@@ -7572,7 +7614,7 @@ Deduktionssysteme”
keywords = {conference}}
-
+
MathML02
Second international conference on mathml and technologies for math on the web
2002
@@ -7589,7 +7631,7 @@ Deduktionssysteme”
on the Web}}
-
+
2000
Hongkong
conference
@@ -7603,7 +7645,7 @@ Linguistics
Linguistics}}
-
+
MathML and math on the web: mathml international conference
2000-10
conference
@@ -7618,7 +7660,7 @@ Linguistics
month = {October}}
-
+
Proceedings of the sixth international conference on tools and algorithms for the construction and analysis of systems tacas-2000
2000
LNCS
@@ -7639,7 +7681,7 @@ Linguistics
key = {TACAS2000}}
-
+
Proceedings of the 13th international conference on tools and algorithms for the construction and analysis of systems tacas-2007
2007
LNCS
@@ -7671,7 +7713,7 @@ Linguistics
key = {TACAS2007}}
-
+
AAAI-92
Proceedings of the 10th national conference of the american association for artificial intelligence (aaai’92)
1992
@@ -7688,7 +7730,7 @@ Linguistics
address = {San Jose, CA}}
-
+
Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99) and Eleventh Innovative Application of Artificial Intelligence Conference (IAAI-99)
1999
AAAI Press
@@ -7705,7 +7747,7 @@ Linguistics
Conference ({IAAI-99})}}}
-
+
Proceedingsof the 7th european workshop on natural language generation
1999
Toulouse France
@@ -7716,7 +7758,7 @@ Linguistics
booktitle = {\PROC of the 7\textsuperscript{th} European Workshop on Natural Language Generation}}
-
+
Proceedings of international symposium on symbolic and algebraic computation (ISSAC’99)
1999
ACM Press
@@ -7733,7 +7775,7 @@ Linguistics
key = {ISSAC1999}}
-
+
Proceedings of the Thirteenth National Conference on Artificial Intelligence AAAI-96
1998
MIT Press
@@ -7748,7 +7790,7 @@ Linguistics
Intelligence AAAI-96}}}
-
+
Proceedings of the Fifteenth National Conference on Artificial Intelligence AAAI-98 and Tenth Conference on Innovative Application of Artificial Intelligence IAAI-98
1998
MIT Press
@@ -7765,7 +7807,7 @@ Linguistics
Intelligence IAAI-98}}}
-
+
Proceedings of the 9th International Workshop on Natural Language Generation
1998
Niagara-on-the-Lake, Ontario, Canada
@@ -7782,7 +7824,7 @@ Linguistics
key = {INLG1998}}
-
+
1998
1489
LNAI
@@ -7798,7 +7840,7 @@ Linguistics
journal = {LNCS}}
-
+
Proceedings of the Fourteenth National Conference on Artificial Intelligence AAAI-97
1997
MIT Press
@@ -7817,7 +7859,7 @@ Linguistics
eventdate = {1997-03}}
-
+
1997
Madrid, Spain
conference
@@ -7833,7 +7875,7 @@ Association for Computational Linguistics
Association for Computational Linguistics}}
-
+
Proceedings of international symposium on symbolic and algebraic computation (ISSAC’97)
1997
Hawaii
@@ -7852,7 +7894,7 @@ Association for Computational Linguistics
key = {ISSAC1997}}
-
+
Proceedings of the 8th international natural language generation workshop
1996
Herstmonceux Castle, Sussex, UK
@@ -7867,7 +7909,7 @@ Association for Computational Linguistics
key = {INLG1996}}
-
+
1996
1126
LNAI
@@ -7884,7 +7926,7 @@ Association for Computational Linguistics
key = {JELIA1996}}
-
+
Proceedingsof the 5th european workshop on natural language generation
1995
Leiden, Netherlands
@@ -7897,7 +7939,7 @@ Association for Computational Linguistics
booktitle = {Proceedings of the 5\textsuperscript{th} European Workshop on Natural Language Generation}}
-
+
Proceedings of international symposium on symbolic and algebraic computation (ISSAC’95)
1995
ACM Press
@@ -7914,7 +7956,7 @@ Association for Computational Linguistics
key = {ISSAC1995}}
-
+
International Workshop on User Interface Design for Theorem Proving Systems
1995
Glasgow
@@ -7929,7 +7971,7 @@ Association for Computational Linguistics
key = {UITP1995}}
-
+
Proceedings of the ijcai-95 workshop on multilingual text generation
1995
Montreal, Canada
@@ -7940,7 +7982,7 @@ Association for Computational Linguistics
booktitle = {Proceedings of the IJCAI-95 Workshop on Multilingual Text Generation}}
-
+
Proceedings of the 16th annual conference of the cognitive science society
conference
1994
@@ -7951,7 +7993,7 @@ Association for Computational Linguistics
year = {1994}}
-
+
Proceedings of the 15th International Conference on Computational Linguistics
1994
Kyoto, Japan
@@ -7968,7 +8010,7 @@ Association for Computational Linguistics
{Linguistics}}}
-
+
COLING 2000, 18th International Conference on Computational Linguistics
Morgan Kaufmann
2000
@@ -7983,7 +8025,7 @@ Association for Computational Linguistics
ee = {http://aclweb.org/anthology/C/C00/}}
-
+
Proceedings of the 7th International Workshop on Natural Language Generation
1994
Kennebunkport, ME
@@ -8000,7 +8042,7 @@ Association for Computational Linguistics
key = {INLG1994}}
-
+
Proceedings of the 9th annual IEEE symposium on logic in computer science (LICS-9)
1994
Paris, France
@@ -8019,7 +8061,7 @@ Association for Computational Linguistics
key = {LICS1994}}
-
+
Proceedings of the 21st ACM symposium on principles of programming languages
1994-01
New York, NY
@@ -8042,7 +8084,7 @@ Association for Computational Linguistics
key = {POPL1994}}
-
+
Proceedings of 7th international workshop on generation
1994
Kennebunkport, Maine, USA
@@ -8053,7 +8095,7 @@ Association for Computational Linguistics
booktitle = {Proceedings of 7\textsuperscript{th} International Workshop on Generation}}
-
+
1993
816
LNCS
@@ -8075,7 +8117,7 @@ and Term Rewriting
key = {HOA1993}}
-
+
Proceedings of the 5th innovative applications of artificial intelligence conference
conference
1993
@@ -8086,7 +8128,7 @@ and Term Rewriting
year = {1993}}
-
+
1993
Sacramento, CA
IEEE Press
@@ -8102,7 +8144,7 @@ Logic
key = {ISMVL1993}}
-
+
Proceedings of the 8th annual IEEE symposium on logic in computer science (LICS-8)
1993
Montreal, Canada
@@ -8121,7 +8163,7 @@ Logic
key = {LICS1993}}
-
+
Proceedings of the 1st conference of the pacific association for computational linguistics
1993
Vancouver, Canada
@@ -8134,7 +8176,7 @@ Logic
publisher = {Centre for Systems Science, Simon Fraser University}}
-
+
1992
656
LNCS
@@ -8152,7 +8194,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {CTRS1992}}
-
+
Proceedings of the 6th annual IEEE symposium on logic in computer science (LICS-6)
1992
Amsterdam, NL
@@ -8171,7 +8213,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1991}}
-
+
Proceedings of the 7th annual IEEE symposium on logic in computer science (LICS-7)
1992
Santa Cruz, CA, USA
@@ -8190,7 +8232,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1992}}
-
+
Proceedings of aaai-91
1991
Morgan Kaufman
@@ -8202,7 +8244,7 @@ Rewriting Systems, Pont-a-Mousson, France
keywords = {conference}}
-
+
Proceedings of the 20th national conference on artificial intelligence (aaai 2005)
2005
MIT Press
@@ -8214,7 +8256,7 @@ Rewriting Systems, Pont-a-Mousson, France
keywords = {conference}}
-
+
Proceedings of the sigplan ’91 symposion on language design and implementation, toronto, canada
1991
ACM Press
@@ -8227,7 +8269,7 @@ Rewriting Systems, Pont-a-Mousson, France
Toronto, Canada}}
-
+
Proceedings of the 27th annual meeting of the association for computational linguistics
1989
conference
@@ -8240,7 +8282,7 @@ Rewriting Systems, Pont-a-Mousson, France
address = {Vancouver, British Columbia}}
-
+
Proceedings of the 4th annual IEEE symposium on logic in computer science (LICS-4)
1989
Pacific Grove, CA, USA
@@ -8259,7 +8301,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1989}}
-
+
Proceedings of the 5th annual IEEE symposium on logic in computer science (LICS-5)
1989
Philadelphia, PA, USA
@@ -8278,7 +8320,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1990}}
-
+
1989
349
LNCS
@@ -8294,7 +8336,7 @@ Rewriting Systems, Pont-a-Mousson, France
booktitle = {Proceedings STACS'89}}
-
+
Proceedings of the third annual IEEE symposium on logic in computer science (LICS-3)
1988
Edinburgh, Great Britain
@@ -8313,7 +8355,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1988}}
-
+
IEEE symposium on logic programming
1987
Salt Lake City
@@ -8326,7 +8368,7 @@ Rewriting Systems, Pont-a-Mousson, France
booktitle = {IEEE Symposium on Logic Programming}}
-
+
Proceedings of the second annual IEEE symposium on logic in computer science (LICS-2)
1987
Ithaca, NY, USA
@@ -8345,7 +8387,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1987}}
-
+
Proceedings ACM conference on LISP and functional programming
1986
conference
@@ -8356,7 +8398,7 @@ Rewriting Systems, Pont-a-Mousson, France
booktitle = {Proceedings {ACM} Conference on {LISP} and Functional Programming}}
-
+
Proceedings of the first annual IEEE symposium on logic in computer science (LICS-1)
1986
Cambridge, MA, USA
@@ -8376,7 +8418,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {LICS1986}}
-
+
Proc of the 11th ACM symposium on principles of programming languages
1984
New York
@@ -8391,7 +8433,7 @@ Rewriting Systems, Pont-a-Mousson, France
booktitle = {Proc of the 11\textsuperscript{th} {ACM} Symposium on Principles of Programming Languages}}
-
+
Proceedings ACM conference on LISP and functional programming
1982
conference
@@ -8402,7 +8444,7 @@ Rewriting Systems, Pont-a-Mousson, France
booktitle = {Proceedings {ACM} Conference on {LISP} and Functional Programming}}
-
+
Proceedings of the 5th international conference on automated deduction
1980
Springer Verlag
@@ -8417,7 +8459,7 @@ Rewriting Systems, Pont-a-Mousson, France
key = {CADE1980}}
-
+
1977
Morgan Kaufmann, San Mateo, California, USA
Proceedings of the 5th International Joint Conference on Artificial
@@ -8433,7 +8475,7 @@ Intelligence (IJCAI)
key = {IJCAI1977}}
-
+
Proceedings of the international symposion on symbolic and algebraic manipulation eurosam+79
1976
72
@@ -8452,7 +8494,7 @@ Intelligence (IJCAI)
Manipulation EUROSAM+79}}
-
+
Proceedings of the ACM annual conference 1972
1972
conference
@@ -8463,7 +8505,7 @@ Intelligence (IJCAI)
booktitle = {Proceedings of the {ACM} annual Conference}}
-
+
Symposium on automatic demonstration
1970
125
@@ -8479,7 +8521,7 @@ Intelligence (IJCAI)
publisher = {Springer Verlag}}
-
+
Proceedings of ifip congress in information processing
1968
68
@@ -8494,7 +8536,7 @@ Intelligence (IJCAI)
booktitle = {Proceedings of IFIP Congress in Information Processing}}
-
+
Electronic proceedings of the first international workshop on mathematical knowledge management: MKM’2001
2001
@@ -8518,7 +8560,7 @@ Intelligence (IJCAI)
Knowledge Management: {MKM'2001}}}
-
+
Gómez-Pérez
Asunción
@@ -8553,7 +8595,7 @@ Intelligence (IJCAI)
isbn = {3-540-44268-5}}
-
+
Gangemi
Aldo
@@ -8587,7 +8629,7 @@ Intelligence (IJCAI)
isbn = {978-3-540-87695-3}}
-
+
Proceedings of webalt 2006, first webalt conference and exhibition
2006
@@ -8616,7 +8658,7 @@ Intelligence (IJCAI)
publisher = {Oy WebALT Inc}}
-
+
Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2008 (ED-MEDIA’08)
2008-06
EdMedia2008
@@ -8637,7 +8679,7 @@ Intelligence (IJCAI)
publisher = {AACE}}
-
+
Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2007 (ED-MEDIA’07)
Montgomerie
@@ -8665,7 +8707,7 @@ Intelligence (IJCAI)
publisher = {AACE}}
-
+
Mensch & Computer 2007: Interaktion im Plural
2007-09
MuC2007
@@ -8694,7 +8736,7 @@ Intelligence (IJCAI)
annote = {7.te Fach{\"u}bergreifende Konferenz}}
-
+
Libbrecht
Paul
@@ -8712,7 +8754,7 @@ Intelligence (IJCAI)
year = {2004}}
-
+
Libbrecht
Paul
@@ -8728,7 +8770,7 @@ Intelligence (IJCAI)
year = {2006}}
-
+
Libbrecht
Paul
@@ -8748,7 +8790,7 @@ Intelligence (IJCAI)
month = {June}}
-
+
Libbrecht
Paul
@@ -8768,7 +8810,7 @@ Intelligence (IJCAI)
month = {June}}
-
+
Müller
Christine
@@ -8786,7 +8828,7 @@ Intelligence (IJCAI)
year = {2007}}
-
+
Gross
Tom
@@ -8804,7 +8846,7 @@ Intelligence (IJCAI)
year = {2007}}
-
+
Hinneburg
Alexander
@@ -8822,7 +8864,7 @@ Intelligence (IJCAI)
year = {2007}}
-
+
Proceedings of the 4th elearning fachtagung informatik — delfi 2006
2006
@@ -8848,7 +8890,7 @@ Intelligence (IJCAI)
publisher = {K{\"o}llen Druck Verlag GmbH, Bonn}}
-
+
Proceedings of the cscl 2005
2005
Taipei, Taiwan
@@ -8867,7 +8909,7 @@ Intelligence (IJCAI)
publisher = {…}}
-
+
Logic colloquium ’87
Taipei, Taiwan
@@ -8883,7 +8925,7 @@ Intelligence (IJCAI)
publisher = {North Holland}}
-
+
From insight to proof: festschrift in honour of Andrzej Trybulec
From Insight to Proof: Festschrift in Honour of {Andrzej Trybulec}
Studies in Logic, Grammar and Rhetoric
@@ -8910,7 +8952,7 @@ Intelligence (IJCAI)
url = {http://mizar.org/trybulec65/}}
-
+
26th IEEE international conference on software engineering
conference
2004
@@ -8921,7 +8963,7 @@ Intelligence (IJCAI)
year = {2004}}
-
+
ICSE ’06: proceedings of the 28th international conference on software engineering
2006
ISBN 1-59593-375-1
@@ -8944,7 +8986,7 @@ Intelligence (IJCAI)
keywords = {conference}}
-
+
Gómez-Pérez
Asunción
@@ -8981,7 +9023,7 @@ Intelligence (IJCAI)
isbn = {3-540-26124-9}}
-
+
Franconi
Enrico
@@ -9021,7 +9063,7 @@ Intelligence (IJCAI)
isbn = {978-3-540-72666-1}}
-
+
Bechhofer
Sean
@@ -9064,7 +9106,7 @@ Intelligence (IJCAI)
year = {2008}}
-
+
Aroyo
Lora
@@ -9128,7 +9170,7 @@ Intelligence (IJCAI)
year = {2009}}
-
+
Aroyo
Lora
@@ -9180,7 +9222,7 @@ Intelligence (IJCAI)
number = {6088}}
-
+
Aroyo
Lora
@@ -9232,7 +9274,7 @@ Intelligence (IJCAI)
number = {6089}}
-
+
Degler
Duane
@@ -9278,7 +9320,7 @@ Intelligence (IJCAI)
issn = {1613-0073}}
-
+
Proceedings of the 2008 conference on human factors in computing systems (CHI)
2008-04-05/2008-04-10
Florence, Italy
@@ -9296,7 +9338,7 @@ Intelligence (IJCAI)
year = {2008}}
-
+
Rosson
Mary Beth
@@ -9324,7 +9366,7 @@ Intelligence (IJCAI)
bibsource = {DBLP, http://dblp.uni-trier.de}}
-
+
Chew
Jane Carrasco
@@ -9354,7 +9396,7 @@ Intelligence (IJCAI)
isbn = {0-201-50932-6}}
-
+
Baumeister
Joachim
@@ -9380,7 +9422,7 @@ Intelligence (IJCAI)
month = {October}}
-
+
Hartmann
Melanie
@@ -9404,7 +9446,7 @@ Intelligence (IJCAI)
month = {September}}
-
+
Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDB
Bergmann
@@ -9430,7 +9472,7 @@ Intelligence (IJCAI)
month = {October}}
-
+
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings
Henrich
@@ -9452,7 +9494,7 @@ Intelligence (IJCAI)
month = {October}}
-
+
Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings
Otto-von-Guericke-Universität Magdeburg
2011-09
@@ -9465,7 +9507,7 @@ Intelligence (IJCAI)
month = {September}}
-
+