Content deleted Content added
GenEd Github repo link added instead of author homepage |
Adding 3 more CLIM applications. |
||
Line 49:
* CLIB, a prototype interface builder for CLIM<ref>{{cite journal |last=Hesse |first=Jan |last2=König |first2=Rainer |last3=Logi |first3=Filippo |last4=Herder |first4=Jens |date=August 1993 |title=A prototype of an interface builder for the Common Lisp Interface Manager – CLIB |journal=ACM SIGPLAN Notices |volume=28 |issue=8 |pages=19–28 |___location=New York, New York, United States |publisher=Association for Computing Machinery |doi=10.1145/163114.163116 }}</ref>
* Direct Labor Management System (DLMS), manages automobile manufacturing process system at Ford assembly plants<ref>{{cite journal |last=Rychtyckyj |first=Nestor |date=1999 |title=DLMS: Ten Years of AI for Vehicle Assembly Process Planning |url=https://aaai.org/Library/IAAI/1999/iaai99-116.php |journal=IAAI-99 Proceedings |pages=821–828 |isbn=978-0-262-51106-3 |publisher=Association for the Advancement of Artificial Intelligence |access-date=2019-09-03}}</ref>
* [https://github.com/lambdamikel/DLMAPS], an ontology-based spatial query language and environment, a predecessor of GeoSPARQL
* [https://github.com/lambdamikel/GenEd GenEd], editor with generic semantics for formal reasoning on visual notations<ref>{{cite journal |last=Haarslev |first=Volker |last2=Wessel |first2=Michael |title=GenEd – An Editor with Generic Semantics for Formal Reasoning about Visual Notations |url=http://users.encs.concordia.ca/~haarslev/publications/vl96/paper.html |journal=Proceedings, 12th IEEE Symposium on Visual Languages |___location=Boulder, Colorado, USA |pages=September 3–6, 1996 |publisher=IEEE Press |access-date=2019-09-03}}</ref>
* Grasper-CL, graph management system<ref>{{cite web |url=http://www.sri.com/sites/default/files/uploads/publications/pdf/454.pdf |title=The Grasper-CL Graph Management System |last=Karp |first=Peter D. |last2=Lowrance |first2=John D. |last3=Strat |first3=Thomas M. |last4=Wilkins |first4=David E. |date=20 January 1993 |website=SRI International |access-date=2019-09-06}}</ref>
Line 54 ⟶ 55:
* [http://homepages.sover.net/~nichael/nlc-publications/mirage/ Mirage], an editor for building gadget-oriented graphical user interfaces.
*[http://bioinformatics.ai.sri.com/ptools/ Pathway Tools], a comprehensive bioinformatics software package that spans genome data management, systems biology, and omics data analysis.<ref>{{Cite journal|last=Karp|first=Peter D|last2=Midford|first2=Peter E|last3=Billington|first3=Richard|last4=Kothari|first4=Anamika|last5=Krummenacker|first5=Markus|last6=Latendresse|first6=Mario|last7=Ong|first7=Wai Kit|last8=Subhraveti|first8=Pallavi|last9=Caspi|first9=Ron|last10=Fulcher|first10=Carol|last11=Keseler|first11=Ingrid M|date=2021-01-18|title=Pathway Tools version 23.0 update: software for pathway/genome informatics and systems biology|url=https://academic.oup.com/bib/article/22/1/109/5669859|journal=Briefings in Bioinformatics|language=en|volume=22|issue=1|pages=109–126|doi=10.1093/bib/bbz104|issn=1467-5463}}</ref>
* [https://github.com/lambdamikel/PetriNets-CLIM-Demo], a Petri net editor and simulator
* [https://www.aaai.org/Papers/ISMB/1993/ISMB93-005.pdf SENEX], a CLOS/CLIM application for molecular pathology
* [http://www.stsci.edu/institute/software_hardware/spike/ SPIKE], scheduling system for the Hubble space telescope observations. Also used for [https://www.researchgate.net/profile/Mark_Johnston7/publication/234221453_The_Application_of_Artificial_Intelligence_to_Astronomical_Scheduling_Problems/links/53dfb4c70cf27a7b8306a5b6.pdf ASTRO-D], an X-Ray observation astronomy mission
* [https://web.archive.org/web/20160304140342/https://dist-systems.bbn.com/tech/spyglass/ SpyGlass], an analysis environment for viewing packet traces, from BBN.
* [http://www.dfki.de/~flint/papers/v3.pdf VITRA Workbench], an integrated vision and natural language processing system
* [https://github.com/lambdamikel/VISCO] VISCO, a visual spatial query language
* [https://github.com/lokedhs/maxima-client Climaxima], a [[Maxima (software)]] graphical front-end.
* [https://github.com/lambdamikel/Common-Lisp-Tangram-Solver Tangram], a Tangram Puzzle Solver capable of solving arbitrary geometric tiling problems.
| |||