Ciao-users

ciao-users@cliplab.org

948 discussions

Request about Fuzzy Prolog
by paolo.preite＠tiscali.it 04 Apr '05

04 Apr '05

Hi, i'm working with Ciao Prolog for my thesis. I'm trying to apply the fuzzy theory to constraint programming. I would want to know if with Ciao Prolog is possible to define fuzzy numbers in input. For example: we suppose that we have some objects that they have a name, a volume and e value in ?. I have defined a list of object: [object('Name1',3,50),object('Name2',12,40),...] where 3 is the volume and 50 the value in ?. If i don't know the ? value but i know that the object 'Name1' has a value between 40 and 60 ?, i would want to express this uncertainty with fuzzy numbers. There is a way in order to make this with Hello? Thank you very much, Paolo. __________________________________________________________________ Tiscali Adsl 3 Mega Flat con 3 MESI GRATIS! Con Tiscali Adsl 3 Mega Flat navighi con la Supervelocita' a soli 29.95 euro al mese, senza limiti di tempo. E se attivi entro il 15 Aprile, 3 MESI sono GRATIS! Scopri come risparmiare navicando veloce, su http://abbonati.tiscali.it/adsl/sa/2flat_tc/ ============================================================================== 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: Arithmetic Bug?
by Richard A. O'Keefe 01 Apr '05

01 Apr '05

Emilio =?ISO-8859-1?Q?Jes=FAs?= Gallego Arias wrote: I think it's not a bug in CIAO, try: ?- Y is 1 mod 8.0. Y = 9 ? ; That is DEFINITELY a bug. There are two sensible things to do with <integer> mod <float>. (A) Complain about it, perhaps by signalling a type error exception. (B) Give the right answer. As you can see, you're using a integer operator (mod) with real numbers. When used with integers, it gives the correct answer, but I believe mod has an undefined value when used with reals. Not true in mathematics, and not true in IEEE arithmetic. In mathematics, all we want is x mod y = /* Knuth's extension */ if y = 0 then x else floor(x/y) and y = 0 and floor(x/y) are perfectly well defined when x and y are any mix of integers, rationals, and floats. The IEEE remainder() function is a little quirky; if I understand the history correctly it's meant for range reduction in trig functions. double remainder(double x, double y) returns r = x - ny when y is non-zero, where n is round-to-nearest-integer(x/y), the division being *exact*. If x/y is exactly half-way between two integers, the even one is chosen for n. If x or y is NaN or |x| is Inf or y is 0, the result is NaN. The result doesn't depend on the rounding mode in effect, because it is defined in terms of the *exact* quotient. However, with a little glue code you get something that acts like mod does for integers. There is also the standard C function fmod(). ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Arithmetic Bug?
by Amoss 31 Mar '05

31 Mar '05

Hi Guys, This may be a bug (or it may already be fixed), I'm using a slightly older version of ciao and I can't login to a machine with the up to date release at the moment. Apologies if this has already been fixed (Is there a web searchable archive of this list somewhere?) Easy to reproduce; ?- X is (2**3). X = 8.0 ? ; no ?- X is 1 mod 8. X = 1 ? ; no ?- X is 1 mod (2**3). X = 9 ? ; no I'm fairly confident that 1%8 isn't 9... ;^) Amoss ============================================================================== 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/ -----------------------------------------------------------------------------

3 2

ICLP 2005: Call for Papers
by ICLP 2005 31 Mar '05

31 Mar '05

