Ditemukan 9 dokumen yang sesuai dengan query
Van Hentenryck, Pascal, author
Cambridge, UK: MIT Press, 1989
006.3 VAN c
Buku Teks Universitas Indonesia Library
Esra Erdem, editor
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in...
Berlin: [, Springer-Verlag], 2012
e20409159
eBooks Universitas Indonesia Library
Tom Schrijvers, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming,...
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
Stephen H. Muggleton, editor
This book constitutes the thoroughly refereed post-proceedings of the 21st International Conference on Inductive Logic Programming, ILP 2011, held in Windsor Great Park, UK, in July/August 2011. The 24 revised full papers were carefully reviewed and selected from 66 submissions. Also included are five extended abstracts and three invited talks....
Berlin: [, Springer-Verlag], 2012
e20410170
eBooks Universitas Indonesia Library
Alexander Artikis, editor
The festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements, followed by a series of articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems, and logical approaches to policies.
...
Berlin: Springer, 2012
e20406456
eBooks Universitas Indonesia Library
Jeroen Janssen, editor
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...
Paris: Atlantis Press, 2012
e20406539
eBooks Universitas Indonesia Library
Nikolaj Bjorne, editor
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions....
Berlin: [, Springer-Verlag], 2012
e20410284
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The...
Berlin: Springer-Verlag, 2012
e20409990
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered...
Berlin: Springer-Verlag, 2012
e20410072
eBooks Universitas Indonesia Library
