#
Logic programming
Resource Information
The concept ** Logic programming** represents the subject, aboutness, idea or notion of resources found in **University of Liverpool**.

The Resource
Logic programming
Resource Information

The concept

**Logic programming**represents the subject, aboutness, idea or notion of resources found in**University of Liverpool**.- Label
- Logic programming

## Context

Context of Logic programming#### Subject of

No resources found

No enriched resources found

- A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
- A defeasible logic programming-based framework to support argumentation in semantic web applications
- A grammatical view of logic programming
- Advances in knowledge representation, logic programming, and abstract argumentation : essays dedicated to Gerhard Brewka on the occasion of his 60th birthday
- An inductive logic programming approach to statistical relational learning
- An introduction to logic programming through Prolog
- Answer set programming for continuous domains : a fuzzy logic approach
- Answer set solving in practice
- Arithmetic and logic in computer systems
- Computational logic : essays in honor of Alan Robinson
- Computing with logic: logic programming with Prolog
- Constraint Handling Rules
- Constraint logic programming using ECLiPSe
- Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
- Datalog and logic databases
- Deductive databases and logic programming
- Discrete structures, logic, and computability
- Essence of logic
- Essentials of logic programming
- Evolving knowledge bases : specification and semantics
- Fril, fuzzy and evidential reasoning in artificial intelligence
- From logic to logic programming
- From modal logic to deductive databases: introducing a logic based approach to artificial intelligence
- General game playing
- Handbook of logic in artificial intelligence and logic programming
- Inductive logic programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
- Inductive logic programming : from machine learning to software engineering
- Inductive logic programming: techniques and applications
- Introduction to logic programming
- Logic and integer programming
- Logic and objects
- Logic for computer scientists
- Logic programming : operational semantics and proof theory
- Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
- Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
- Logic programming with Prolog
- Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday
- Logic programming: systematic program development
- Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Logic with Prolog
- Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
- Logical and relational learning
- Logical and relational learning : from ILP to MRDM
- Management of knowledge imperfection in building intelligent systems
- Parallel and distributed logic programming : towards the design of a framework for the next generation database machines
- Parallel execution of logic programs
- Parallel logic programming in parlog: the language and its implementation
- Parallel logic programming techniques
- Probabilistic inductive logic programming : theory and applications
- Probabilistic inductive logic programming : theory and applications
- Programming in PARLOG
- Programming logics : essays in memory of Harald Ganzinger
- Programming with constraints : an introduction
- Reliability prediction from burn-in data fit to reliability models
- Reliability prediction from burn-in data fit to reliability models
- Reversible logic synthesis methodologies with application to quantum computing
- Second-order quantifier elimination : foundations, computational aspects and applications
- The clausal theory of types
- The deductive spreadsheet
- The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution
- Time and logic: a computational approach
- Towards a design flow for reversible logic
- Warren's abstract machine : a tutorial reconstruction
- Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/mJ6uoU-yTCU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/mJ6uoU-yTCU/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic programming

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/mJ6uoU-yTCU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/mJ6uoU-yTCU/">Logic programming</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>`