http://www.cl-user.net/asp/tags/aiThe last modified items of the Common Lisp Directory for the tag: Artificial Intelligenceen-USWed, 10 Mar 2010 11:29:09 GMTWed, 10 Mar 2010 11:29:09 GMTFractal Concept Web Application Frameworkhttp://www.cl-user.net/asp/libs/kmgen11633Sat, 11 Jul 2009 22:49:04 GMTKMgen is an ontology editor for the KM language (Knowledge Machine), written with Lispworks, Foil (a Foreign Object Interface for Lisp) and SWT (Java Standard Widget Toolkit). Free to use.http://www.cl-user.net/asp/libs/ema-xps12935Tue, 27 Jan 2009 20:30:13 GMTA graphical shell for the hybrid expert system development environment BABYLON. EMA-XPS was created at the University of Wuppertal, Germany. It provides a number of tools such as a task processor, knowledge editors, a tracer, an explanation facility, and more.http://www.cl-user.net/asp/web-sites/SWCLOS13981Tue, 16 Dec 2008 03:24:25 GMTSWCLOS is a Semantic Web processor that is built on top of Common Lisp Object System (CLOS). Every resources in RDF and RDFS, e.g. rdfs:Class, rdfs:Resource, rdf:Property, and resource instances and properties are realized as CLOS objects with straightforward-mapping RDF/S classes to CLOS classes and RDF/S instances to CLOS instances. Axioms and entailment rules in RDF/S are embodied in the system so that a lisp programmer can codify ontology in RDF/S and use the ontology within the semantics specified by RDF/S documents. SWCLOS can read and write RDF/XML and N-triples format files as well as S-expression files. Thus, lisp programmers with SWCLOS can enjoy RDF/S programming in S-expression from the beginning to the end in their work without touching XML in communication with other people. In this paper, some examples same as on the Jena tutorial are demonstrated for the introduction of SWCLOS programming in comparison with Java, and a demonstration with the wine ontology explains the domain and range constraint functionality in SWCLOS. SWCLOS is opened to the public in the BSD-like Open Source principle. Contact the web page or the above email address.http://www.cl-user.net/asp/libs/screamer11156Wed, 10 Dec 2008 15:46:17 GMTScreamer is an extension of Common Lisp that adds support for nondeterministic programming. Screamer consists of two levels. The basic nondeterministic level adds support for backtracking and undoable side effects. On top of this nondeterministic substrate, Screamer provides a comprehensive constraint programming language in which one can formulate and solve mixed systems of numeric and symbolic constraints. Together, these two levels augment Common Lisp with practically all of the functionality of both Prolog and constraint logic programming languages such as CHiP and CLP(R). Furthermore, Screamer is fully integrated with Common Lisp. Screamer programs can coexist and interoperate with other extensions to Common Lisp such as CLOS, CLIM and Iterate.http://www.cl-user.net/asp/libs/1636616366Thu, 10 Jul 2008 09:43:53 GMTSyntax anayzer (parser) for any context free grammar.http://www.cl-user.net/asp/libs/reasoner16234Tue, 22 Apr 2008 10:28:03 GMTProvides tightly-integrated knowledge representation, reasoning and search capabilities, built around a portable extension of CLOS. http://www.cl-user.net/asp/persons/1617516175Sat, 15 Mar 2008 17:08:26 GMTCS instructor at the College of Charleston in Charleston, SC. Long-time Lisp user and developer. Architect and manager of the CLforJava project at the College of Charleston.http://www.cl-user.net/asp/objects/ravenpack11662Tue, 24 Jul 2007 16:46:46 GMTRavenPack provides corporate and government clients with global consulting services and analytical solutions. Through a methodology integrating powerful mathematical and artificial intelligence technologies, RavenPack produces accurate, comprehensive and real-time solutions to customers' problems. RavenPack delivers intelligence and analytical services in the areas of finance and investment, business and research, and risk management.http://www.cl-user.net/asp/libs/GBBopen11624Fri, 15 Dec 2006 16:53:32 GMTHigh-performance, open source AI blackboard-system framework based on the concepts that were explored and refined in the UMass Generic Blackboard system and the commercial GBB product.http://www.cl-user.net/asp/objects/SISCOG14782Sat, 25 Nov 2006 13:36:51 GMTSISCOG is a software company that provides decision-support systems for resource planning and management in transportation companies, especially in the field of railways. Lately other domains of application have been covered, keeping the focus on the resource planning and management, although diversifying for companies that have people working based on duties and rosters.http://www.cl-user.net/asp/libs/planet-of-feebs14663Tue, 14 Nov 2006 14:10:21 GMTA simulation game loosely based on the Xerox PARC "Maze War" game. It generates graphics output via CLX.http://www.cl-user.net/asp/libs/lispcraft-code14574Fri, 03 Nov 2006 13:47:55 GMTThe source code for the book "Common LISPcraft" by Robert Wilensky, W. W. Norton & Company; 2nd edition (June 1986). It mostly includes AI and parsing code.http://www.cl-user.net/asp/libs/acl214448Sat, 14 Oct 2006 09:28:36 GMTACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University of Texas at Austin.http://www.cl-user.net/asp/objects/algorithme14073Wed, 04 Oct 2006 13:16:25 GMTA company that offers custom software, knowledge-based systems and rapid application development services, also with the use of CLOS.http://www.cl-user.net/asp/libs/genetic-goban14334Fri, 22 Sep 2006 07:51:21 GMTA GO game playing program based on genetic algorithms.http://www.cl-user.net/asp/libs/sakala14307Tue, 12 Sep 2006 11:24:44 GMTA scriptable multiplayer game engine.http://www.cl-user.net/asp/libs/lisa11055Thu, 13 Jul 2006 11:37:52 GMTLisp-based Intelligent Software Agents. A production-rule language for building expert systems. It is influenced by, and similar to, CLIPS and JESS.http://www.cl-user.net/asp/libs/xi13922Thu, 06 Jul 2006 10:51:14 GMT"XI is a hybrid of programming language and metaframe database".http://www.cl-user.net/asp/libs/compo13465Sat, 20 May 2006 13:23:58 GMTA musical composition tool with a Common Lisp based language. It allows the construction and management of musical structures.http://www.cl-user.net/asp/libs/wilbur-rdf13599Sat, 20 May 2006 13:04:07 GMTA CLOS toolkit for programming Semantic Web applications that use RDF, XML and/or DAML+OIL. It was developed by the Agent Technology group of Nokia Research Center. Wilbur provides parsers for RDF, DAML and XML, an API for managing "RDF data", a simple HTTP client, and a simple frame system built on top of RDF and DAML.http://www.cl-user.net/asp/libs/com-lisp-utils11480Sat, 20 May 2006 13:04:02 GMTThe Common Lisp Utilities project "intends to be a repository for packages that run on any compliant implementation of ANSI Common Lisp". It contains code for data and control structures, financial functions, AI algorithms, math and cryptography. http://www.cl-user.net/asp/web-sites/KnowOS13716Mon, 15 May 2006 18:12:01 GMTAn operating system in which knowledge, rather than files or tables, is the primary representational basis. Used to implement BioBike.http://www.cl-user.net/asp/web-sites/Lisp%20Style%20and%20Efficiency12083Sat, 13 May 2006 02:37:59 GMTIntroduction to efficient coding style in Common Lisp.http://www.cl-user.net/asp/libs/optop13644Sat, 06 May 2006 02:08:36 GMTan estimated-regression planner that can reason about autonomous processeshttp://www.cl-user.net/asp/libs/cl-semantic13629Tue, 02 May 2006 13:06:17 GMTCl-semantic (A collection of RDF/OWL extraction and relationship parsing macros) is "a collection of macros for extracting and generating relationships between information using ontologies for the Semantic Web". http://www.cl-user.net/asp/web-sites/kmp-publications13481Wed, 19 Apr 2006 10:38:02 GMTA collection of research papers, journal articles, essays and other Lisp writings by Kent Pitman. Covered topics include Common Lisp design and standardization, Artificial Intelligence, software engineering, and more.http://www.cl-user.net/asp/libs/KM13521Tue, 18 Apr 2006 15:54:31 GMTKM is a powerful, frame-based knowledge representation language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism. Its origins were the Theo language and the (now obsolete) language KRL.http://www.cl-user.net/asp/libs/clax13367Mon, 03 Apr 2006 05:16:48 GMTClax is a library for intelligent software agents that exchange messages.http://www.cl-user.net/asp/libs/GECO13339Sun, 02 Apr 2006 09:56:40 GMTA CLOS library for writing genetic algorithms.http://www.cl-user.net/asp/web-sites/lispwire12934Thu, 23 Feb 2006 17:32:28 GMTA repository for interesting Common Lisp software, with the goals of sharing the tools developed over decades of research in advanced fields such as Artificial Intelligence, and demostrating the power of Lisp for solving complex problems. The site is supported and hosted by vendor Franz, Inc. All the available software runs on their Allegro Common Lisp product.http://www.cl-user.net/asp/libs/babylon12933Mon, 20 Feb 2006 16:03:03 GMTA modular and configurable environment for developing expert systems, which was created at the German National Research Center for Computer Sciences (GMD). It is a forward/backward chaining, hybrid system supporting a number of knowledge representation formalisms: frames, rules, Horn clauses, constraints.http://www.cl-user.net/asp/libs/AIMA%20code12354Mon, 13 Feb 2006 18:39:20 GMTCommon Lisp code for solving basic AI problems, from the definitive textbook on intelligent agents by Russell & Norvig. The website also links implementations in other languages (java, python, c++, prolog), test data, and an index of functions organized by chapter.http://www.cl-user.net/asp/web-sites/aima12547Sun, 29 Jan 2006 13:26:11 GMTBook by Stuart Russell and Peter Norvig. Prentice Hall, 2nd edition, 2002, ISBN 0137903952. A popular AI textbook with an agent-based approach.http://www.cl-user.net/asp/libs/paip-code12546Sat, 28 Jan 2006 15:53:31 GMTSource code for the book "Paradigms of AI Programming: Case Studies in Common Lisp" by Peter Norvig.http://www.cl-user.net/asp/web-sites/paip12146Sun, 15 Jan 2006 00:23:14 GMTStarts with an introduction to the language, including an excellent discussion of programming style. Most of the book is a collection of projects covering classic topics in Artificial Intelligence. This book also includes many examples in Prolog.http://www.cl-user.net/asp/web-sites/Lisp%20at%20JPL12114Sat, 14 Jan 2006 01:37:00 GMTThis is the story of the rise and fall of Lisp at the Jet Propulsion Lab as told from Erann Gat's personal (and highly biased) point of view. He discusses Lisp's contributions to NASA's mission, why it was so suitable for space exploration tasks, and why after more than a decade of high performance it was discarded in favor of C++.http://www.cl-user.net/asp/libs/ucpop-planner12102Fri, 13 Jan 2006 22:18:54 GMTPlanner developed at the University of Washington that operates "with actions that have conditional effects and universally quantified preconditions and effects. It accepts universally quantified goals". UCPOP Planner features a plan debugger with a CLIM GUI. It has been superseded by the Sensory Graphplan planner.http://www.cl-user.net/asp/libs/sgp12096Fri, 13 Jan 2006 22:04:29 GMTComplete, general purpose planner developed at the University of Washington. It is based on the Graphplan planner and extends it to handle uncertainty and sensory actions. Graphplan is based on ideas from graph algorithms.http://www.cl-user.net/asp/libs/tmycin12053Thu, 12 Jan 2006 14:46:58 GMTSimple backward-chaining expert system shell based on MYCIN. Although it was created for educational purposes at the University of Texas at Austin, it was also used for developing some real expert systems.http://www.cl-user.net/asp/libs/lkb11930Wed, 11 Jan 2006 17:33:29 GMTGrammar and lexicon development environment for unification-based linguistic formalisms. It implements the DELPH-IN reference formalism of typed feature structures, and has a CLIM GUI.http://www.cl-user.net/asp/persons/unCLog11742Mon, 09 Jan 2006 14:42:00 GMTunClog is Gary King's technical weblog. http://www.cl-user.net/asp/libs/cl-reversi11619Sun, 08 Jan 2006 15:29:55 GMTImplementation of the game of Reversi. A text-mode interface that should work on any implementation and a CLIM GUI are available. The code is based on that of the program Otello(R) in the book "Paradigms of Artificial Intelligence Programming" by Peter Norvig.http://www.cl-user.net/asp/libs/kytron211608Sun, 08 Jan 2006 15:11:20 GMTSimulation program for KYTRONs in a lunar-like environment. It has a CLIM GUI, and is a CLIM primer and a tutorial on how to write portable applications with a GUI. KYTRONs are small autonomous vehicles that are able to find a light source for recharging their batteries with solar panels. The devices were built by Rudolf Mittelman from 1974 to 1980. http://www.cl-user.net/asp/libs/connect411607Sun, 08 Jan 2006 14:55:35 GMTProgram that plays the Connect 4 game against the user. It has a CLIM GUI.http://www.cl-user.net/asp/libs/loom11333Thu, 05 Jan 2006 20:32:47 GMTLoom is a "language and environment for constructing intelligent applications". It features a knowledge representation system, a deductive engine, and a logic-based pattern matcher.