------------------------------------------- Apologies if you receive multiple copies ------------------------------------------- Preliminary Call for Papers ------------------------------------------------------------ Twenty first International Conference on Logic Programming ICLP'05 2-5 October, 2004 Sitges (Barcelona) Spain Co-located with the International Conference on Principles and Practice of Constraint Programming (CP'05) ------------------------------------------------------------ http://www.iiia.csic.es/iclp2005/ The Conference -------------- The 21st International Conference on Logic Programming will be held near Barcelona (Spain) from October 2nd to October 5th, 2005. ICLP'05 will be colocated with the International Conference on Principles and Practice of Constraint Programming (CP'05). Conference scope ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory Implementation Semantic Foundations Compilation Formalisms Memory Management Nonmonotonic Reasoning Virtual Machines Knowledge Representation Parallelism Environments Alternative Paradigms Program Analysis Constraint Logic Programming Program Transformation Abductive Logic Programming Validation and Verification Inductive Logic Programming Debugging, Profiling Answer Set Programming Language Issues Applications Concurrency Semantic Web Objects Software Engineering Coordination Web Tools Mobility Internet Agents Higher Order Artificial Intelligence Types Deductive Databases Modes Natural Language Programming Techniques Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. Papers ------- Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page (http://www.springer.de/comp/lncs/index.html). Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Industrial Papers ----------------- A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter,(up to) 10 pages papers. Posters ------- Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Doctoral Student Consortium --------------------------- The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. Publication ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. Sponsoring and prizes --------------------- The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper. Important dates --------------- POSTERS PAPERS Abstract submission deadline: 30 April Submission deadline: 1 June 6 May Notification of authors: 1 July 24 June Camera-ready copy due: 15 July 15 July Organization ------------ Conference Co-Chairs: Pedro Meseguer (IIIA-CSIC, Spain) Javier Larrosa (Technical University of Catalonia, Spain) Program Co-Chairs: Maurizio Gabbrielli (University of Bologna, Italy) Gopal Gupta (University of Texas at Dallas, USA) Workshop Chair: Hai-Feng Guo (University of Nebraska at Omaha, USA) Doctoral Consortium Chair: Enrico Pontelli (New Mexico State University, USA) Publicity Chair: Felip Manya (IIIA-CSIC, Spain) Program Committee: Roberto Bagnara University of Parma, Italy Maurice Bruynooghe KU Leuven, Belgium Giorgio Delzanno University of Genova, Italy Stefan Decker Digital Enterprise Research Institute, Ireland Thom Fruehwirth University of Ulm, Germany Maurizio Gabbrielli University of Bologna, Italy (Program Co-Chair) Gopal Gupta University of Texas at Dallas, USA (Program Co-Chair) Patricia Hill University of Leeds, UK Joxan Jaffar University of Singapore, Singapore Bharat Jayaraman SUNY Buffalo, USA Javier Larrosa Technical University of Catalonia, Spain (Conference Co-Chair) Michael Leuschel University of Dusseldorf, Germany Massimo Marchiori University of Venice, Italy and W3C, MIT, USA Pedro Meseguer IIIA-CSIC, Spain (Conference Co-Chair) Juan J. Moreno Navarro Technical University of Madrid, Spain Gopalan Nadathur University of Minnesota, USA Ilkka Niemela Helsinki U. of Tech. Finland Catuscia Palamidessi INRIA, France Enrico Pontelli New Mexico State Univeristy, USA I.V. Ramakrishnan SUNY Stony Brook, USA Vitor Santos Costa Federal U. of Rio de Janeiro, Brazil Harald Sondergaard University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Frank Valencia University of Uppsala, Sweden Contact addresses ----------------- Conference Chairs: Pedro Meseguer Javier Larrosa IIIA-CSIC Dep. LSI, UPC Campus UAB Jordi Girona 1-3 08193 Bellaterra, Spain 08034 Barcelona, Spain Program Co-chairs: iclp05-chairs(a)cs.unibo.it Maurizio Gabbrielli Gopal Gupta Department of Computer Science Department of Computer Sciences MS EC31 University of Bologna The University of Texas at Dallas Mura A. Zamboni 7 2601 N. Floyd Rd 40127 Bologna, Italy Richardson, TX 78050, USA ============================================================================== 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

ICLP 2005: Call for Workshops
by ICLP 2005 28 Mar '05

28 Mar '05

