Introduction Special Issue on Multiparadigm Languages and Constraint Programming

2007 ◽  
Vol 7 (1-2) ◽  
pp. 1-2
Author(s):  
MORENO FALASCHI ◽  
MICHAEL MAHER
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Constraint Programming ◽  
Theory And Practice ◽  
Special Issue ◽  
Implementation Effort ◽  
Selection Of

In recent years much research and implementation effort has been devoted both to multiparadigm languages and constraint programming languages. Following up on a series of 11 workshops (WFLP) on multiparadigm languages and constraint programming, and as a result of an open call for submissions, the journal on Theory and Practice of Logic Programming is now publishing the results of the selection of the papers submitted to this special issue.

scholarly journals Introduction to the 33rd international conference on logic programming special issue

2017 ◽  
Vol 17 (5-6) ◽  
pp. 684-688
Author(s):  
RICARDO ROCHA ◽  
TRAN CAO SON
Keyword(s):  
Logic Programming ◽  
Constraint Programming ◽  
Theory And Practice ◽  
Special Issue ◽  
International Conference ◽  
International Event

This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 33rd International Conference on Logic Programming (ICLP 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. ICLP 2017 was colocated with the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) and the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

scholarly journals Introduction to the 30th International Conference on Logic Programming Special Issue

2014 ◽  
Vol 14 (4-5) ◽  
pp. 401-414
Author(s):  
MICHAEL LEUSCHEL ◽  
TOM SCHRIJVERS
Keyword(s):  
Logic Programming ◽  
Language Processing ◽  
Program Analysis ◽  
Virtual Machines ◽  
Inductive Logic ◽  
Theory And Practice ◽  
Scientific Conference ◽  
Special Issue ◽  
History Of Logic ◽  
International Conference

The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic. Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP) - the 30th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation; Implementation: Compilation, Memory Management, Virtual Machines, Parallelism; Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing; Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques; Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming; Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

scholarly journals Special Issue on the Theory and Practice of Differential Privacy

2017 ◽  
Vol 7 (2) ◽  
Author(s):  
Marco Gaboardi ◽  
Chris J. Skinner
Keyword(s):  
Data Analysis ◽  
Programming Languages ◽  
Differential Privacy ◽  
International Workshop ◽  
Theory And Practice ◽  
Release Mechanism ◽  
Special Issue ◽  
Research Areas ◽  
Recent Developments ◽  
Definition Of

This special issue presents papers based on contributions to the first international workshop on the “Theory and Practice of Differential Privacy” (TPDP) held in London, UK, 18 April 2015, as part of the European joint conference on Theory And Practice of Software (ETAPS). Differential privacy is a mathematically rigorous definition of the privacy protection provided by a data release mechanism: it offers a strong guaranteed bound on what can be learned about a user as a result of participating in a differentially private data analysis. Researchers in differential privacy come from several areas of computer science, including algorithms, programming languages, security, databases and machine learning, as well as from several areas of statistics and data analysis. The workshop was intended to be an occasion for researchers from these different research areas to discuss the recent developments in the theory and practice of differential privacy. The program of the workshop included 10 contributed talks, 1 invited speaker and 1 joint invited speaker with the workshop “Hot Issues in Security Principles and Trust” (HotSpot 2016). Participants at the workshop were invited to submit papers to this special issue. Six papers were accepted, most of which directly reflect talks presented at the workshop

scholarly journals Editorial for Volume 9 Issue 2

2019 ◽  
Vol 9 (2) ◽  
Author(s):  
Jonathan Ullman ◽  
Lars Vilhuber
Keyword(s):  
Social Sciences ◽  
Computer Security ◽  
Programming Languages ◽  
Differential Privacy ◽  
Census Bureau ◽  
Theory And Practice ◽  
Mining Machine ◽  
Special Issue ◽  
Worst Case ◽  
High Degree

Differential privacy is a promising approach to privacy-preserving data analysis that provides strong worst-case guarantees about the harm that a user could suffer from contributing their data, but is also flexible enough to allow for a wide variety of data analyses to be performed with a high degree of utility. Researchers in differential privacy span many distinct research communities, including algorithms, computer security, cryptography, databases, data mining, machine learning, statistics, programming languages, social sciences, and law. Two articles in this issue describe applications of differentially private, or nearly differentially private, algorithms to data from the U.S. Census Bureau. A  third article highlights a thorny issue that applies to all implementations of differential privacy: how to choose the key privacy parameter ε, This special issue also includes selected contributions from the 3rd Workshop on Theory and Practice of Differential Privacy, which was held in Dallas, TX on October 30, 2017 as part of the ACM Conference on Computer Security (CCS).

scholarly journals Introduction to the 27th International Conference on Logic Programming Special Issue

2011 ◽  
Vol 11 (4-5) ◽  
pp. 429-432
Author(s):  
JOHN GALLAGHER ◽  
MICHAEL GELFOND
Keyword(s):  
Logic Programming ◽  
Language Processing ◽  
Program Analysis ◽  
Memory Management ◽  
Virtual Machines ◽  
Inductive Logic ◽  
Theory And Practice ◽  
Special Issue ◽  
International Conference ◽  
Abductive Logic Programming

Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

