Logic programming.
Overview
| Works: | 30 works in 10 publications in 10 languages | |
|---|---|---|
Titles
Advances in computational and stochastic optimization, logic programming, and heuristic search :interfaces in computer science and operations research /
by:
(Language materials, printed)
Program development in computational logica decade of research advances in logic-based program development /
by:
(Electronic resources)
Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
(Electronic resources)
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part II /
by:
(Electronic resources)
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part I /
by:
(Electronic resources)
A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP /
by:
(Electronic resources)
An inductive logic programming approach to statistical relational learning
by:
(Electronic resources)
Logic programming, knowledge representation, and nonmonotonic reasoningessays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(Electronic resources)
Logic programs, norms and actionessays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(Electronic resources)
Correct reasoningessays on logic-based AI in honour of Vladimir Lifschitz /
by:
(Electronic resources)
Inductive logic programming21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(Electronic resources)
Uncertainty treatment using paraconsistent logicintroducing paraconsistent artificial neural networks /
by:
(Electronic resources)
A defeasible logic programming-based framework to support argumentation in semantic web applications
by:
(Electronic resources)
Advances in knowledge representation, logic programming, and abstract argumentationessays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Electronic resources)
Introduction to annotated logicsfoundations for paracomplete and paraconsistent reasoning /
by:
(Electronic resources)
Paraconsistent intelligent-based systemsnew trends in the applications of paraconsistency /
by:
(Electronic resources)
Reversible logic synthesis methodologies with application to quantum computing
by:
(Electronic resources)
Show more
Fewer
Subjects