*** CALL FOR WORKSHOP PROPOSALS *** ICLP'05 Twenty First International Conference on Logic Programming October 2-5, 2005 Sitges (Barcelona) Spain URL: http://www.iiia.csic.es/iclp2005/ ICLP'05, the 21st International Conference on Logic Programming, will be held in Sitges(Barcelona), Spain, from October 2 to October 5, 2005. We plan to have several workshops in parallel with the conference. Workshops have a key role in Logic Programming Conferences. They provide an ideal platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. They also are an opportunity to disseminate work in progress, particularly for new researchers. Workshops also provide a venue for presenting more specialized topics and opportunities for more intensive discussions, exchange of ideas, and project collaboration. The topics of the workshops can cover any areas related to logic programming, including cross-disciplinary areas. To encourage active participation and exchange of ideas, the workshops will be kept small, preferably under 40 participants. The format of the workshop will be determined by the organizer(s) proposing the workshop, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Having two or three co-organizers for a workshop is strongly advised. Workshop Proposal: ================== The persons intending to organize a workshop at ICLP'05 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * The names, affiliation and contact details (email, web page, phone, fax) of the workshop organizing committee together with a designated contact person as the workshop coordinator. * A preliminary plan/schedule for organizing the workshop, including the required number of half-days allotted to the workshop. * A list of previously-organized related workshops by any of the workshop organizing committee. Although previous experience with organizing similar workshops is not required, this information will be helpful to the Workshop Chair. * An estimate of the number of expected attendees. Proposals are expected in ASCII or LaTeX format. All proposals should be submitted to the Workshop Chair by email by March 31, 2005. Workshop Organizers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the net and/or other means. Please provide a web page URL which can be linked into the ICLP'05 home page by May 5, 2005. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the workshop chair. * Sending workshop proceedings in LaTeX format to the workshop chair for printing, by August 31, 2005 (if the proceedings are to be printed by the local organizers) Reviewing Process: ================== Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 13, 2005. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees. Workshop Date and Location: =========================== All workshops will take place on October 5th, 2005 at the site of the main conference. ICLP'05 will be held in Sitges (Barcelona), Spain. Sitges is a town 15 minutes away from the Barcelona international airport and 30 minutes from the center of Barcelona. The town of Sitges is situated in the Catalan region of Spain, and it is a well-established tourist resort and residential area thanks to its warm climate and fantastic natural panoramic views. The conference will be held at Melia Sitges Hotel, located on the sea-front facing the Mediterranean and is within five-minute walking distance from the city center. Important Dates: ================ March 31, 2005: Proposal submission deadline April 13, 2005: Acceptance notification May 5, 2005: Deadline for receipt of CFP and URL for workshop web page August 31, 2005: Deadline for preliminary proceedings October 5, 2005: ICLP'05 workshops Workshop Chair: =============== Hai-Feng Guo Department of Computer Science University of Nebraska at Omaha Omaha, NE 68182-0500, USA Email: haifengguo(a)phoenix.unomaha.edu Phone: +1 402 5542852 Fax: +1 402 5543284 ============================================================================== 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

ICLP 2005: Call for Workshops
by ICLP 2005 20 Mar '05

20 Mar '05

1 0

LAAIC'05 deadline approaching (March 15)
by laaic05＠ruc.dk 08 Mar '05

08 Mar '05

-- Apologies for possible duplicate postings -- Logical Aspects and Applications of Integrity Constraints LAAIC'05, 26 August 2005 http://www.laaic05.ruc.dk THE EVENT LAAIC 2005 is the first international workshop on Logical Aspects and Applications of Integrity Constraints. The workshop will be held in Copenhagen, Denmark, 26 August 2005, and is co-located with the 16th International Conference on Database and Expert Systems Applications, DEXA 2005 (http://www.dexa.org), 22-26 August 2005. SCOPE Major themes for the workshop include theory and applications of integrity constraints to the following topics: - Active Databases - Data Integration under Integrity Constraints - Data Mining - Integrity Checking and Maintenance - Integrity Constraints in SQL - Program Transformations - Semantic Query Optimization - Transactions and Concurrency - Update Propagation - XML and Semi-structured Data INVITED SPEAKERS Wenfei Fan (University of Edinburgh) (list to be completed) SUBMISSION Authors are invited to submit research contributions representing original, previously unpublished work. Papers should be in English, and should not exceed 5 pages, formatted according to the IEEE double-column proceedings format. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression. Papers accepted by the Programme Committee must be presented at the workshop by one of the authors and will be published by IEEE in a proceedings volume of the DEXA 2005 workshops. The title page must contain: title and author(s), physical and e-mail addresses, identification of the corresponding author, an abstract of no more than 200 words, and a list of keywords. Papers should be submitted in pdf or ps format to the email address laaic05(a)ruc.dk by March 15, 2005. IMPORTANT DATES Paper submission: March 15, 2005 Notification to authors: April 15, 2005 Camera-ready copy due: May 15, 2005 Workshop: August 26, 2005 PROGRAM COMMITTEE Marcelo Arenas (University of Toronto, Canada) Andrea Calì (Free University of Bozen-Bolzano, Italy) Stefano Ceri (Politecnico di Milano, Italy) Henning Christiansen, workshop chair (Roskilde University, Denmark) Hendrik Decker (Instituto Tecnológico de Informática, Spain) Parke Godfrey (York University, Canada) Mohand-Said Hacid (University Claude Bernard Lyon 1, France) Maurizio Lenzerini (Università degli Studi di Roma 'La Sapienza', Italy) Rainer Manthey (University of Bonn, Germany) Davide Martinenghi, program chair (Roskilde University, Denmark) Rosa Meo (Università di Torino, Italy) Jack Minker, Professor Emeritus (University of Maryland, USA) ============================================================================== 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

