Ciao-users September 2011

ciao-users@cliplab.org

3 participants
6 discussions

CFP: COLA@EPIA 2011
by Paulo Moura 27 Apr '12

27 Apr '12

[apologies for multiple posts; please distribute] ------------------------------------------------- First Call for Papers EPIA 2011 - 15th Portuguese Conference on Artificial Intelligence Thematic Track: COLA - COmputational Logic with Applications October 10-13 Universidade de Lisboa, Portugal http://epia2011.appia.pt/ == Overview == The development of sophisticated intelligent systems requires more and more sound and appropriate foundations and tools, resulting in new problems and challenges for the computational logic practitioners. Computational logic has been widely used in complex applications in important areas such as the Deductive Databases, Natural Language Processing and Program Analysis, and more recently on the Semantic Web and related Web Tools. These novel applications have exposed the limits of existing approaches, showing the need for research on better languages and more sophisticated implementations of reasoning systems. The COLA thematic track of EPIA 2011 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, languages, tools, and applications. A non-exhaustive list of topics follows: - Logic based knowledge representation and applications - Declarative semantics of rule languages and applications - Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling - Implementation of reasoning systems, in particular logic programming, contextual logic programming, and tabling systems - Abductive and Inductive Logic Programming - Ontologies, Description Logics and integration with reasoning systems - Reasoning with incomplete and uncertain information, including non-monotonic reasoning as well as probabilistic and fuzzy logic programming formalisms - Reasoning on the Semantic Web - Applications: Deductive Databases, Data Integration, Natural Language, Semantic Web, and Web Tools == Important Dates == Deadline for paper submission: May 10, 2011 Notification of paper acceptance: June 10, 2011 Camera-ready papers: July 1, 2011 Conference dates: October 10-13, 2011 == Submission Guidelines == All papers should be submitted through the conference management website at: http://www.easychair.org/conferences/?conf=epia2011 Papers should not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors. Papers must be submitted in PDF (Adobe's Portable Document Format) format and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. At least one author of each accepted paper must register for the conference. More information about the Springer's Lecture Notes in Computer Science (LNCS) are available on the Springer LNCS Web site http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The best papers (the exact number is decided by the EPIA Chairs) will appear in the proceedings published by Springer in the LNAI series. The remaining accepted papers will be published in a venue TBA. == Organizing Committee == Paulo Moura, Universidade da Beira Interior, Portugal Vitor Nogueira, Universidade de Évora, Portugal == Program Committee == Angelika Kimmig, K. University of Leuven, Belgium Axel Pollers, National University of Ireland, Ireland Bart Demoen, K. University of Leuven, Belgium Daniel Diaz, University of Paris 1, France David Warren, University of Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Gopal Gupta, University of Texas at Dallas, USA Joachim Schimpf, Monash University, Australia João Leite, CENTRIA and Universidade Nova de Lisboa, Portugal José Alferes, CENTRIA and Universidade Nova de Lisboa, Portugal Paulo Gomes, Universidade de Coimbra, Portugal Peter Robinson, University of Queensland, Australia Roberto Bagnara, University of Parma, Italy Salvador Abreu, Universidade de Évora, Portugal Vítor Costa, Universidade do Porto, Portugal == Contact Information == cola2011(a)di.uevora.pt ----------------------------------------------------------------- Paulo Jorge Lopes de Moura, PhD Assistant Professor Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal Office 3.18 Ext. 3276 Phone: +351 275319891 Fax: +351 275319899 Email: <mailto:pmoura(a)di.ubi.pt> Home page: <http://www.di.ubi.pt/~pmoura> Research: <http://logtalk.org/> Blog: <http://blog.logtalk.org/> -----------------------------------------------------------------

4 4

Re: [Ciao-users] Installing Ciao on Mac OSX 10.6 (Snow Leopard)
by David Harris 26 Sep '11

26 Sep '11

The install box is labelled CiaoDE-1.14.2-13646.pkg. On 23/09/11 8:58 PM, "ciao(a)clip.dia.fi.upm.es" <ciao(a)clip.dia.fi.upm.es> wrote: The Ciao Mac installer currently installs in /opt/local (similarly to other compilers). Uninstallation is done with the Uninstall script that comes with the installer. You can also install and uninstall from source of course. In any case the uninstaller that comes with the installer should not hang of course. Are you installing 1.14 or 1.15? --MH

