By Daniel Morillo Torres, Federico Barber, and Miguel A. Salido Instituto de Automática e Informática Industrial, Universidad Politécnica de Valencia, Valencia, Spain Abstract The study of scheduling problems is one of the core areas in the planning and development of any…
Author: Editors
SPECIAL ISSUE OF THEORY AND PRACTICE OF LOGIC PROGRAMMING ON COMPUTATIONAL LOGIC FOR VERIFICATION
The last decade has witnessed a growing interest in the use of computational logic methods for program validation and verification. For instance, verification problems for imperative and object oriented languages can be expressed using Constraint Logic Programming (CLP) and related…
Pick the Right Fence
By Paolo Baldan and Roberto Bruni. In a park there is an area including some rare trees. Such trees are planted very regularly at the points of a grid: …
CFP: Logic-Based Program Synthesis and Transformation – LOPSTR 2016
By Pedro Lopez and Manuel Hermenegildo
IMDEA, Spain
CFP: Workshop on Constraints and Language Processing
By Veronica Dahl,
Simon Fraser University, Canada
Editorial, March 2016
Dear LPers, Welcome to the March 2016 issue of your ALP newsletter. The operation and success of our Newsletter is due to the contributions of a dedicated group of people, that compose its Editorial Board. The Board is renewed every…
Probabilistic Logic Programming Tutorial
By Fabrizio Riguzzi and Giuseppe Cota University of Ferrara, Italy Introduction Probabilistic Logic Programming (PLP) introduces probabilistic reasoning in Logic Programs in order to represent uncertain information. It is receiving an increased attention due to its applications in particular in…
NoHR: A Protégé Plugin for Polynomial Querying of Ontologies and Non-Monotonic Rules
By Matthias Knorr and João Leite NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Abstract. Ontology languages and non-monotonic rule languages are both well-known formalisms for knowledge representation, each with its own distinct…
Doctoral Scholarship in Multi-agent Systems for On-Line Privacy
PhD position on Multi-agent Systems for On-Line Privacy in London
Masters in Cognitive Systems: Human – Computer Symbiosis
by Tony Kakas,
University of Cyprus