Logic programming.

Logic Programming with Prolog by: (書目-語言資料,印刷品)

Logical and relational learning by: (書目-語言資料,印刷品)

Logic and integer programming / by: (書目-語言資料,印刷品)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (書目-語言資料,印刷品)

An inductive logic programming approach to statistical relational learning by: (書目-語言資料,印刷品)

Towards a design flow for reversible logic by: (書目-語言資料,印刷品)

Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday / by: (書目-電子資源)

A defeasible logic programming-based framework to support argumentation in semantic web applications by: (書目-電子資源)

Introduction to annotated logics = foundations for paracomplete and paraconsistent reasoning / by: (書目-電子資源)

Reversible logic synthesis methodologies with application to quantum computing by: (書目-電子資源)

Inference and learning systems for uncertain relational data by: (書目-電子資源)

Answer set programming by: (書目-電子資源)

Paraconsistent intelligent-based systems = new trends in the applications of paraconsistency / by: (書目-語言資料,印刷品)

Implementations of logic programming systems / by: (書目-語言資料,印刷品)

Logic program synthesis from incomplete information / = by Pierre Flener. by: (書目-語言資料,印刷品)

Constraint logic programming : = selected research / by: (書目-語言資料,印刷品)

Handbook of logic in artificial intelligence and logic programming / by: (書目-語言資料,印刷品)

Handbook of logic in artificial intelligence and logic programming.. Volume 5,. Logic programming by: (書目-語言資料,印刷品)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (書目-語言資料,印刷品)

Program development in computational logic = a decade of research advances in logic-based program development / by: (書目-語言資料,印刷品)

Logic and integer programming by: (書目-語言資料,印刷品)

Foundations of inductive logic programming by: (書目-語言資料,印刷品)

A tight, practical integration of relations and functions by: (書目-語言資料,印刷品)

Constraints in computational logics = theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / by: (書目-語言資料,印刷品)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part II / by: (書目-語言資料,印刷品)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part I / by: (書目-語言資料,印刷品)

Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday / by: (書目-電子資源)

Answer set programming for continuous domains = a fuzzy logic approach / by: (書目-電子資源)

Uncertainty treatment using paraconsistent logic = introducing paraconsistent artificial neural networks / by: (書目-語言資料,印刷品)

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (書目-電子資源)

Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / by: (書目-電子資源)