Go to:
Logótipo
You are in:: Start > Publications > View > Introduction to the 33rd international conference on logic programming special issue
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Publication

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

Title
Introduction to the 33rd international conference on logic programming special issue
Type
Another Publication in an International Scientific Journal
Year
2017
Authors
Ricardo Rocha
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Son, TC
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Journal
Vol. 17
Pages: 684-688
ISSN: 1471-0684
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citations
Publicação em Scopus Scopus - 0 Citations
Other information
Authenticus ID: P-00N-41E
Abstract (EN): 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. Copyright © Cambridge University Press 2017.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 5
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same journal

Introduction to the 28th international conference on logic programming special issue (2012)
Another Publication in an International Scientific Journal
AGOSTINO DOVIER; VÃTOR SANTOS COSTA
Towards multi-threaded local tabling using a common table space (2012)
Article in International Scientific Journal
Miguel Areias; Ricardo Rocha
Threads and or-parallelism unified (2010)
Article in International Scientific Journal
Ines Dutra; Ricardo Rocha
The YAP Prolog system (2012)
Article in International Scientific Journal
Vitor Santos Costa; Ricardo Rocha; Luis Damas
Tabling, Rational Terms, and Coinduction Finally Together! (2014)
Article in International Scientific Journal
Theofrastos Mantadelis; Ricardo Rocha; Paulo Moura

See all (20)

Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-08-22 at 09:22:12 | Acceptable Use Policy | Data Protection Policy | Complaint Portal