ICLP 2005: Call for Papers
by ICLP 2005 21 Feb '05

21 Feb '05

---------------------------------------- Apologies if you receive multiple copies ________________________________________ Call for Papers ------------------------------------------------------------ Twenty first International Conference on Logic Programming ICLP'05 2-5 October, 2005 Sitges (Barcelona) Spain Co-located with the International Conference on Principles and Practice of Constraint Programming (CP'05) ------------------------------------------------------------ http://www.iiia.csic.es/iclp2005/ The Conference -------------- The 21st International Conference on Logic Programming will be held near Barcelona (Spain) from October 2nd to October 5th, 2005. ICLP'05 will be colocated with the International Conference on Principles and Practice of Constraint Programming (CP'05). Conference scope ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: Theory Implementation Semantic Foundations Compilation Formalisms Memory Management Nonmonotonic Reasoning Virtual Machines Knowledge Representation Parallelism Environments Alternative Paradigms Program Analysis Constraint Logic Programming Program Transformation Abductive Logic Programming Validation and Verification Inductive Logic Programming Debugging, Profiling Answer Set Programming Language Issues Applications Concurrency Semantic Web Objects Software Engineering Coordination Web Tools Mobility Internet Agents Higher Order Artificial Intelligence Types Deductive Databases Modes Natural Language Programming Techniques Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. Papers ------- Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page (http://www.springer.de/comp/lncs/index.html). Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Industrial Papers ----------------- A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter, (up to) 10 pages papers. Posters ------- Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05 Doctoral Student Consortium --------------------------- The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. Publication ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters. Sponsoring and prizes --------------------- The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper. Important dates --------------- POSTERS PAPERS Abstract submission deadline: 30 April Submission deadline: 1 June 6 May Notification of authors: 1 July 24 June Camera-ready copy due: 15 July 15 July Organization ------------ Conference Co-Chairs: Pedro Meseguer (IIIA-CSIC, Spain) Javier Larrosa (Technical University of Catalonia, Spain) Program Co-Chairs: Maurizio Gabbrielli (University of Bologna, Italy) Gopal Gupta (University of Texas at Dallas, USA) Workshop Chair: Hai-Feng Guo (University of Nebraska at Omaha, USA) Doctoral Consortium Chair: Enrico Pontelli (New Mexico State University, USA) Publicity Chair: Felip Manya (IIIA-CSIC, Spain) Program Committee: Roberto Bagnara University of Parma, Italy Maurice Bruynooghe KU Leuven, Belgium Giorgio Delzanno University of Genova, Italy Stefan Decker Digital Enterprise Research Institute, Ireland Thom Fruehwirth University of Ulm, Germany Maurizio Gabbrielli University of Bologna, Italy (Program Co-Chair) Gopal Gupta University of Texas at Dallas, USA (Program Co-Chair) Patricia Hill University of Leeds, UK Joxan Jaffar University of Singapore, Singapore Bharat Jayaraman SUNY Buffalo, USA Javier Larrosa Technical University of Catalonia, Spain (Conference Co-Chair) Michael Leuschel University of Southampton, UK Massimo Marchiori University of Venice, Italy and W3C, MIT, USA Pedro Meseguer IIIA-CSIC, Spain (Conference Co-Chair) Juan J. Moreno Navarro Technical University of Madrid, Spain Gopalan Nadathur University of Minnesota, USA Illka Niemela Helsinki U. of Tech. Finland Catuscia Palamidessi INRIA, France Enrico Pontelli New Mexico State Univeristy, USA I.V. Ramakrishnan SUNY Stony Brook, USA Vitor Santos Costa Federal U. of Rio de Janeiro, Brazil Harald Sondergaard University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Frank Valencia University of Uppsala, Sweden Contact addresses ----------------- Conference Chairs: Pedro Meseguer Javier Larrosa IIIA-CSIC Dep. LSI, UPC Campus UAB Jordi Girona 1-3 08193 Bellaterra, Spain 08034 Barcelona, Spain Program Co-chairs: iclp05-chairs(a)cs.unibo.it Maurizio Gabbrielli Gopal Gupta Department of Computer Science Department of Computer Sciences MS EC31 University of Bologna The University of Texas at Dallas Mura A. Zamboni 7 2601 N. Floyd Rd 40127 Bologna, Italy Richardson, TX 78050, USA ============================================================================== 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

