Ciao-users April 2010

ciao-users@cliplab.org

5 participants
5 discussions

Extended Deadline: CFP for COmputational Logic and Applications (COLA'2009)
by Fernando Silva 22 Apr '10

22 Apr '10

Please note that the deadline was extended to the 29th of April 2009. Final Call for Papers: COLA'2009 (part of EPIA'2009) ======================================================================== ï»¿EPIA 2009 - 14th PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE October 12-15, Universidade de Aveiro, Aveiro, Portugal http://epia2009.appia.pt/ COLA - COmputational Logic with Applications (Thematic Track) ======================================================================== The integration of new complex 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 2009 covers the broad area of Computational Logic and its applications, with special interest on topics related with new formalisms, environments, and applications. A list of non-exhaustive topics is: - 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: 29 April, 2009 Notification of paper acceptance: 31 May, 2009 Conference dates: 12-15 October, 2009 INSTRUCTIONS FOR SUBMISSION: All papers should be submitted in PDF format through the conference management website at: https://cmt.research.microsoft.com/EPIA2009 Submitted papers have a maximum length of 12 pages and should have been prepared according to the formatting instructions of Springer LNAI series. The best accepted papers (the number is decided by EPIA Chairs) will appear in the proceedings published by Springer in the LNAI series. The remaining accepted papers and posters will be published in a local edition, both in hard-copy, CD-ROM and on the web. ORGANIZING COMMITTEE Carlos Viegas DamÃ¡sio, Universidade Nova de Lisboa, Portugal Fernando Silva, Universidade do Porto, Portugal PROGRAM COMMITTEE Bart Demoen, K. University of Leuven, Belgium David Warren, University of Stony Brook, USA Enrico Pontelli, New Mexico State University, USA Frank Pfenning, Carnegie-Mellon University, USA Gopal Gupta, University of Texas at Dallas, USA Gregory Wheeler, CENTRIA - Universidade Nova de Lisboa, Portugal Grigoris Antoniou, FORTH and University of Crete, Greece InÃªs Dutra, Universidade do Porto, Portugal JosÃ© JÃºlio Alferes, Universidade Nova de Lisboa, Portugal. Manuel Ojeda Aciego, Universidad de MÃ¡laga, Spain Nuno Silva, ISEP, Portugal Pascal Hitzler, University of Karlsruhe (TH), Germany Paulo Gomes, Universidade de Coimbra, Portugal Priscila M.V. Lima, Federal University of Rio de Janeiro, Brazil Salvador Abreu, Universidade de Ãvora, Portugal Terrance Swift, CENTRIA - Universidade Nova de Lisboa, Portugal Umberto Straccia, ISTI, CNR, Italy VÃtor Santos Costa, Universidade do Porto, Portugal For more information about the EPIA 2009 conference visit http://epia2009.appia.pt/ ======================================= Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Re: Distributed Databases?
by ciao＠clip.dia.fi.upm.es 20 Apr '10

20 Apr '10

> I'm new to this community but very interested in Ciao. I was > wondering if there has been any existing work on using Prolog as a > distributed database system like Riak or memcached but with support > for powerful logic-based queries. I am personally not aware of work that aims exactly at that (the distributed hash table library in Ciao is a related example, though, but perhaps not with the power you have in mind), but indeed with the bits and pieces available, which you mention below it would not be hard at all to do, and quite interesting! > I see pretty good documentation on persistent predicate databases > (backed by either files or SQL databases). Active modules look like > they could be used to facilitate communication between nodes in a > distributed cluster. There are also concurrent and distributed execution primitives which can be used. Cheers --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 ----------------------------------------------------------------------------- ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Call for Tool Papers - Deadline Reminder: Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010
by Laura Kovacs 20 Apr '10

20 Apr '10

[Please post - apologies for multiple copies.] Call for Tool Papers, Case Studies -------------------------- W I N G 2010 - DEADLINE REMINDER 3nd International Workshop on INvariant Generation -------------------------- July 21, 2010 University of Edinburgh, UK Satellite Workshop of FLoC 2010 http://research.microsoft.com/en-us/events/wing2010/ Important Dates --------------- April 23, 2010: Abstract submission deadline April 27, 2010: Notification of acceptance July 21, 2010: WING 2010 in Edinburgh, UK Submission ---------- Submissions need not be original. Extended versions of submissions may be submitted concurrently with or after WING 2010 to another conference or a journal. Submission is via EasyChair: https://www.easychair.org/?conf=wing2010 by selecting the "Tools and Case studies" submission category. Please submit a ONE-PAGE abstract in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip Keynote Speakers ---------------- Sumit Gulwani (Microsoft Research, US) Helmut Seidl (Technical University of Munich, Germany) ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

Distributed Databases?
by Eli Fox-Epstein 16 Apr '10

16 Apr '10

Hello Ciao mailing list, I'm new to this community but very interested in Ciao. I was wondering if there has been any existing work on using Prolog as a distributed database system like Riak or memcached but with support for powerful logic-based queries. I see pretty good documentation on persistent predicate databases (backed by either files or SQL databases). Active modules look like they could be used to facilitate communication between nodes in a distributed cluster. Does anyone know of any work in this area? Thanks for your time, Eli ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

FLoC 2010: Student Travel Grants
by Nicole Schweikardt 16 Apr '10

16 Apr '10

FLoC 2010: Student Travel Grants The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh, Scotland, U.K., on July 9-21, 2010. See http://www.floc-conference.org/. FLoC'10 promises to be the premier scientific meeting in computational logic in 2010. The following conferences will participate in FLoC: - CAV 2010: Int'l Conference on Computer-Aided Verification - CSF 2010: IEEE Computer Security Foundations Symposium - ICLP 2010: Int'l Conference on Logic Programming - IJCAR 2010: Int'l Joint Conference on Automated Reasoning - ITP 2010: Int'l Conference on Interactive Theorem Proving - LICS 2010: IEEE Symposium on Logic in Computer Science - RTA 2010: Int'l Conference on Rewriting Techniques and Applications - SAT 2010: Int'l Conference on Theory and Applications of Satisfiability Testing The eight major conferences will be accompanied by more than fifty workshops and other affiliated events. FLoC has received funds to provide travel grants of up to $750 for student participants of FLoC'10. Funds can be requested to cover airfare and lodging. We expect to award about 100 grants. Application deadline is May 3, 2010. Application form is available at http://www.floc-conference.org/floc-student-grants.html/. ---------------------- You are subscribed to the FLoC 2010 mailing list. To unsubscribe please send an email to majordomo(a)informatik.uni-frankfurt.de with the keywords unsubscribe floc2010 in the message body. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

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 April 2010