Where Can I Buy Cake Sparklers

selection of links

Following the practice introduced months ago on this site, then outlines a series of articles, notes, and links diverse, collected in recent weeks (the quotes are quotes taken from the referenced sites):

articles, introductions, annotations of "blogs"

Searching for Logic (in Logic and Language ). This entry relates to the application of the laws of logic to the scope of searches in library catalogs.

Some Experiences in the Use of CAD System for Teaching Artificial Intelligence

(PDF , M. Lezcano, V. Giraldo Valdes in

Mathematical Publications, vol. 6 n º 2. , 1998). CAD = Computer Aided Instruction (CAI English, Computer Aided Instruction

, or Computer-assisted Instruction ). Practical Common Lisp (on the book by Peter Seibel ; on Slashdot

). linguistics and science fiction (by Xavier Riesco Riquelme in Nessus file). "The only literary genre that has dealt with the language itself constantly, at least in recent years, it is known, the so-called science fiction. Not only from the standpoint of theme a novel, but also from the point of view of literary criticism and essays. Many books of the genre usually contain linguistic elements as subsidiary to the central idea.

[...]".

An AI tool for the real world - Knowledge modeling with Protégé (H. Knublauch; in

JavaWorld, June 2003): "While artificial intelligence (AI) is Often Regarded as an exotic playground academic, Tools and Techniques STI Have to Contribute to mature real-world software technology as well. This article introduce

Protégé , arguably The Most Successful open source knowledge-modeling platform. Using Protégé, developers and domain experts build conceptual models dog and Them Knowledge bases and access via an easy-to-use Java API

. The Resulting models dog Implement decision-support systems, software Requirements capture, populate databases, generate Java classes and

UML diagrams, share and reuse domain models, and access the Semantic Web. ".

• logical fallacies and errors . "[...] There are a number of errors that one should avoid when constructing deductive arguments. Some are formal errors of logic [...] other represent misconceptions or attitudes unacceptable. They are known as fallacies, for an argument that is invalidated by a fallacy is said to be "untrue." [...]". Data Structures and Algorithms in Java
(J. Friesen, translated by JA Palos, in Java
• Castilian). An Introduction Expert Systems ( on Artificial Life ). This article includes a description of SIE (Simple Inference Engine) inference engine that allows small developing expert systems, using XML language to store the knowledge base.
• Primer on Vagueness ( S. Shapiro, via LogBlog ): "[...] first on the logical and Philosophical Issues Concerning Vagueness. [...]".
Entropíay amount of information: [
• 1] [2 ] [
3] [4
• ] ("[...] Our purpose is to define two concepts of variables random: informacióny amount of entropy. [...]"; in Uncle Petros ). Pages y sitios web :
  
  
  
  blogic, an interactive
  introduction to logic
(J. David Velleman). "[...]
• blogic
  is an interactive web-based textbook in introductory logic. The textbook
  includes interactive exercises that automatically correct the student's work. [...]".
  
  


• Thea: A Web
  Ontology Language - OWL Parser for [SWI] Prolog : "Thea is a Prolog
  implementation of an OWL parser. [...] uses SWI-Prolog?s Semantic Web library
  for parsing RDF/XML serialisations of OWL documents into RDF triples and
  then it builds a representation of the OWL ontology as it is defined in
  the OWL Web Ontology Language Semantics and Abstract Syntax part of the OWL specification. The OWL ontology is Implemented abstract syntax as Prolog terms. " ACM Transactions on Computational Logic
(toclean). The full text of articles published in volumes appeared so far (1, 2, 3, 4, 5, and 6 years 2000-2005), can be located in PostScript format
• in paragraph Accepted Papers. Mathematics and Computation. As the title expresses a log in English dedicated to these issues.
• LaTeX for Logicians ("A guide to resources of interest to logicians, philosophers
  and others using LaTeX to produce papers or presentations, teaching materials,
  theses or books, and in particular wanting to include logical matter such
  as natural deduction proofs.").
  
  
  Mindswap ("The Semantic
  Web Research Group is a group of people working with Semantic Web technology
  inside the MIND LAB at University of Maryland Institute for Advanced Computer Studies").
  
  


• consequently.org (Sitio
  personal de Greg Restall, Departamento de Filosofía, Universidad de Melbourne).
  
  
  Computational
  Truth ("[...] Peter
  Gerdes 'S blog about philosophy and the occasional bit of Mathematical Logic. [...]"). Conferences, congresses:

Progic 2005 ("Second Workshop on Combining Probability and Logic: Special focus on Objective Bayesianism", Centre for Philosophy of Natural and Social Science, London School of Economics, 6-8 July 2005).

• Library-Centric Software Design LCSD'05 (Workshop to be held in the framework of the conference Object-Oriented Programming, Systems, Languages \u200b\u200band Applications OOPSLA
'05, San Diego, California, 16-20 October 2005): "Libraries Are central to all major scientific, engineering, and business areas, yet the design, Implementation, and use of libraries Are underdeveloped arts. This workshop is one of the first steps in the process of Placing all Aspects of libraries on a sound basis Through Technical and Scientific Research into fundamental Issues of best practices and documentation.
• [...]" A reference to one of the referenced sites (
Mathematics and Computation
• ), I note the simple system in place to provide text content and mathematical symbols ; policy, in effect making use of a JavaScript script called ASCIIMathML , which I will discuss later.