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

The Resource
Logic programming
Resource Information

The concept

**Logic programming**represents the subject, aboutness, idea or notion of resources found in**University of Missouri Libraries**.- 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 grammatical view of logic programming
- A resolution principle for a logic with restricted quantifiers
- A tight, practical integration of relations and functions
- A tight, practical integration of relations and functions
- Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research
- Advances in logic programming and automated reasoning
- Answer set programming for continuous domains : a fuzzy logic approach
- Applications of logic databases
- Arithmetic and logic in computer systems
- Arithmetic and logic in computer systems
- Artificial intelligence in simulation
- Autonomous, model-based diagnosis agents
- CALLAS: a physical design framework for configurable array logic
- Computational logic : essays in honor of Alan Robinson
- Computational logic : logic programming and beyond
- Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
- Computing with logic : logic programming with Prolog
- Conclog : a methodological approach to concurrent logic programming
- Conclog : a methodological approach to concurrent logic programming
- Constraint handling rules
- Constraint logic programming : selected research
- Constraint logic programming using ECLiPSe
- Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
- Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
- Cooperating heterogeneous systems
- Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz
- Deduction and declarative programming
- Discrete structures, logic, and computability
- Distributed constraint logic programming
- Essentials of logic programming
- Evolving knowledge bases : specification and semantics
- Foundations of equational logic programming
- Foundations of equational logic programming
- Foundations of inductive logic programming
- Foundations of inductive logic programming
- From logic design to logic programming : theorem proving techniques and P-functions
- From logic design to logic programming : theorem proving techniques and P-functions
- From logic to logic programming
- From standard logic to logic programming : introducing a logic based approach to artificial intelligence
- Game development with Ren'Py : introduction to visual novel games using Ren'Py, TyranoBuilder, and twine
- General game playing
- Handbook of logic in artificial intelligence and logic programming
- Inductive 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 : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
- Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
- Inductive logic programming : techniques and applications
- Interactive relational database design : a logic programming implementation
- Interactive relational database design : a logic programming implementation
- Interactive theory revision : an inductive logic programming approach
- Introduction to logic programming
- Logic and integer programming
- Logic and integer programming
- Logic for computer scientists
- Logic for computer scientists
- Logic in computer science : modelling and reasoning about systems
- Logic program synthesis from incomplete information : by Pierre Flener
- Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
- Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings
- Logic programming : new frontiers
- Logic programming : operational semantics and proof theory
- Logic programming and databases
- Logic programming and its applications
- Logic programming with Prolog
- Logic programming with Prolog
- Logic programming, functions, relations, and equations
- Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday
- Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
- Logic-based 0-1 constraint programming
- Logic-based knowledge representation
- Logic/object-oriented concurrent robot programming and performance aspects
- Logical and relational learning
- Logical and relational learning
- Meta-logics and logic programming
- Multiple-Valued Logic, 24th Symposium (ISMVL '94)
- Multiprocessor execution of logic programs
- Non-deterministic concurrent logic programming in Pandora
- Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
- Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers
- Over-constrained systems
- Parallel and constraint logic programming : an introduction to logic, parallelism and constraints
- Parallel and distributed logic programming : towards the design of a framework for the next generation database machines
- Parallel computers : object-oriented, functional and logic
- Parallel execution of logic programs
- Parallel logic programming
- Parallel logic programming
- Parallelism in logic : its potential for performance and program development
- Probabilistic inductive logic programming : theory and applications
- Program development in computational logic : a decade of research advances in logic-based program development
- Programming logics : essays in memory of Harald Ganzinger
- Programming with higher-order logic
- Reasoning with logic programming
- Reversible logic synthesis : from fundamentals to quantum computing
- Termination proofs for logic programs
- Termination proofs for logic programs
- The clausal theory of types
- The deductive spreadsheet
- The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
- The logic programming paradigm : a 25-year perspective
- Types in logic programming
- Warren's abstract machine : a tutorial reconstruction

## 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.library.missouri.edu/resource/mJ6uoU-yTCU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</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.library.missouri.edu/resource/mJ6uoU-yTCU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`