Ciao-users May 2011

ciao-users@cliplab.org

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

Fwd: disjunctive constraints over finite domains
by Maximiliano Klemen 26 May '11

26 May '11

Hello everybody, how could I specify disjunctive constraints using fd package?. For example :- use_package(fd). main:- (D .<.5) .|. (D.>.12). where .|. would be the disjunctive operator. Thanks in advance. -- Maximiliano Klemen Analista en Computación Neuquén - Argentina

1 0

DES 2.3 Released
by fernan＠sip.ucm.es 24 May '11

24 May '11

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 2.3 http://des.sourceforge.net has been launched on May, 24th, 2011, and ported to Ciao Prolog 1.13.0 There have been several improvements in this release, and the major feature is a SQL declarative debugger. Users can debug SQL views from a declarative debugging point-of-view. The system interactively asks questions to the user about relations involved in the computation of the debugged view. In addition, trusted specifications add semantic references are allowed to cut the number of questions down. Another useful feature is the new built-in predicate distinct/1 for discarding duplicates from a multiset answer when duplicates are enabled. In turn, this allows to support DISTINCT and ALL clauses in SQL statements. Moreover, although not directly related to that built-in, Datalog aggregate function and predicates involving distinct computations are provided: count_distinct, avg_distinct, sum_distinct, and times_distinct. As well, SQL statements can use the DISTINCT clause in aggregates. Finally, a first step towards SQL syntax error reporting has been done: undefined tables, views and columns in a SQL statement are reported, and similar existing entries are suggested as alternatives. 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.3 of DES (released on May, 24th, 2011) * Enhancements: o SQL declarative debugger: Users can debug SQL views from a declarative debugging point-of-view. The system interactively asks questions to the user about relations involved in the computation of the debugged view. Trusted specifications add semantic references in order to cut the number of questions down o Added the Datalog tabled metapredicate distinct/1, which computes distinct outcomes for its argument, discarding duplicates. It takes effect when duplicates are enabled via the command /duplicates on o New Datalog functions and predicates for discarding duplicates along aggregation: - Aggregate functions: count_distinct/1, count_distinct/2, avg_distinct/2, sum_distinct/2, and times_distinct/2 - Aggregate predicates: count_distinct/2, count_distinct/3, avg_distinct/3, sum_distinct/3, and times_distinct/3 o Working DISTINCT and ALL keywords in SQL SELECT and UNION statements as of SQL2 standard o Working DISTINCT and ALL keywords in SQL aggregate functions as of SQL2 standard o Display of SQL statements compilations to Datalog, selectable with the new command /show_compilations o Output from shell commands in windows applications are logged o Compact listings can be enabled so that blank lines in the console output are removed o New commands: - /debug_sql View [Options] Debug a SQL view, optionally specifying whether trusting tables or not, selecting a trust file and selecting a traverse order - /show_compilations Display whether compilations from SQL DQL statements to Datalog rules are to be displayed - /show_compilations Switch Enable or disable display of extended information about compilation of SQL DQL statements to Datalog clauses (on or off, resp.) - /compact_listings Display whether compact listings are enabled - /compact_listings Switch Enable or disable compact listings (on or off, resp.) - /nospy SPred[/Arity] Removes the spy point on the given predicate in the host Prolog interpreter (implementor's command) - /debug Set debug mode in the host Prolog interpreter (implementor's command) o Saving the deductive database to a file also includes constraints (type, primary key, functional dependency, foreign key, and user-defined). Restoring a database from file also recovers these constraints o Added option force to command /save_ddb, which avoids asking the user should the file exists already o Added help on output without argument o Datalog predicate symbols and alphanumeric constants containing extended characters do not longer need to be enclosed between quotes o SQL correlated queries are also allowed in comparison operators o Escaped single quotes allowed in SQL strings o SQL syntax error reporting for unknown tables, views and columns. Similar table and view names are provided for the user to choose o Some run-time errors regarding incorrect use of built-ins (e.g., aggregates) are detected earlier during compilation o Improved clpfd library for Ciao port, which allows to support type checking (thanks to Rémy Haemmerlé) o New port to SWI-Prolog 5.10.4 * Changes: o SQL natural joins keep the order of columns in the projection list, as usual in RDBMS implementations * Fixed bugs: o Queries involving equality between nulls at the system prompt were incorrect. Bug introduced in version 2.1 o When requesting help on a keyword which is both a command and a built-in (e.g., log), only help on command was displayed o Some synomys in the help were not displayed o Type error raised when creating SQL views involving TIMES aggregate function o Single quotes inside quoted atoms were allowed o Predicate/Arity specifications in commands did not apply for arities greater than 9 o Removing the compilation of nested applications of outer joins in SQL left some unremoved rules (when submitting SQL queries and droping views) o Some safety warnings during compilation of some aggregate predicates were raised, even avoiding to solve some safe queries o After executing an INSERT, DELETE and UPDATE involving other (nested) SQL statements, the extension table was not cleared (so, an answer entry might occur in the table after finishing the modification statement) o Some incorrect SQL statements involving unexistent columns were not rejected

