Content deleted Content added
Tags: Reverted blanking |
Citation bot (talk | contribs) Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine |
||
| (3 intermediate revisions by 3 users not shown) | |||
Line 45:
==Applications using CLIM==
* BB1 Blackboard Kernel (BBK)<ref>{{cite web |url=http://www.ksl.stanford.edu/pub/ais/BB1v32Manual.ps |title=BBK Manual |last=Brownston |first=Lee |date=November 1995 |website=Knowledge Systems, AI Laboratory |publisher=Stanford University |access-date=2019-08-27}}</ref>
* CLASP: analyzes data from experiments via graphics, statistical tests, and various data manipulation types<ref>{{cite web |url=http://w3.sista.arizona.edu/~cohen/Publications/papers/tai94_sa_95-01.pdf |title=CLASP |website=School of Information |publisher=The University of Arizona |access-date=2019-08-27<!--Tried, not found-->}}</ref>
* CLIB, a prototype interface builder for CLIM<ref>{{cite journal |last1=Hesse |first1=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 |s2cid=7329400 }}</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 DLMAPS], an ontology-based spatial query language and environment, a predecessor of GeoSPARQL<ref>{{cite journal |last1=Wessel|first1=Michael |last2=Möller |first2=Ralf |title=Flexible software architectures for ontology-based information systems |journal=Journal of Applied Logic |volume=7 |issue=1 |date=March 2009 |pages=75–99 |doi=10.1016/j.jal.2007.07.006 |doi-access=free }}</ref>
* [https://github.com/lambdamikel/GenEd GenEd], editor with generic semantics for formal reasoning on visual notations<ref>{{cite journal |last1=Haarslev |first1=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 |last1=Karp |first1=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>
* [https://www.aaai.org/Papers/Workshops/1999/WS-99-05/WS99-05-024.pdf KONWERK], a ___domain independent configuration tool
* [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|last1=Karp|first1=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|pmid=31813964|issn=1467-5463|pmc=8453236}}</ref>
* [https://github.com/lambdamikel/PetriNets-CLIM-Demo Petri nets], 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<ref>{{cite journal |last1=Wessel |first1=Michael |last2=Haarslev |first2=Volker |title=VISCO: Brining Visual Spatial Querying to Reality |journal=Proceedings, 14th IEEE Symposium on Visual Languages |year=1998 |___location=Nova Scotia, Canada |pages=September 1–4, 1998 |publisher=IEEE Press |citeseerx=10.1.1.52.2080 }}</ref>
* [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.
==References==
| |||