Best Practice: Atoms or Strings to Output Text?
by Michael D. Kersey 20 Feb '05

20 Feb '05

In Ciao-Prolog is there a "best practice" for outputting text? Method 1: Use quoted atoms always, e.g., write('The maximum mortgage payment is '),write(mortgage_payment). Method 2: Use strings,e.g., writestring("The maximum mortgage payment is "),write(mortgage_payment). where writestring is writestring([]). writestring([H|T]):-put_code(H),writestring(T). The first method is simple and straightforward. The ISO standard makes all the escape characters (\a,\n, etc.) available, further easing (and possibly encouraging) use of this method. However it apparently creates an unneeded symbol table entry for the singly-quoted atom. The second method is clumsier but very clearly distinguishes atoms from strings. What do you use? ============================================================================== 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

Extended paper submission deadline for STEPS 2005
by Mauricio Varea 17 Feb '05

17 Feb '05

EXTENDED DEADLINE: February 21, 2005!!! [we apologize for multiple copies] ======================================================================== * Call for Papers * INTERNATIONAL WORKSHOP ON SOFTWARE TECHNIQUES FOR EMBEDDED AND PERVASIVE SYSTEMS STEPS 2005 http://www.asap.ecs.soton.ac.uk/steps/ May 11, 2005 - Munich (Germany) - Held in conjunction with "Pervasive 2005". ABOUT THE WORKSHOP The aim of this workshop is to bring together researchers from many areas of Hardware and Software Engineering. As modern business, industry and consumer products are being overwhelmed with smarter, cheaper and more ubiquitous computing devices, attention to computing power is shifting from traditional workstations to mobile phones, PDAs, and many electronic gadgets. However, the current limitations that constrain these devices are centered around the software development process. In the context of pervasive computing, it is crucial to make efficient use of computing resources. While the tendency of current Software Engineering is to produce well-modularized systems built from large libraries, these systems tend to become rapidly bloated. Pervasive System developers work on the boundary of available computing resources. Thus, tools and techniques for Pervasive Systems design have to take optimization to its limits, integrate them with effective analysis techniques, and systematically produce efficient software that still performs satisfactorily on such platforms. We welcome not only contributions on Pervasive Systems design, but also on Analysis, Verification and Optimization at both high and low level code. Topics of interest include (but are not limited to): - Software Engineering. - Resource-oriented specialization, Dynamic Power Management, etc. - Abstract Interpretation, Program Transformation, Partial Evaluation, etc. - Declarative Programming, (Constraint) Logic Programming, etc. - Formal Verification, Model Checking, etc. - Low-level code issues With application to: - Pervasive Systems, Ambient Intelligence, etc. - Embedded Systems - Devices with limited resources (PDAs, phones, etc.) SCHEDULE Submission of Papers: February 21, 2005 Notification to Authors: March 8, 2005 Camera-ready version: April 24, 2005 ORGANIZING COMMITTEE Mauricio Varea University of Southampton, United Kingdom Luis A. Cortés Linköping University, Sweden PROGRAMME COMMITTEE E. Albert (UCM, Spain) J. C. Augusto (U. Ulster, UK) B. Demoen (K.U. Leuven, Belgium) P. Eles (Linköping, Sweden) J. Gallagher (Roskilde, Denmark) M. Hermenegildo (UNM, USA) P. Kollig (Phillips, UK) M. Leuschel (Düsseldorf, Germany) H. Muller (Bristol, UK) G. Puebla (UPM, Spain) V. Sassone (Sussex, UK) M. Schmitz (Southampton, UK) P. Tarau (North Texas, USA) ======================================================================== ============================================================================== 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

← Newer
1
...
52
53
54
55
56
57
58
...
95
Older →

Jump to page:

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