Logic programming.

Program development in computational logic = a decade of research advances in logic-based program development / by: (Language materials, printed)

Logic and integer programming by: (Language materials, printed)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (Language materials, printed)

Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday / by: (Electronic resources)

Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday / by: (Electronic resources)

Answer set programming for continuous domains = a fuzzy logic approach / by: (Electronic resources)

Uncertainty treatment using paraconsistent logic = introducing paraconsistent artificial neural networks / by: (Language materials, printed)

A defeasible logic programming-based framework to support argumentation in semantic web applications by: (Electronic resources)

Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / by: (Electronic resources)

Introduction to annotated logics = foundations for paracomplete and paraconsistent reasoning / by: (Electronic resources)

Reversible logic synthesis methodologies with application to quantum computing by: (Electronic resources)

Inference and learning systems for uncertain relational data by: (Electronic resources)

Answer set programming by: (Electronic resources)

Use and Analysis of Attack Graphs for Decision Making in a Cybersecurity Defense Plan. by: (Electronic resources)

Essentials of logic programming / by: (Language materials, printed)

Implementations of logic programming systems / by: (Language materials, printed)

Logic program synthesis from incomplete information / = by Pierre Flener. by: (Language materials, printed)

Constraint logic programming : = selected research / by: (Language materials, printed)

Handbook of logic in artificial intelligence and logic programming / by: (Language materials, printed)

An inductive logic programming approach to statistical relational learning / by: (Language materials, printed)

Evolving knowledge bases = specification and semantics / by: (Language materials, printed)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (Language materials, printed)

Logical and relational learning by: (Language materials, printed)

Foundations of inductive logic programming by: (Language materials, printed)

A tight, practical integration of relations and functions by: (Language materials, printed)

Constraints in computational logics = theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / by: (Language materials, printed)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part II / by: (Language materials, printed)

Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part I / by: (Language materials, printed)

An inductive logic programming approach to statistical relational learning by: (Language materials, printed)

Towards a design flow for reversible logic by: (Language materials, printed)

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (Electronic resources)

Paraconsistent intelligent-based systems = new trends in the applications of paraconsistency / by: (Language materials, printed)