Salvador Abreu – författare & böcker

The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud

AvSalvador Abreu,Miguel Correia

Häftad, Engelska

291 kr

Skickas inom 3-6 vardagar

Del 10997 - Lecture Notes in Computer Science

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

AvDietmar Seipel,Michael Hanusm. fl.

Häftad, Engelska, 2018

549 kr

Skickas inom 10-15 vardagar

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

AvSalvador Abreu,Michael Hanusm. fl.

E-bok

Engelska, 2018

687 kr

Läs direkt efter köp

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.

Del 12057 - Lecture Notes in Computer Science

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

AvPetra Hofstedt,Salvador Abreum. fl.

Häftad, Engelska, 2020

566 kr

Skickas inom 10-15 vardagar

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

AvDietmar Seipel,Herbert Kuchenm. fl.

E-bok

Engelska, 2020

708 kr

Läs direkt efter köp

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.

The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.

Progress in Artificial Intelligence

11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

AvFernando Moura Pires,Salvador Abreu

Häftad, Engelska, 2003

566 kr

Skickas inom 10-15 vardagar

When we set about organizing EPIA 2003 in Porto during the APPIA meeting at the previous edition of the conference, EPIA 2001, it was decided that it would be organized by Fernando Moura Pires (Faj' e) and myself. We chose Beja as the venue to host the conference, as it provided a good support infrastructure and Fernando had a good working relationship with several people at the Beja Polytechnic Institute. Shortly thereafter, Fernando came to know that he was ailing from a disease thatwastotakehislifeinMay2003.Aswithmanyotherprojectsinwhichhegot involved, Fernando clung to the organization of this conference with dedication and perseverance, even while knowing that he might not see the results of his work. EPIA 2003 is a tribute to his work. Taking up on the successful experience gained from EPIA 2001, we decided to structure EPIA 2003 as a set of ?ve distinct workshops, roughly re?ecting the panorama of AI research in Portugal. Special thanks are due to the organizers of each workshop, for the quality and timeliness of the work they carried out. The conference was all the more interesting because of the eight invited p- sentations and tutorials, by Alexander Bockmayr, Am' ?lcar Cardoso, Dario F- reano,HaroldBoley,PedroDomingos,PieterAdriaans,VeronicaDahlandVitor Santos Costa.There are short one-page abstracts included in these proceedings for some of these presentations.

Progress in Artificial Intelligence

11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings

AvSalvador Abreu,Fernando Moura Pires

E-bok

PDF, Engelska, 2003

708 kr

Läs direkt efter köp

Applications of Declarative Programming and Knowledge Management

18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

AvSalvador Abreu,Dietmar Seipel

Häftad, Engelska, 2011

566 kr

Skickas inom 10-15 vardagar

This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inÉvora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic solvers in the internet society, its underlyingtechnologies, and leading edge applications in industry, commerce,government, and societal services. The topics of the selected papersconcentrate on three currently important fields: foundations andextensions of logic programming, databases and query languages,declarative programming with logic languages, and applications thereof.

Applications of Declarative Programming and Knowledge Management

18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

AvDietmar Seipel,Salvador Abreu

E-bok

PDF, Engelska, 2011

708 kr

Läs direkt efter köp

This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inÉvora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic solvers in the internet society, its underlyingtechnologies, and leading edge applications in industry, commerce,government, and societal services. The topics of the selected papersconcentrate on three currently important fields: foundations andextensions of logic programming, databases and query languages,declarative programming with logic languages, and applications thereof.

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf - Applications of Declarative Programming and Knowledge Management, Häftad

Applications of Declarative Programming and Knowledge Management

19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

AvHans Tompits,Salvador Abreum. fl.

Häftad, Engelska, 2013

566 kr

Skickas inom 10-15 vardagar

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

Armin Wolf, Masanobu Umeda, Dietmar Seipel, Jorg Puhrer, Johannes Oetsch, Salvador Abreu, Hans Tompits - Applications of Declarative Programming and Knowledge Management, E-bok

Applications of Declarative Programming and Knowledge Management

19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

AvArmin Wolf,Masanobu Umedam. fl.

E-bok

PDF, Engelska, 2013

708 kr

Läs direkt efter köp

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

Fernando Moura Pires, Salvador Abreu - Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceeding, Övrigt

Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceeding

AvFernando Moura Pires,Salvador Abreu

Engelska, 2014

644 kr

Skickas inom 5-8 vardagar

Företag, bibliotek eller offentlig verksamhet?

Salvador Abreu – författare

The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Progress in Artificial Intelligence

Progress in Artificial Intelligence

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Progress in Artificial Intelligence : 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceeding

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration