Automatic theorem proving

Industry

CPC
G06N5/006

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS G06N5/00Computer systems utilising knowledge based models

Current Industry

G06N5/006Automatic theorem proving

Industries

Patents Grantslast 30 patents

Information Patent Grant
Systems and methods to semantically compare product configuration m...
- Patent number 11,586,935
- Issue date Feb 21, 2023
- SIEMENS INDUSTRY SOFTWARE INC.
- Martin Richard Neuhäußer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static and dynamic non-deterministic finite automata tree structure...
- Patent number 11,563,625
- Issue date Jan 24, 2023
- RAKUTEN MOBILE, INC.
- Mihirraj Narendra Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Textual entailment
- Patent number 11,455,543
- Issue date Sep 27, 2022
- Accenture Global Solutions Limited
- Shaun Cyprian D'Souza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Learning policy explanations
- Patent number 11,443,212
- Issue date Sep 13, 2022
- International Business Machines Corporation
- Akihiro Kishimoto
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Information processing apparatus, information processing method, an...
- Patent number 11,347,942
- Issue date May 31, 2022
- NEC Corporation
- Masako Imanishi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, apparatus and system for estimating causality among observe...
- Patent number 11,341,424
- Issue date May 24, 2022
- NEC Corporation
- Wenjuan Wei
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bit-level learning for word-level constraint solving
- Patent number 11,341,416
- Issue date May 24, 2022
- Synopsys, Inc.
- In-Ho Moon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for robotic process automation of mobile platforms
- Patent number 11,314,531
- Issue date Apr 26, 2022
- UiPath Inc.
- Christian Mayer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Limited duration supply for heuristic algorithms
- Patent number 11,200,296
- Issue date Dec 14, 2021
- Red Hat, Inc.
- Lukas Petrovicky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for performing fast computations using quantum co...
- Patent number 11,170,305
- Issue date Nov 9, 2021
- Goldman Sachs & Co. LLC
- Paul Burchard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data processing apparatus and method for merging and processing det...
- Patent number 11,144,833
- Issue date Oct 12, 2021
- Electronics and Telecommunications Research Institute
- Soon Hyun Kwon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic detection of claims with respect to a topic
- Patent number 11,113,471
- Issue date Sep 7, 2021
- International Business Machines Corporation
- Ehud Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Architecture and method for providing insights in networks domain
- Patent number 11,100,415
- Issue date Aug 24, 2021
- Maria Bala Duggimpudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Zero knowledge third party guarantee of service on decentralized co...
- Patent number 11,037,118
- Issue date Jun 15, 2021
- International Business Machines Corporation
- James R. Kraemer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
User interaction during ground truth curation in a cognitive system
- Patent number 10,997,214
- Issue date May 4, 2021
- International Business Machines Corporation
- Corville O. Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Context oriented assessment for travel companionship
- Patent number 10,650,353
- Issue date May 12, 2020
- International Business Machines Corporation
- Thomas D. Griffin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated ontology system
- Patent number 10,628,743
- Issue date Apr 21, 2020
- Andrew R. Kalukin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
User interaction during ground truth curation in a cognitive system
- Patent number 10,599,682
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Corville O. Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
High-level optimization of mathematical programs based on inductive...
- Patent number 10,318,867
- Issue date Jun 11, 2019
- International Business Machines Corporation
- Rei Odaira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Training a quantum optimizer
- Patent number 10,176,433
- Issue date Jan 8, 2019
- Microsoft Technology Licensing, LLC
- Matthew Hastings
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Machine-checkable code-annotations for static application security...
- Patent number 10,068,093
- Issue date Sep 4, 2018
- SAP SE
- Achim D. Brucker
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthesizing inputs to preserve functionality
- Patent number 9,697,018
- Issue date Jul 4, 2017
- International Business Machines Corporation
- Lucas Brutschy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
KAFKA: A cellular automation / complex Fibonacci sequences-based te...
- Patent number 9,544,277
- Issue date Jan 10, 2017
- Roger G Marshall
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatic test generation for decision table based rules
- Patent number 9,477,927
- Issue date Oct 25, 2016
- SOURCEPULSE LLC
- Paul Snow
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimal non-recursive method for finding a minimal subset satisfyin...
- Patent number 9,367,801
- Issue date Jun 14, 2016
- International Business Machines Corporation
- Philippe Laborie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Optimal non-recursive method for finding a minimal subset satisfyin...
- Patent number 9,349,094
- Issue date May 24, 2016
- International Business Machines Corporation
- Philippe Laborie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Knowledge management engine for a knowledge management system
- Patent number 9,305,261
- Issue date Apr 5, 2016
- Bank of America Corporation
- Susan McClung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated verification of hypotheses using ontologies
- Patent number 8,990,138
- Issue date Mar 24, 2015
- Infotech Soft, Inc.
- Emilio Patrick Shironoshita
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hypothesis verification using ontologies, belief axioms, belief ass...
- Patent number 8,959,041
- Issue date Feb 17, 2015
- Emilio Patrick Shironoshita
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic constraint satisfaction problem solver with inferred proble...
- Patent number 8,447,716
- Issue date May 21, 2013
- Oracle International Corporation
- Claire M. Bagley
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
EXPLAINING A THEOREM PROVING MODEL
- Publication number 20220414477
- Publication date Dec 29, 2022
- International Business Machines Corporation
- Gabriele Picco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Device and Method for Configuring a Technical System
- Publication number 20220188650
- Publication date Jun 16, 2022
- Santosh Kumar SINGH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL VERIFICATION DEVICE AND MODEL VERIFICATION METHOD
- Publication number 20220180213
- Publication date Jun 9, 2022
- Inter-University Research Institute Corporation Research Organization of Info...
- Zhenya Zhang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, APPARATUS AND SYSTEM FOR ESTIMATING CAUSALITY AMONG OBSERVE...
- Publication number 20220076150
- Publication date Mar 10, 2022
- NEC Corporation
- Wenjuan WEI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PERFORMING FAST COMPUTATIONS USING QUANTUM CO...
- Publication number 20220067537
- Publication date Mar 3, 2022
- Goldman Sachs & Co. LLC
- Paul Burchard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARCHITECTURE AND METHOD FOR PROVIDING INSIGHTS IN NETWORKS DOMAIN
- Publication number 20220019925
- Publication date Jan 20, 2022
- University of Louisiana at Lafayette
- Maria Bala Duggimpudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WORD POLARITY A MODEL FOR INFERRING LOGIC FROM SENTENCES
- Publication number 20210326713
- Publication date Oct 21, 2021
- Michelle N Archuleta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CAPTURING THE GLOBAL STRUCTURE OF LOGICAL FORMULAE WITH GRAPH LONG...
- Publication number 20210150373
- Publication date May 20, 2021
- International Business Machines Corporation
- Maxwell Crouse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEXTUAL ENTAILMENT
- Publication number 20210110277
- Publication date Apr 15, 2021
- ACCENTURE GLOBAL SOLUTIONS LIMITED
- Shaun Cyprian D'SOUZA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR CREATING LEAD COMPOUNDS, AND COMPOSITIONS THE...
- Publication number 20210082542
- Publication date Mar 18, 2021
- Burzin Bhavnagri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTELLIGENT HEALTH MONITORING
- Publication number 20200388287
- Publication date Dec 10, 2020
- CurieAI, Inc.
- Ramin Anushiravani
- A61 - MEDICAL OR VETERINARY SCIENCE HYGIENE
Information Patent Application
VERIFICATION OF ACCESS TO SECURED ELECTRONIC RESOURCES
- Publication number 20200380112
- Publication date Dec 3, 2020
- EQUIFAX INC.
- Kenneth ALLEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LEARNING POLICY EXPLANATIONS
- Publication number 20200250557
- Publication date Aug 6, 2020
- International Business Machines Corporation
- Akihiro KISHIMOTO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING CODE PERFORMANCE HINTS USING SOURCE CODE COVERAGE ANALYT...
- Publication number 20200134476
- Publication date Apr 30, 2020
- International Business Machines Corporation
- BRUNO SILVA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS TO SEMANTICALLY COMPARE PRODUCT CONFIGURATION M...
- Publication number 20200074309
- Publication date Mar 5, 2020
- Siemens Product Lifecycle Management Software Inc.
- Martin Richard Neuhäußer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, APPARATUS AND SYSTEM FOR ESTIMATING CAUSALITY AMONG OBSERVE...
- Publication number 20190318256
- Publication date Oct 17, 2019
- NEC Corporation
- Wenjuan WEI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC DETECTION OF CLAIMS WITH RESPECT TO A TOPIC
- Publication number 20190220515
- Publication date Jul 18, 2019
- International Business Machines Corporation
- Ehud Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GROUND TRUTH GENERATION FRAMEWORK FOR DETERMINATION OF ALGORITHM AC...
- Publication number 20190188574
- Publication date Jun 20, 2019
- GENERAL ELECTRIC COMPANY
- Hari Menon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER INTERACTION DURING GROUND TRUTH CURATION IN A COGNITIVE SYSTEM
- Publication number 20190050474
- Publication date Feb 14, 2019
- International Business Machines Corporation
- Corville O. Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER INTERACTION DURING GROUND TRUTH CURATION IN A COGNITIVE SYSTEM
- Publication number 20190050472
- Publication date Feb 14, 2019
- International Business Machines Corporation
- Corville O. Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC RESAMPLING FOR SEQUENTIAL DIAGNOSIS AND DECISION MAKING
- Publication number 20180218264
- Publication date Aug 2, 2018
- Conduent Business Services, LLC
- Jean-Michel Renders
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PERFORMING FAST COMPUTATIONS USING QUANTUM CO...
- Publication number 20180189653
- Publication date Jul 5, 2018
- Goldman Sachs & Co. LLC
- Paul Burchard
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA PROCESSING APPARATUS AND METHOD FOR MERGING AND PROCESSING DET...
- Publication number 20180144250
- Publication date May 24, 2018
- ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE
- Soon Hyun KWON
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARCHITECTURE AND METHOD FOR PROVIDING INSIGHTS IN NETWORKS DOMAIN
- Publication number 20180096255
- Publication date Apr 5, 2018
- University of Louisiana at Lafayette
- Maria Bala Duggimpudi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC TRIGGERING OF LINEAR PROGRAMMING SOLVERS USING STREAM REA...
- Publication number 20170116526
- Publication date Apr 27, 2017
- Cisco Technology, Inc.
- Samer Salam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parsing and Interpretation of Logical Statements
- Publication number 20170046139
- Publication date Feb 16, 2017
- Xiaohua Yi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR DISCOVERING RELATED BOOKS BASED ON BOOK CONTENT
- Publication number 20160034483
- Publication date Feb 4, 2016
- KOBO Incorporated
- Qingwei GE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC TEST GENERATION FOR DECISION TABLE BASED RULES
- Publication number 20140143198
- Publication date May 22, 2014
- Paul Snow
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Knowledge Management Engine for a Knowledge Management System
- Publication number 20140114903
- Publication date Apr 24, 2014
- Bank of America Corporation
- Susan McClung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED VERIFICATION OF HYPOTHESES USING ONTOLOGIES
- Publication number 20130275345
- Publication date Oct 17, 2013
- Emilio Patrick Shironoshita
- G06 - COMPUTING CALCULATING COUNTING

Automatic theorem proving

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Systems and methods to semantically compare product configuration m...

Static and dynamic non-deterministic finite automata tree structure...

Textual entailment

Learning policy explanations

Information processing apparatus, information processing method, an...

Method, apparatus and system for estimating causality among observe...

Bit-level learning for word-level constraint solving

Systems and methods for robotic process automation of mobile platforms

Limited duration supply for heuristic algorithms

System and method for performing fast computations using quantum co...

Data processing apparatus and method for merging and processing det...

Automatic detection of claims with respect to a topic

Architecture and method for providing insights in networks domain

Zero knowledge third party guarantee of service on decentralized co...

User interaction during ground truth curation in a cognitive system

Context oriented assessment for travel companionship

Automated ontology system

User interaction during ground truth curation in a cognitive system

High-level optimization of mathematical programs based on inductive...

Training a quantum optimizer

Machine-checkable code-annotations for static application security...

Synthesizing inputs to preserve functionality

KAFKA: A cellular automation / complex Fibonacci sequences-based te...

Automatic test generation for decision table based rules

Optimal non-recursive method for finding a minimal subset satisfyin...

Optimal non-recursive method for finding a minimal subset satisfyin...

Knowledge management engine for a knowledge management system

Automated verification of hypotheses using ontologies

Hypothesis verification using ontologies, belief axioms, belief ass...

Dynamic constraint satisfaction problem solver with inferred proble...

Patents Applicationslast 30 patents

EXPLAINING A THEOREM PROVING MODEL

Device and Method for Configuring a Technical System

MODEL VERIFICATION DEVICE AND MODEL VERIFICATION METHOD

METHOD, APPARATUS AND SYSTEM FOR ESTIMATING CAUSALITY AMONG OBSERVE...

SYSTEM AND METHOD FOR PERFORMING FAST COMPUTATIONS USING QUANTUM CO...

ARCHITECTURE AND METHOD FOR PROVIDING INSIGHTS IN NETWORKS DOMAIN

WORD POLARITY A MODEL FOR INFERRING LOGIC FROM SENTENCES

CAPTURING THE GLOBAL STRUCTURE OF LOGICAL FORMULAE WITH GRAPH LONG...

TEXTUAL ENTAILMENT

SYSTEM AND METHOD FOR CREATING LEAD COMPOUNDS, AND COMPOSITIONS THE...

INTELLIGENT HEALTH MONITORING

VERIFICATION OF ACCESS TO SECURED ELECTRONIC RESOURCES

LEARNING POLICY EXPLANATIONS

GENERATING CODE PERFORMANCE HINTS USING SOURCE CODE COVERAGE ANALYT...

