Ditemukan 9 dokumen yang sesuai dengan query
Van Hentenryck, Pascal
Cambridge, UK: MIT Press, 1989
006.3 VAN c
Buku Teks Universitas Indonesia Library
"
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 logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming ...
"
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, including functional programming and logic 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. The papers represent the diversity and vitality in present ILP research including ILP theory, implementations, probabilistic ILP, biological applications, sub-group discovery, grammatical inference, relational kernels, ...
"
Berlin: [, Springer-Verlag], 2012
e20410170
eBooks Universitas Indonesia Library
"
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 for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. ...
"
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. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most ...
"
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 papers were organized in topical sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other ...
"
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 are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm ...
"
Berlin: Springer-Verlag, 2012
e20410072
eBooks Universitas Indonesia Library