1 0

rlwrap and cygwin
by Fernando Sáenz Pérez 20 May '11

20 May '11

Hello, Did anyone use rlwrap for ciao under cygwin? If so, hints are welcome. (Yes, I do know that there is otherwise a thing called emacs :-) ) All the best, Fernando -- ============================================================== 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 ==============================================================

1 0

COLA@EPIA 2011 - Last Call for Papers
by Paulo Moura 04 May '11

04 May '11

[apologies for multiple posts; please distribute] ------------------------------------------------- Last 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

1 0

[Lpmas] COLA@EPIA 2011 - Last Call for Papers
by Paulo Moura 04 May '11

04 May '11

1 0

[Lpmas] LPMAS - Deadline Extension
by Son Cao Tran 03 May '11

03 May '11

apologies for multiple posts; please distribute ---- Paper submission: May 20th Notification to authors: June 10th Camera-ready: June 18th LPMAS 2011: International Workshop on Logic Programming and Multi-Agent Systems Date: July 9 or 10, 2011 Location: Lexington, Kentucky http://www.cs.nmsu.edu/~epontell/LPMAS11/ The area of Multi Agent Systems (MAS) has gained popularity, as a viable problem solving paradigm in a variety of domains. MAS are viewed as communities or societies of computing and problem-solving engines that can operate either individually or as part of the society, interacting with both the environment as well as the other engines to achieve their own individual goals and/or joint goals of the society. Research in MAS has expanded to embrace contributions from a variety of communities, including artificial intelligence, natural language processing, distributed computing, and philosophy. Logic, in general, and logic programming, in particular, continue playing an important role in both the modeling as well as the implementation and deployment of MASs. Logic programming offers a powerful paradigm for the construction of individual intelligent agents, enabling the formalization of knowledge, beliefs, goals, and in the development of models and algorithms for several reasoning and problem solving tasks, such as planning and diagnosis. Moreover, logic and logic programming can play a part in the representation of features that are specific to the interactions among agents, such as ability to reason about other agents’ goals and knowledge, communication and communication protocols, negotiation, cooperation and competition, and analysis of agent groups and emergent cooperative behavior. The aim of this workshop is to explore the application of Logic Programming to MAS. The focus of the workshop will be on multi-agent rather than single agent issues, with emphasis on co-operative and conflicting agents, where there could be common and joint goals as well as goals for individual agents. In such contexts, reasoning about other agents' goals and beliefs, communication, negotiation, belief revision and conflict resolution could be essential for the achievement of the goals of the agents. The workshop will provide a forum for presentation of ongoing research and new ideas and initiatives in the area of logic programming support and applications in MAS. As a forum of discussion, we welcome contributions from both established as well as preliminary and ground-breaking new projects. The workshop is designed not only as a venue for discussing current research, but also as an open forum for the identification of promising directions and discussion of possible collaborations among groups with complementary expertise. We plan to include in the program of the workshop a round-table discussion, which we hope will converge on the development of a challenge paper to the LP/MAS community. Topics of interest include (but are not limited to): • Logic programming to formalize agents in MAS, e.g., o Interaction protocols o Negotiation o Argumentation in MAS o Representation of knowledge and beliefs • MAS reasoning tasks in LP, e.g., planning, diagnosis, prediction • Logic programming platforms for MAS • Evaluation and empirical studies of LP-based MAS systems • Investigation of extensions of LP to meet the needs of MAS systems We solicit submissions in the following forms • Technical papers: a technical paper is limited in length to 15 pages; • System paper: a system paper is limited in length to 6 pages and it is aimed at highlighting the features of a MAS system or implemented platform, available for the public to download and use. Both technical papers and system papers are to be prepared using the standard LNCS format (see also http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions should be performed using the Easychair submission site located at: https://www.easychair.org/conferences/?conf=lpmas2011 Papers will be technically reviewed by the workshop program committee. Authors of papers accepted for presentation are expected to register for the workshop and present their work at the event. The proceedings of the workshop will be made available on-line in the Computing Research Repository (CoRR). A special issue of a journal with extended versions of selected submissions will be also considered. Important Dates: Submission Deadline: May 1st, 2011 Notification of Acceptance: May 20th, 2011 Camera-ready Due: June 10th, 2011 Workshop: July 9 or 10, 2011 Chitta Baral, Arizona State University Chiaki Sakama, Wakayama University Joao Leite, New University of Lisbon Francesca Toni, Imperial College Paolo Torroni, University of Bologna Andrea Formisano, University of Perugia Agostino Dovier, University of Udine Gerhard Brewka, University of Leipzig Matteo Baldoni, University of Torino Birna van Riemsdijk, Technical University of Delft _______________________________________________ Lpmas mailing list Lpmas(a)mail.cs.nmsu.edu https://intranet.cs.nmsu.edu/mailman/listinfo/lpmas

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