These last month absence of written production in these parts, I have been taking note of a series of articles, comments on blogs, and other links of various kinds, which have earned my interest in one or other reason, always depending on the subject on which relates or purports to relate this site. This is not an exhaustive list (of everything I've read and I was interested), or ordered with excessive discretion and rigor ... articles, introductions, annotations of "blogs" A taste of Poplog (1) and (2) (on Poplog development environment, in Special Effects). Pythologic - Prolog syntax in Python (in
Lambda the Ultimate). Description Logics in Literate Haskell / SAT 3 with E Prover Proof via OWL (in Lambda the Ultimate). NewLisp: A Better Lisp / Scheme Fusion (newLISP
is a general purpose scripting language for Developing Web Applications and Programs in general and in the domain of Artificial Intelligence (AI)and statistics."; en
Lambda(Kevin Larson - Advanced Reading Technology,
the Ultimate The
Science of Word Recognition
Microsoft Corporation).
Intelligent
library systems: artificial intelligence technology and library automation
systems (Bailey, Jr., Charles W., 1991).
What
is Artificial Intelligence?
Catalogue
of Reference Articles
-
AlanTuring.net of Reference Articles
- ).
Calculus of Logic
- (Por George Boole, 1815-1864, lógico and British mathematician, creator of the first formal system of mathematical logic or symbolic
- called Boolean algebra or algebra of logic , whose scope is the study of logic functions). Does Fit testing fit your Needs? ("I Need to Perform Some acceptance testing on a Prolog parser, Prolog and found some sample text from the engine
- BinProlog That I Could use for the task at hand. To automate the process, I Decided to use Fit because
[...]"; en Through
the blogging-glass ). -
Natural
Language Processing Using Linux ("This article will discuss how to
perform simple textual analysis such as word counts, bigrams and trigrams,
using standard Linux tools. [...]"; en Generation5 ).
- Self-Organizing
Nets ("After a detailed look at supervised networks [...] we should
look at a good example of unsupervised networks. The Kohonen network is
probably the best example, because it is quite simple yet introduces the
concepts of self-organization and unsupervised training easily. [...]";
en Generation5 ).
Cómo NO realizar
una práctica de programación (vía - Ceklog ).
- Functional
Programming in the Real World ("[...] a list of functional programs
applied to real-world tasks.").
- Metadata?
Thesauri? Taxonomies? Topic Maps! (conocido a través del "blog"
K-Utopía ).
A
CLP - + CHR bibliography ("For future reference, here is a list of CLP CHR and related works I? see Been reading in the last weeks. In memoriam of a project I? M Not Going to Pursue anymore. "In Through the blogging-glass ). On Constraint Logic Programming (CLP), see for example the introduction
- Constraint Logic Programming ( BYTE magazine, February 1995 ) or this other , which first made an overview of constraint programming
- . The latest developing SWI-Prolog , supports clp (R): "Beta version of Constraint Logic Programming over Reals library". Por su parte, CHR son las siglas de
- Constraint
Handling Rules : "CHR was designed as a language for defining constraint
solvers, but at the same time it is one of the most powerful multiset rewriting
languages. [...] CHR are a high-level language for concurrent logical systems.
CHR make it easy to define constraint reasoning: simplification and propagation
as well as incremental solving of constraints. [...]" [ fuente ]. -
RDF and
Databases (en - Lambda
the Ultimate ).
- Orientación
a Prolog objects (PDF format , "The possibility of incorporating elements of object oriented paradigm in programming logic seems, a priori, interesting, since it would add the best of both worlds. logic programming languages \u200b\u200bhave always had the advantage of allowing the programmer to focus attention on the problem to be solved in the design of the solution, rather than mechanical the same. The incorporation of objective guidance to help the code reuse, informacióny concealment would also allow a cleaner design solutions. In this paper we study an approach to object orientation in Prolog, that made by the module Objects Prolog SICStus Prolog - of . Shows the main ideas of the module, its syntax and operation to finally present some examples of design using the paradigm. "Moncecchi D. and G. Perovich, 2002). Another example Prolog implementation that supports object oriented programming Ciao Prolog "O'Ciao is a set of libraries Which Allows object-oriented programming in Ciao Prolog. [...]" (source: Reference Manual - Object oriented programming ). Introduction natural deduction (D. Clemente tillage, natural deduction is a set of formal procedures "language of formal logic, whose aim is the demonstration of the correction n of certain reasoning, ie the validity of this reasoning, not his disability, however, "this document is also available PDF format ). web pages and sites : TechBooksForFree.com (Free Programming and Computer Science Books; via Ceklog ). Semantic Web Today.
- Premise.org (selection of links to the field of Artificial Intelligence). Learn Logic (this page deserved one of the second prizes in the contest of the 2003 edition convened by the Ministry of Education and Science through the National Center Comunicació RESEARCH AND n Education -
- CNICE -). Information Retrieval on the Web (Blog dedicated to information retrieval on the Web, focusing not only on the technological aspects of it, news but also strong social impact. "). very good articles and comments written by FJ Martínez Méndez professor at the Faculty of Comunicacióny University Documentation Murcia-with much rigor and readability while about all kinds of topics related to information retrieval techniques, with particular attention on the incidence of these in the web
- environments. View as an example one of the last comments Is "Relevance feedback" an information retrieval technique? .
- Glossary Web Information Retrieval (by Adriana Colino Tomé). Prolog interpreter in Javascript.
(Universitat Pompeu Fabra, also includes several utilities developed with of Google API, tools, map-editor DigiDocMap conceptual-DigiDocMenu-editor-down menu, and DigiDocIndex-indexer and generator of local search-).
- X-Prolog: a type-based system for XML processing in Prolog ( J. Coelho, M. Florido
- . Also these two authors, the paper
- Type-based XML Processing in Logic Programming -in PDF
- - offers an exposition of the operation and application of X-Prolog code in the processing of XML . For its operation you need to install SWI-Prolog and loaded the module libreríao SGML. General purpose, to comment that in Chapter 5 - Using Modules
- - the reference manual of SWI-Prolog, explains how to use external modules. In the case of SGML library predicates needed to process XML compiled when loading the file "sgml.pl" located in the "library" of the installation directory of SWI-Prolog-usual and default "Program Files \\ pl \\" -). Diseñorama ("[...] is a site of tutorials, articles and resources for web designers on standards, accessibility, usability and programming. ").
- Conferences, congresses:
- AIED 2005 - The 12th International Conference on Artificial Intelligence in Education (18-22 July 2005, Amsterdam).
- ECIR'05 - 27th European Conference on Information Retrieval (21-23 March 2005, Santiago de Compostela). 7 ISKO-Spain Congress (6-8 July 2005, Barcelona).
- PADL 05 - Seventh International Symposium on Practical Aspects of Declarative Languages \u200b\u200b(January 10-11 2005, Long Beach, California). Comment finally that my intention is to publish hereafter, and maso least monthly intervals, successive lists of articles, reviews and other text and links that I seem more relevant, directly or indirectly to the matters discussed in general in this blog .
0 comments:
Post a Comment