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
103 Items that share the Concept Logic programming
Context
Context of Logic programmingSubject 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>
