Ciao-users April 2011

ciao-users@cliplab.org

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

[Lpmas] Call for Papers -- LPMAS
by Son Cao Tran 27 Apr '11

27 Apr '11

apologies for multiple posts; please distribute ---- We are one week away from the deadline 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

CICLOPS 2011 - Last Call for Papers
by Salvador Abreu 16 Apr '11

16 Apr '11

[apologies for multiple postings] Call for Papers ------------------------------ CICLOPS 2011 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems http://www.di.uevora.pt/~spa/ciclops11/ ------------------------------ Co-located with ICLP 2011, Lexington, Kentucky, USA ------------------------------ Important Dates Submission deadline: April 30, 2011 (*EXTENDED*) Notification of authors: May 20, 2011 Camera-ready copy due: May 28, 2011 Workshop dates: Sunday July 10, 2011 ------------------------------ Topics of interest This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: - Sequential implementation schemes (abstract machines, translation to other languages, etc.). - Implementation of concurrent and distributed logic and constraint programming systems. - Implementation of type inference and type checking systems for logic and constraint programming languages. - Compile-time analysis and its application to code generation. - Balance between compile-time effort and run-time machinery, dynamic compilation. - Interaction between high-level optimizations / transformations / specialization and low-level issues. - Memory management and garbage collection issues. - Indexing techniques and optimizations for large size programs. - Optimizations for program generated logic and constraint programs. - Implementation of logic engines in functional and object oriented languages. - Embedding of logic and constraint programming engines in multi-paradigm systems. - Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). - Implementation of theorem provers, proof assistants and logic based natural language processing systems. - Implementation of object and agent-oriented extensions to logic and constraint programming languages. - Object and module systems. - Design and implementation of declarative I/O concepts for logic and constraint programming languages. - Implementations and ports of logic and constraint programming systems for mobile phones and netbooks. - Documenting, debugging, testing, and profiling tools for logic and constraint programming systems. ------------------------------ Workshop Goals Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. The workshop will feature an invited presentation, to be announced. ------------------------------ History CICLOPS'11 continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (2001), Copenhagen (2002), Mumbai (2003), Saint Malo (2004), Sitges (2005), Seattle (2006), Porto (2007), Udine (2008), Pasadena (2009), Edinburgh (2010) - together with WLPE. ------------------------------ Submission Information Authors are invited to submit PDF files of papers written in English and not exceeding 15 pages using LNCS LaTeX format. Submissions are handled by the EasyChair system at the URL http://www.easychair.org/conferences/?conf=ciclops11. ------------------------------ Program Committee Bart Demoen (Katholieke Universiteit Leuven, Belgium) Daniel Diaz (Université de Paris-I, France) Enrico Pontelli (New Mexico State University, USA) Gopal Gupta (University of Texas at Dallas, USA) Jan Wielemaker (University of Amsterdam, The Netherlands) Kostis Sagonas (National Technical University of Athens, Greece) Manuel Carro (Technical University of Madrid, Spain) Mats Carlsson (Swedish Institute of Computer Science, Sweden) Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany) Neng-Fa Zhou (Brooklyn College, USA) Paulo Moura (CRACS - INESC Porto and University of Beira Interior, Portugal) Paul Tarau (University of North Texas, USA) Peter Szeredi (Budapest University of Technology and Economics, Hungary) Salvador Abreu (Universidade de Évora, Portugal) Terrance Swift (CENTRIA, USA/Portugal) Ulrich Neumerkel (Vienna University of Technology, Austria) Vitor Santos Costa (Universidade do Porto, Portugal) ------------------------------ Workshop Coordinators Salvador Abreu (Universidade de Évora, Portugal) Vitor Santos Costa (Universidade do Porto, Portugal) ------------------------------ Proceedings We plan for the informal workshop proceedings to be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference.

1 0

Problems installing Ciao in mac
by Ester Serra Palacios 09 Apr '11

09 Apr '11

When I typ make install it says the following: $make install.bat cat: /usr/local/bin//version/GlobalVersion: No such file or directory cat: /usr/local/bin//version/GlobalPatch: No such file or directory SHARED:38: /usr/local/bin//makefile-sysindep: No such file or directory Makefile:48: /mkf-: No such file or directory make: *** No rule to make target `/mkf-'. Stop. Then I go settings and I try to change the directory, but it doesn't matter it continues telling me the same problem. What I have to do? I've read the install document and in this case it's not really useful. I have a mac OS X Snow Leopard and GNU make is installed, I reinstalled it after having this problems. Thank you Thank you Ester Serra Palacios dun_adan(a)hotmail.com

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 2011