Applications of Declarative Programming and Knowledge Management: 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

Front Cover
Salvador Abreu, Dietmar Seipel
Springer Science & Business Media, Apr 27, 2011 - Computers - 239 pages
0 Reviews
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, held in Évora, Portugal, in November 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected during two rounds of reviewing and improvement. The conference comprehensively covers the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. The topics of the selected papers concentrate on three currently important fields: foundations and extensions of logic programming, databases and query languages, declarative programming with logic languages, and applications thereof.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

Common terms and phrases

About the author (2011)

Francisco Rocha is a second-year PhD student with the School of Computing Science at Newcastle University, UK. His research interests include systems security, software security, and security architectures. His latest work focuses on developing prevention techniques that guarantee memory confidentiality and integrity for cloud consumers in the presence of malicious insiders in cloud computing. Francisco holds an MSc in Information Technology - Information Security (MSIT-IS) from the Information Networking Institute at Carnegie Mellon University.

Salvador Abreu is associate professor in the Department of Computer Science at the University of Evora and member of CENTRIA, the AI research center of the New University of Lisbon and University of Evora. He has participated in or coordinated research projects on logic and constraint programming, parallelism, and applications of declarative paradigms. His research interests include declarative programming language design and application to hard combinatorial search problems, including intrusion detection as well as parallel and distributed computing models.

Miguel Correia is associate professor in the Instituto Superior Tecnico at the Technical University of Lisbon and researcher in the Distributed Systems Group at INESC-ID. He has a PhD from Faculdade de Ciencias, University of Lisbon. He has been involved in several international and national research projects related to cloud computing, intrusion tolerance, and security. He has more than 100 publications, and his research interests include security, intrusion tolerance, distributed systems, cloud computing, and critical infrastructure protection.

Bibliographic information