<--- Back to Details
First PageDocument Content
Logic programming / Programming paradigms / Multi-agent systems / Reasoning / Epistemology / Abductive logic programming / AgentSpeak / Prolog / Robert Kowalski / Artificial intelligence / Computing / Software engineering
Date: 2009-08-25 11:02:02
Logic programming
Programming paradigms
Multi-agent systems
Reasoning
Epistemology
Abductive logic programming
AgentSpeak
Prolog
Robert Kowalski
Artificial intelligence
Computing
Software engineering

Combining Logic Programs and Production Systems

Add to Reading List

Source URL: www.doc.ic.ac.uk

Download Document from Source Website

File Size: 187,63 KB

Share Document on Facebook

Similar Documents

Mathematics / Theoretical computer science / Elementary mathematics / Compiler optimizations / Static single assignment form / Logic programming / Scope / Unification / Term / FO / Variable / Singular spectrum analysis

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

DocID: 1xUvR - View Document

Computational neuroscience / Machine learning / Artificial intelligence / Cybernetics / Learning / Applied mathematics / Artificial neural networks / Formal sciences / Backpropagation / Inductive programming

Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172

DocID: 1xTa2 - View Document

WHAT IS SPACECHEM? SpaceChem is an intriguing, "problem-solving centric" puzzle game by Zachtronics Industries that combines the logic of computer programming with the scientific domain of chemistry, set in an original s

DocID: 1vmld - View Document

Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

DocID: 1uM8H - View Document

See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publicationAnalysis of Performance of Various Activation Functions for doing the logic programming in Hopfield

DocID: 1uzA8 - View Document