SYSTEMS AND METHODS TO SEMANTICALLY COMPARE PRODUCT CONFIGURATION M...

METHOD, APPARATUS AND SYSTEM FOR ESTIMATING CAUSALITY AMONG OBSERVE...

AUTOMATIC DETECTION OF CLAIMS WITH RESPECT TO A TOPIC

GROUND TRUTH GENERATION FRAMEWORK FOR DETERMINATION OF ALGORITHM AC...

USER INTERACTION DURING GROUND TRUTH CURATION IN A COGNITIVE SYSTEM

USER INTERACTION DURING GROUND TRUTH CURATION IN A COGNITIVE SYSTEM

DYNAMIC RESAMPLING FOR SEQUENTIAL DIAGNOSIS AND DECISION MAKING

SYSTEM AND METHOD FOR PERFORMING FAST COMPUTATIONS USING QUANTUM CO...

DATA PROCESSING APPARATUS AND METHOD FOR MERGING AND PROCESSING DET...

ARCHITECTURE AND METHOD FOR PROVIDING INSIGHTS IN NETWORKS DOMAIN

AUTOMATIC TRIGGERING OF LINEAR PROGRAMMING SOLVERS USING STREAM REA...

Parsing and Interpretation of Logical Statements

METHOD AND SYSTEM FOR DISCOVERING RELATED BOOKS BASED ON BOOK CONTENT

AUTOMATIC TEST GENERATION FOR DECISION TABLE BASED RULES

Knowledge Management Engine for a Knowledge Management System

AUTOMATED VERIFICATION OF HYPOTHESES USING ONTOLOGIES