Tag: Logic programming

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Logic programming

On the definition of "computer knows"

Added to Collection on: 2018-03-09 18:52:03

Tags for this article:

Computing
Software engineering
Theoretical computer science
Pointer
Understanding
Prolog
Logic programming
Unification

Click the tags to see associated articles and topics

View Article Details
Technology 'unification' project digs into hundreds of North Dakota state systems, websites

Added to Collection on: 2018-08-25 20:56:15

Tags for this article:

Theoretical computer science
Type theory
Mathematical logic
Logic programming
Unification
Logic in computer science
Automated theorem proving
Shawn Riley
Burgum

Click the tags to see associated articles and topics

View Article Details
What's An Artificial Intelligence Production System? Here Are The Basics

Added to Collection on: 2019-01-13 20:11:15

Tags for this article:

Technology
Artificial intelligence
Control theory
Cybernetics
Cognitive science
Database
Knowledge representation and reasoning
Logic programming
Programming paradigms
Expert systems
Automated reasoning
Production system

Click the tags to see associated articles and topics

View Article Details
Stripe raises €600m, Revenue hands over €1m and the post-vaccine office

Added to Collection on: 2021-03-15 06:33:45

Tags for this article:

Data management
Computing
Logic programming
NoSQL
Structured storage
TerminusDB
KPN
FanDuel

Click the tags to see associated articles and topics

View Article Details
IIT Madras Offers Free Online 12- Week Certificate Course on AI; Apply Here - The Better India

Added to Collection on: 2021-12-24 14:19:11

Tags for this article:

Academic disciplines
Branches of philosophy
Logic
Non-classical logic
Logic programming
Programming paradigms
Automated reasoning
Knowledge representation
Autoepistemic logic
Knowledge representation and reasoning
Default logic
Indian Institutes of Technology
Indian Institute of Technology

Click the tags to see associated articles and topics

View Article Details
What is Chain-of-Thought (CoT) Prompting? Examples & Benefits - Unite.AI

Added to Collection on: 2024-05-25 09:26:19

Tags for this article:

Artificial intelligence
Deep learning
Natural language processing
Reasoning
Formal sciences
Prompt engineering
Reason
Logic programming
Commonsense reasoning
Large language model
Logic
COT

Click the tags to see associated articles and topics

View Article Details
Symbolic Chain-of-Thought 'SymbCoT': A Fully LLM-based Framework that Integrates ...

Added to Collection on: 2024-06-02 20:50:17

Tags for this article:

Reasoning
Automated reasoning
Automated theorem proving
Logic
Programming paradigms
Commonsense reasoning
Reason
Logic programming
Logical reasoning
GPT-3
Frame

Click the tags to see associated articles and topics

View Article Details
AWS wants to drastically cut down AI hallucinations – here's how it plans to do it | ITPro

Added to Collection on: 2024-12-12 14:06:22

Tags for this article:

Deep learning
Computational neuroscience
Machine learning
Cybernetics
Data science
Artificial intelligence
Generative artificial intelligence
Hallucination
Amazon Web Services
Chatbot
Logic programming
Automated reasoning
Amazon

Click the tags to see associated articles and topics

View Article Details
Verses AI Sees Genius Outperform OpenAI Model In Tech Challenge | the deep dive

Added to Collection on: 2024-12-17 14:24:16

Tags for this article:

Artificial intelligence
ChatGPT
OpenAI
Computational neuroscience
OpenAI o1
Logic programming
Verses AI

Click the tags to see associated articles and topics

View Article Details