Tag: Logic in computer science

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Logic in computer science

UW Professor, Student Contribute Pages to 2021 AI Index

Added to Collection on: 2021-03-05 16:52:30

Tags for this article:

Articles
Academic disciplines
Computational neuroscience
Logic in computer science
Boolean algebra
Boolean satisfiability problem
Electronic design automation
Artificial general intelligence
Artificial intelligence
Boolean
Satisfiability

Click the tags to see associated articles and topics

View Article Details
Machine learning paves the way for modern, efficient statistical production | UNECE

Added to Collection on: 2021-04-15 19:34:14

Tags for this article:

Programming languages
Computer programming
Functional languages
Procedural programming languages
Logic in computer science
Proof assistants
Official statistics
Political communication
Machine learning
ML
United Nations Economic Commission for Europe
HOL
United Kingdom

Click the tags to see associated articles and topics

View Article Details
50 Years on the Forty Acres: Center for Teaching and Learning Celebrates Half a Century

Added to Collection on: 2024-06-24 20:25:57

Tags for this article:

Logic in computer science
Temporal logic
ChatGPT
Chatbots
Computation tree logic

Click the tags to see associated articles and topics

View Article Details
Central Piedmont Community College

Added to Collection on: 2024-07-08 18:17:11

Tags for this article:

Numerical software
Solver
Problem Solvers
Mathematics
Formal methods
Logic in computer science

Click the tags to see associated articles and topics

View Article Details
Formal verification: how a 400 year old mathematical idea could transform cybersecurity

Added to Collection on: 2024-08-06 22:41:53

Tags for this article:

Theoretical computer science
Software testing
Formal verification
Logic in computer science
Formal methods
Frama-C
Computer security
Application security
Software
Verification
Computer science
Vulnerability

Click the tags to see associated articles and topics

View Article Details
How AI and ML optimize functional verification for EDA - EE World Online

Added to Collection on: 2025-02-05 11:09:35

Tags for this article:

Logic in computer science
Electronic engineering
Hardware verification languages
Integrated circuits
Functional verification
SystemVerilog
Integrated circuit design
Hardware verification language
Hardware description language
Electronic design automation
Formal verification
Verification

Click the tags to see associated articles and topics

View Article Details
An empirical evaluation of fuzzy bidirectional long short-term memory with soft computing ... - Nature

Added to Collection on: 2025-03-12 17:53:26

Tags for this article:

Fuzzy logic
Logic in computer science
Non-classical logic
Long short-term memory
Fuzzy control system
Fuzzy set

Click the tags to see associated articles and topics

View Article Details
Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic AI Agent for ...

Added to Collection on: 2025-03-26 18:00:44

Tags for this article:

Artificial intelligence
Theoretical computer science
Deep learning
Automated theorem proving
Logic in computer science
Explainable Artificial Intelligence
Generative artificial intelligence
Large language model
Automated reasoning
Symbolic artificial intelligence
Reasoning system
Agentic AI

Click the tags to see associated articles and topics

View Article Details
Immunefi Partners with Runtime Verification and Integrates - GlobeNewswire

Added to Collection on: 2025-04-09 13:24:33

Tags for this article:

Formal methods
Logic in computer science
Formal verification
Theoretical computer science
Computer security
Cryptographic protocol
Verification
Runtime verification
Magnus

Click the tags to see associated articles and topics

View Article Details
A hybrid deep learning and fuzzy logic framework for feature-based evaluation of english ...

Added to Collection on: 2025-09-29 19:34:12

Tags for this article:

Fuzzy logic
Language
Logic in computer science
Non-classical logic
Fuzzy control system
Language acquisition
Linguistics
Vocabulary
Psycholinguistics
Explainable Artificial Intelligence
Cognition
Neuro-fuzzy

Click the tags to see associated articles and topics

View Article Details
Book a Demo