Ciao-users February 2012

ciao-users@cliplab.org

3 participants
5 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] Possible bug in Ciao's Finite Domain (FD) solver
by ciao＠clip.dia.fi.upm.es 15 Feb '12

15 Feb '12

Thanks for the report. It does seem that a bug has crept in --we are looking into it. Btw, we have integrated lately an alternative finite domains library 'clpfd' (contributed by Emilio Gallego and others). It is in the system repository but we have noticed that it is not being included in the 1.15 snapshot distros. We will include it shortly. The new stable release that we are working on (1.16) will also include it. -- ----------------------- 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

Re: [Ciao-users] Ciao compilation errors
by ciao＠clip.dia.fi.upm.es 14 Feb '12

14 Feb '12

> I have just installed Ciao Development environment for Windows and I am trying > to compile the example of this section of the manual ( I used the CD command > first): http://www.ciaohome.org/Legacy/ciao_html/ciao_4.html#SEC50 > > My error appears when I try to use ?- make_exec(hw,_). I took a screenshot > that I attached to this email. It seems that you do not have write permissions in that directory? In that case either change the permissions or simply copy the examples folder to some other place where you have write permissions and try again. -- ----------------------- 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

Ciao compilation errors
by César Pumar García 13 Feb '12

13 Feb '12

Hello I have just installed Ciao Development environment for Windows and I am trying to compile the example of this section of the manual ( I used the CD command first): http://www.ciaohome.org/Legacy/ciao_html/ciao_4.html#SEC50 My error appears when I try to use ?- make_exec(hw,_). I took a screenshot that I attached to this email. Thanks! ------------- César Pumar García

1 0

Possible bug in Ciao's Finite Domain (FD) solver
by WEBJOSEM＠telefonica.net 13 Feb '12

13 Feb '12

Hi, While doing some experimentation with Ciao's FD solver, I found some unusual and apparently wrong answers. The version I tried was "Ciao 1.15.0-13646: Fri Nov 4 11:40:25 CET 2011" Yo can in fact write constraints like the one below: ?- X.>.12. X attributed '$fd'(X,[[13|67108863]],[]) ? The answer is right (if I understand the notation properly), but the same constraint written backwards does not work: ?- 12.<.X. X attributed '$fd'(X,[],[]) ? This seems to mean something like "There is no solution for X", which is wrong (although Ciao still responds "yes" for this case). In general, any constraint written as <constant> .op. <free var> will suffer the same problem. Was this problem known?. If so, is there any correction for it?. Thanks. Kind regards, Jose

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 February 2012