Editorial: 29th International conference on logic programming special issue – ADDENDUM

2017 ◽  
Vol 18 (1) ◽  
pp. 121-121
Author(s):  
EVELINA LAMMA ◽  
TERRANCE SWIFT
Keyword(s):  
Logic Programming ◽  
Theory And Practice ◽  
Special Issue ◽  
International Conference

The links to the online only Technical Communications in Lamma and Swift (2013) are unfortunately broken. All of the Technical Communications can be found here:https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/editorial-29th-international-conference-on-logic-programming-special-issue/82FDD81073DC30A563ED242516CADAAE#fndtn-supplementary-materials

scholarly journals Introduction to the special issue on the 25th annual GULP conference

2012 ◽  
Vol 13 (2) ◽  
pp. 147-148
Author(s):  
WOLFGANG FABER ◽  
NICOLA LEONE
Keyword(s):  
Artificial Intelligence ◽  
Logic Programming ◽  
Theory And Practice ◽  
Declarative Programming ◽  
Annual Conference ◽  
User Group ◽  
Historical Account ◽  
Computational Logic ◽  
Special Issue ◽  
One Year

This special issue of TPLP commemorates the 25th edition of the annual conference organized by GULP (Gruppo Ricercatori e Utenti Logic Programming), the Italian group of researchers and users of logic programming. The first event in this series was held at Genoa in 1986, one year after the foundation of the user group, continuing annually ever since. In 1994, the conference joined forces with the Spanish conference PRODE (on Declarative Programming), and in 1996 with the Portuguese APPIA (on Artificial Intelligence). This collaboration continued until 2003. Starting from 2004, the event became known as CILC (Convegno Italiano di Logica Computazionale, Italian Conference on Computational Logic), thereby broadening its topics to general computational logic, while becoming a national Italian event again. Being one of the oldest and largest national events of its kind, over the years the conference has been an important networking opportunity and catalyst for persons with different backgrounds, coming from theory and practice, and from research and industry, for exchanging their visions, achievements, and challenges in logic programming. For a more detailed historical account on GULP and its annual conferences, we refer to Rossi (2010).

scholarly journals Editorial: 29th International Conference on Logic Programming special issue

2013 ◽  
Vol 13 (4-5) ◽  
pp. 465-470 ◽  
Author(s):  
EVELINA LAMMA ◽  
TERRANCE SWIFT
Keyword(s):  
Logic Programming ◽  
Computer Science ◽  
Theory And Practice ◽  
Special Issue ◽  
Journal Quality ◽  
International Conference ◽  
Lecture Notes ◽  
Computer Scientists

The proceedings of the International Conference on Logic Programming (ICLP) have had several publishers, including MIT Press and Springer's Lecture Notes in Computer Science. Beginning in 2010, the proceedings have been published in a dual format: with regular papers contained in a special issue of Theory and Practice of Logic Programming (TPLP), and technical communications as a Dagstuhl LIPics series publication. The reason for the change was that compared to researchers in other fields, computer scientists publish more in conferences or symposia and less in journals. The thinking went that since many ICLP papers are of journal quality – or nearly so – why not publish them in a journal straight away? And why not TPLP?

Introduction to the Special Issue on Logic Programming and the Web

2008 ◽  
Vol 8 (3) ◽  
pp. 247-248 ◽  
Author(s):  
MASSIMO MARCHIORI
Keyword(s):  
World Wide Web ◽  
Semantic Web ◽  
Logic Programming ◽  
World Wide ◽  
Special Issue ◽  
Knowledge Logic ◽  
Logical Organization ◽  
The World ◽  
The Web ◽  
Selection Of

The World Wide Web is nowadays the most famous and widespread information system. Its success is witnessed by its enormous size and rate of growth: however, the same success of the Web has brought to a situation where more sophisticated techniques are urgently needed to properly handle this mass of information. In this sense, the more ambitious plan for an evolution of a Web is the so called Semantic Web, envisioned by the inventor of the Web itself, Tim Berners-Lee. In this architectural vision, there is the need for further layers of semantics, properly enriching the data that now overflow the classic Web: ontologies, rules, logic, proofs, trust are all ingredients of this ambitious picture. Given these premises, it should not come as a surprise the fact that this evolution is bringing the Web closer and closer to another field, that since quite some time has been facing similar problems of logical organization of knowledge: logic programming. Early examples, like the Metalog system in the World Wide Web Consortium (W3C), had shown that connecting logic programming and the Semantic Web was quite a natural and fruitful step: and in fact, the burst of research in Semantic Web developments has eventually started to touch, connect and reinterprete many topics that were and are mainstream of the logic programming area. We feel this is a necessary progression, as the Semantic Web, and more generally the Web of the future, has a lot to learn from research in the logic programming area. And, conversely, in these new scenarios there are lot of new applied problems that can be challenging and rewarding from a logic programming perspective. This calls for a tighter interaction between the Web and logic programming, which was the reason to motivate this special issue as well: gathering together a selection of the best contributions that could showcase the potential of the cross-breeding.

Sign in / Sign up

Export Citation Format

Share Document