Ciao-users March 2011

ciao-users@cliplab.org

3 participants
3 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

DES 2.2 Released
by fernan＠sip.ucm.es 24 Mar '11

24 Mar '11

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 2.2 http://des.sourceforge.net has been launched on March, 24th, 2011, and ported to Ciao Prolog 1.13.0 There have been several improvements in this release but not a major feature. For instance, a new type inferencing system has been added, which now allows users to impose type constraints on intensional predicates, not only in extensional ones as in previous version. As well, type inference precision has been upgraded by adding constraint solving in the inference process. To ease type declarations, a new syntax is provided, which coexists with the original. ODBC connections have been revisited, upgraded and tested against other DBMSs and databases, as Oracle and SQL Server. In particular, access to spatial databases has been successful. New ports have been provided (replacing the old ones) to SICStus Prolog 4.2.0 and Ciao Prolog 1.13.0, which includes a brand new unreleased CLP(FD) library and has been tested on Windows 7 (former version 1.10p5 does not work on such OS). Help system has been refactorized and commands to ask for help on specific topics are provided. Built-in Prolog DCG expansion has been replaced with an explicit translation to avoid target system differences. 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.2 of DES (released on March, 24th, 2011) * Enhancements: o Type constraints can be imposed and checked on intensional predicates, not only on extensional ones o Improved type inference precision o Propositional relations can also be typed o Datalog type char added o Added alternative syntax for Datalog type constraints: :- type(pred(col1:type1,...,coln:typen)) and :- type(pred(type1,...,coln)) o Added Oracle predefined 'dual' table o Added FROM-less SQL SELECT statements o Help system refactoring o New commands: - /help Keyword Display detailed help about command Keyword - /apropos Keyword Synonym for /help Keyword - /prolog_system Display the underlying Prolog engine version o Formatted ODBC error messages o From the Datalog input, ALTER, USE and CREATE TABLE SQL statements are also automatically sent to the opened ODBC datatabase, if a connection is already opened o Added warning for undeclared predicates occurring in basic queries (i.e., those predicates which have not been provided with either a defining rule or a type declaration) o When executing a query in development mode, its compilation is displayed o Multi-line remarks are allowed at the system prompt o Developer commands are now available in Ciao source distribution o New port to Ciao Prolog 1.13.0. Includes unreleased all-new clpfd library. This port replaces the old port to version 1.10p5 o New port to SICStus Prolog 4.2.0, which includes enhanced and fixed ODBC library. Former limitations of DES w.r.t. this port are removed o In the context of an opened ODBC connection, predicate dependency graph and stratification are computed from the relational database schema, instead of querying each table and view. Computing the deductive database part does not change o More robust handling of ODBC exceptions o SIGINT interrupt signal is catched in SWI-Prolog version so that users can now interrupt DES (Ctrl-C usual keyboard interrupt) o SQL Server ODBC connections tested on spatial databases * Changes: o Built-in Prolog DCG expansion replaced with an explicit translation, which can now be found in des_dcg.pl. This file is an adaptation of Ciao's dcg_expansion.pl. It works with all supported Prolog systems but GNU Prolog 1.3.1, which does not provide term expansion o A singleton anonymous variable denoted by an underscore in listings is displayed with an underscore. Up to version 2.1, it was given a name with letters, starting with A o Instantiation error exceptions coming from code implementing DES are now displayed (only useful for DES implementors) o Some program simplifications related to equalities have been omitted for the sake of type inferencing. This involves different source-to-source translations during query evaluation o Built-in is/2 is translated into =/2 at compilation-time when its right argument is already evaluated o Removed input error message from attempting to add types in the context of an opened ODBC connection * Fixed bugs: o Unsafety was not reported for anonymous variables (as, e.g., asserting the rule p(_)) o Negation involving an aggregate or outer join predicate with atom syntactic form was not transformed (e.g., not(count(p,0))) o Changing some system flags in no verbose mode displayed an info message o Datalog types char(N) and varchar(N) were not parsed o Some Datalog queries with duplicates enabled and an opened ODBC connection were incomplete in some special cases where rule identifiers collided o Log recording upon exceptions repeated previous lines in some keyboard inputs o Predicate dependency graph and stratification was not computed when closing an ODBC connection o Some calls to predicates resulting from translating SQL queries involving disjunctions were incorrectly built, as in select * from t where a=1 or b=1

1 0

Implementation of TCP / IP for the Windows in ciao prolog
by koziolwojciech 09 Mar '11

09 Mar '11

Hi, I have a question. Can I use the library use_module (library (sockets)) on Windows? If not, how to implement a TCP/IP in the prolog ciao for Windows. Wojciech Kozioł

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 March 2011