1 0

Re: [Ciao-users] Installing Ciao on Mac OSX 10.6 (Snow Leopard)
by ciao＠clip.dia.fi.upm.es 23 Sep '11

23 Sep '11

The Ciao Mac installer currently installs in /opt/local (similarly to other compilers). Uninstallation is done with the Uninstall script that comes with the installer. You can also install and uninstall from source of course. In any case the uninstaller that comes with the installer should not hang of course. Are you installing 1.14 or 1.15? --MH -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

Installing Ciao on Mac OSX 10.6 (Snow Leopard)
by David Harris 22 Sep '11

22 Sep '11

I downloaded Ciao for Mac OSX Snow Leopard. The install seemed to be OK and gave the message that install was successful, but the program is not in the Applications folder and I can¹t find it anywhere. I tried to Uninstall it, but the uninstall simply timed out. Anyone else find this problem? David Harris

1 0

Windows installer issues
by ciao＠clip.dia.fi.upm.es 18 Sep '11

18 Sep '11

Some Ciao users have recently reported problems with the Ciao windows installer. We have determined that, due to what we assume are recent changes in Windows security, normal users, even if with administrator privileges, are not allowed any more to perform certain operations which are necessary for the installation of many packages, such as updating registry entries. Unfortunately, instead of issuing an error the registry update operation simply fails silently. This is currently affecting GNU Emacs, Ciao, and a number of other packages. The solution, at least for now, is to run the installers as administrator. We have added the following note in the distribution/download pages: Note for Windows users: the setup program must be executed as Administrator. To do this save it first (do not execute it directly), go to the directory where the file was downloaded, right-click over the file, select Run as administrator (in Windows XP, Run as... and then select the user Administrator), and follow the instructions that appear on the screen. Please remember to follow these instructions for Windows installations. Independently of this we are working currently on a number of improvements to the Ciao Windows installer. Some of them are already incorporated in the Windows installers for the Development version (http://ciaohome.org/download_latest.html) which you may want to try. -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | IMDEA Software Institute http://www.ciaohome.org / http://www.cliplab.org -----------------------------------------------------------------------------

1 0

DES 2.5 Released
by fernan＠sip.ucm.es 13 Sep '11

13 Sep '11

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 2.5 http://des.sourceforge.net has been launched on September, 13th, 2011, and ported to Ciao Prolog 1.14.2 Current version introduces a textual API (Textual Application Programming Interface) for its communication with external applications, rather than providing a Prolog underlying system dependent API. It can used via standard input and output streams, as provided by the OS. Input syntax is as of DES, whereas answers follow a concrete format for easing their parsing. Several existing commands, statements and queries can be processed via this interface. As well, a couple of new SQL statements for renaming tables and views and a bundle of new commands are provided and supported for this interface. New SQL constraints have been added: existency and candidate keys. Type inferencing has been added to SQL DQL queries, in addition to the already supported DDL queries. Syntax error reportings and hints have been upgraded. Also, new ports to new versions of supported Prolog systems have been provided. A complete list of enhancements, changes and fixed bugs is attached to the end of this message. Please, see http://des.sourceforge.net for details. Best regards. ============================================================== Fernando Saenz Perez Profesor Titular de Universidad / Associate Professor Home Page: http://www.fdi.ucm.es/profesor/fernan Tel: + 34 913947642. Fax: + 34 913947547 Despacho / Office: 435 (4ª planta / 4th floor) Dept. Ingenieria del Software e Inteligencia Artificial / Department of Software Engineering and Artificial Intelligence Universidad Complutense de Madrid Facultad de Informatica C/Profesor Jose Garcia Santesmases, s/n E - 28040 Madrid. Spain ============================================================== Version 2.5 of DES (released on September, 13th, 2011) * Enhancements: o A textual API for connecting DES with external systems. Several commands and queries can be read and answered using standard streams. Currently, TAPI-enabled queries and commands are those listed in Section 5.12, which are needed to interface database schemas and data to ACIDE [Sae07]. Queries include SQL DDL, DML, and DQL statements. Datalog constraint assertions and deletions are also supported o New Datalog (strong) integrity constraints: candidate key (uniqueness) and existency (forbid nulls) integrity constraints. Commands /save_ddb and /restore_ddb apply for such new constraints o Support for UNIQUE and NOT NULL column and table constraints in SQL CREATE TABLE statements o Added support to specify column names in SQL INSERT INTO statements o Nulls are no longer allowed in primary key columns o Type inferencing added to SQL DQL queries, in addition to the already supported DDL queries o Added type mismatch report error for ill-typed SQL statements o Answers from SQL queries are annotated with their inferred types o Limited-length types are also inferred for views and queries o Types returned by ODBC connections are labelled with their lengths o Tables and views are sorted in the result of command /dbschema o Column names are ordered in predefined integrity constraint displays o Enhanced SQL syntax error reporting for built-ins used as table and column identifiers o SQL syntax error reporting for unknown columns includes hints about similar column names, in addition to the already hints about table and view names o Commands involving table, view or relation names which are not defined provide hints o Hints on alternative names also include names with swapped characters o Trying to use a built-in symbol as a user identifier in a SQL statement is warned as a syntax error o Simplified error messages o Extension table is not cleared when enabling duplicates. Instead, complete flag is reset, avoiding much recomputation o New non-standard SQL statements RENAME TABLE and RENAME VIEW o New commands: - /tapi Input Process Input and format its output for TAPI communication. - /test_tapi Test the current TAPI connection. TAPI enabled - /drop_ic Constraint Drop the specified integrity constraint, which starts with ":-" - /dependent_relations Relation Display the names of relations that depend on relation Relation. TAPI enabled - /dependent_relations Relation/Arity Display in format Name/Arity those relations that depend on relation Relation/Arity. TAPI enabled - /is_empty relation_name Display $true if the given relation is empty, and $false otherwise TAPI enabled - /list_table_constraints table_name List table constraints for table_name. TAPI enabled - /list_table_schemas List table schemas. TAPI enabled - /list_view_schemas List view schemas. TAPI enabled - /referenced_relations Relation Display the name of relations that are directly referenced by a foreign key in relation Relation. TAPI enabled - /referenced_relations Relation/Arity Display in format Name/Arity those relations that are directly referenced by a foreign key in relation Relation/Arity. TAPI enabled - /relation_exists relation_name Display $true if the given relation exists, and $false otherwise. TAPI enabled - /relation_schema relation_name Display relation schema of relation_name. TAPI enabled - /sql_left_delimiter Display the SQL left delimiter as defined by the current database manager (either DES or the external DBMS via ODBC) . TAPI enabled - /sql_right_delimiter Display the SQL right delimiter as defined by the current database manager (either DES or the external DBMS via ODBC) . TAPI enabled o New port to SWI-Prolog 5.10.5 o New port to Ciao Prolog 1.14.2 * Changes: o Identifier delimiters in output messages have been changed from [ and ] to " o Either by consulting a file, or by dropping the database, or by abolishing the complete database imply to completely reset the database (Datalog rules, tables, views and constraint definitions are removed) * Fixed bugs: o When enabling duplicates without clearing extension table, some duplicates were lost. Bug introduced in version 2.4 o Datalog queries to ODBC connections failed when involving ground or aliased arguments o Some foreign key constraint were not properly checked against database before posting o Comma-separated arguments in commands were not always correctly parsed. In particular, this affected to consulting more than one file at a time o Command /dbschema did not always show all integrity constraints o Command /save_ddb incorrectly quoted ending dots in constraints o User-defined integrity constraints are syntactically identified (including variable names), therefore avoiding ambiguity for unifiable constraints o Several SQL delimited columns in the same statement were not correctly parsed o Creating an incorrect SQL view dealt to a table with the same name. Bug introduced in version 2.4 o Most user-defined integrity constraints were not correctly parsed from files o When restoring the database, not all strong integrity constraints were removed o Write option in command log was not parsed

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users September 2011