Logic programming

Industry

CPC
G06F8/313

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

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F8/00Arrangements for software engineering

Current Industry

G06F8/313Logic programming

Industries

Patents Grantslast 30 patents

Information Patent Grant
Software defined neural network layer pipelining
- Patent number 12,086,572
- Issue date Sep 10, 2024
- Xilinx, Inc.
- Yongjun Wu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Tool for creating forms in webpage
- Patent number 11,789,707
- Issue date Oct 17, 2023
- Yulin Yin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Declarative container components for builders
- Patent number 11,782,684
- Issue date Oct 10, 2023
- salesforce, Inc.
- Jan Ove Kristian Olsson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for software development including column-based p...
- Patent number 11,741,411
- Issue date Aug 29, 2023
- Oracle International Corporation
- Nicolas Damonte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configuration of workflows for coordinated device environments
- Patent number 11,706,314
- Issue date Jul 18, 2023
- Amazon Technologies, Inc.
- Kawarjit Bedi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for software development including column-based p...
- Patent number 11,531,947
- Issue date Dec 20, 2022
- Oracle International Corporation
- Nicolas Damonte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Information processing device, information processing method and no...
- Patent number 11,409,256
- Issue date Aug 9, 2022
- Omron Corporation
- Takashi Sakuma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program creation assistance device
- Patent number 11,321,056
- Issue date May 3, 2022
- Keyence Corporation
- Masashi Kawanaka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program creation assistance device
- Patent number 11,321,055
- Issue date May 3, 2022
- Keyence Corporation
- Masashi Kawanaka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining correct answers to tax and accounting issues arising fr...
- Patent number 11,295,393
- Issue date Apr 5, 2022
- Henry A. Orphys
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing sharable cell-based analytical notebooks
- Patent number 11,226,967
- Issue date Jan 18, 2022
- Palantir Technologies Inc.
- James Shuster
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Relational logic integration
- Patent number 11,226,794
- Issue date Jan 18, 2022
- SAP SE
- Daniel Ritter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Techniques for approximate neighbor selection in tree models for co...
- Patent number 11,182,137
- Issue date Nov 23, 2021
- Software AG
- Ramu Ramaiah
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Application programming interface simulation based on declarative a...
- Patent number 11,030,082
- Issue date Jun 8, 2021
- Salesforce.com, Inc.
- Billy Ma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Implementing a logic design
- Patent number 10,997,334
- Issue date May 4, 2021
- Assurant Design Automation LLC
- M. David McFarland
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstraction of backtracking
- Patent number 10,884,773
- Issue date Jan 5, 2021
- International Business Machines Corporation
- Douglas C. Ewing
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing sharable cell-based analytical notebooks
- Patent number 10,783,148
- Issue date Sep 22, 2020
- Palantir Technologies Inc.
- James Shuster
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for a computational notebook interface
- Patent number 10,768,904
- Issue date Sep 8, 2020
- Fuji Xerox Co., Ltd.
- John Edward Wenskovitch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying logic problems in text using a statistical approach and...
- Patent number 10,592,603
- Issue date Mar 17, 2020
- International Business Machines Corporation
- Brett L. Carter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Relational logic integration
- Patent number 10,564,937
- Issue date Feb 18, 2020
- SAP SE
- Daniel Ritter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Configuration model parsing for constraint-based systems
- Patent number 10,474,435
- Issue date Nov 12, 2019
- SAP SE
- Alexander Shepil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstraction of backtracking
- Patent number 10,452,415
- Issue date Oct 22, 2019
- International Business Machines Corporation
- Douglas C. Ewing
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for arbitrary software logic modeling
- Patent number 10,402,173
- Issue date Sep 3, 2019
- General Electric Company
- Liling Ren
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing sharable cell-based analytical notebooks
- Patent number 10,282,450
- Issue date May 7, 2019
- Palantir Technologies Inc.
- James Shuster
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method for expanding the scope of systems management...
- Patent number 10,169,222
- Issue date Jan 1, 2019
- International Business Machines Corporation
- Praveen S. Chappalgaon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Flowchart generating method and flowchart generating apparatus base...
- Patent number 10,031,726
- Issue date Jul 24, 2018
- UBTECH ROBOTICS CORP.
- Youjun Xiong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interoperable machine learning platform
- Patent number 10,026,041
- Issue date Jul 17, 2018
- Microsoft Technology Licensing, LLC
- Vijay Narayanan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing sharable cell-based analytical notebooks
- Patent number 10,002,163
- Issue date Jun 19, 2018
- Palantir Technologies Inc.
- James Shuster
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interface infrastructure for a continuation based runtime
- Patent number 9,916,136
- Issue date Mar 13, 2018
- Microsoft Technology Licensing, LLC
- Kenneth D. Wolf
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic stack trace
- Patent number 9,836,440
- Issue date Dec 5, 2017
- Facebook, Inc.
- Alexey N. Spiridonov
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VISUAL LOGIC EXECUTION METHOD, SYSTEM, AND DEVICE, AND MEDIUM
- Publication number 20240103816
- Publication date Mar 28, 2024
- SHANGHAI LILITH TECHNOLOGY CORPORATION
- Di Wu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED P...
- Publication number 20230410010
- Publication date Dec 21, 2023
- ORACLE INTERNATIONAL CORPORATION
- Nicolas Damonte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR PROCESSING EVENTS
- Publication number 20230153084
- Publication date May 18, 2023
- SymOps, Inc.
- Yasyf Zeid Mohamedali
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED P...
- Publication number 20230080336
- Publication date Mar 16, 2023
- ORACLE INTERNATIONAL CORPORATION
- Nicolas Damonte
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LANGUAGE FOR GENERATING ABLATION PROTOCOLS AND SYSTEM CONFIGURATIONS
- Publication number 20230048486
- Publication date Feb 16, 2023
- BIOSENSE WEBSTER (ISRAEL) LTD.
- Assaf Govari
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM CREATION ASSISTANCE DEVICE
- Publication number 20210149643
- Publication date May 20, 2021
- KEYENCE CORPORATION
- Masashi KAWANAKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM CREATION ASSISTANCE DEVICE
- Publication number 20210149644
- Publication date May 20, 2021
- KEYENCE CORPORATION
- Masashi KAWANAKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TECHNIQUES FOR APPROXIMATE NEIGHBOR SELECTION IN TREE MODELS FOR CO...
- Publication number 20210132921
- Publication date May 6, 2021
- Software AG
- Ramu RAMAIAH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS
- Publication number 20200380001
- Publication date Dec 3, 2020
- Palantir Technologies Inc.
- JAMES SHUSTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RELATIONAL LOGIC INTEGRATION
- Publication number 20200341738
- Publication date Oct 29, 2020
- SAP SE
- Daniel Ritter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING METHOD, AND N...
- Publication number 20200225633
- Publication date Jul 16, 2020
- Omron Corporation
- Takashi SAKUMA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERACTIVE APPLICATION TOOL AND METHODS
- Publication number 20200174755
- Publication date Jun 4, 2020
- Lollihop, Inc.
- Maximillian Fritz Rose
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONFIGURATION OF WORKFLOWS FOR COORDINATED DEVICE ENVIRONMENTS
- Publication number 20200169619
- Publication date May 28, 2020
- AMAZON TECHNOLOGIES, INC.
- Kawarjit Bedi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR A COMPUTATIONAL NOTEBOOK INTERFACE
- Publication number 20200133638
- Publication date Apr 30, 2020
- Fuji Xerox co., LTD.
- John Edward Wenskovitch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ABSTRACTION OF BACKTRACKING
- Publication number 20190339999
- Publication date Nov 7, 2019
- International Business Machines Corporation
- Douglas C. Ewing
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS
- Publication number 20190213191
- Publication date Jul 11, 2019
- Palantir Technologies Inc.
- JAMES SHUSTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONFIGURATION MODEL PARSING FOR CONSTRAINT-BASED SYSTEMS
- Publication number 20190042207
- Publication date Feb 7, 2019
- SAP SE
- Alexander Shepil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Retrieving data from a data storage system
- Publication number 20190026336
- Publication date Jan 24, 2019
- Vitesse Data, Inc.
- Feng Tian
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
- Publication number 20180246703
- Publication date Aug 30, 2018
- GENERAL ELECTRIC COMPANY
- Liling REN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLOWCHART GENERATING METHOD AND FLOWCHART GENERATING APPARATUS BASE...
- Publication number 20180189034
- Publication date Jul 5, 2018
- UBTECH Robotics Corp.
- Youjun Xiong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS
- Publication number 20180052891
- Publication date Feb 22, 2018
- Palantir Technologies Inc.
- JAMES SHUSTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RELATIONAL LOGIC INTEGRATION
- Publication number 20160019032
- Publication date Jan 21, 2016
- Daniel Ritter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PLD EDITOR AND METHOD FOR EDITING PLD CODE
- Publication number 20150355887
- Publication date Dec 10, 2015
- Rockwell Automation Technologies, Inc.
- Tao Song
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTATIONAL DESIGN METHOD AND INTERFACE
- Publication number 20150095881
- Publication date Apr 2, 2015
- Autodesk, Inc.
- Matthew David Jezyk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC STACK TRACE
- Publication number 20140229919
- Publication date Aug 14, 2014
- FACEBOOK, INC.
- Alexey Spiridonov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RULE-BASED METHOD FOR PROVING UNSATISFIABLE CONDITIONS IN A MIXED N...
- Publication number 20130326485
- Publication date Dec 5, 2013
- FUJITSU LIMITED
- Indradeep Ghosh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL
- Publication number 20130290925
- Publication date Oct 31, 2013
- The MathWorks, Inc.
- Siddhartha Shankar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVAILABLE SYMBOL SET GENERATION USING UNTYPED VARIABLE
- Publication number 20130159967
- Publication date Jun 20, 2013
- Microsoft Corporation
- Charles P. Jazdzewski
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL-THEORETIC APPROACH TO DATA ANONYMITY AND INFERENCE CONTROL
- Publication number 20130124452
- Publication date May 16, 2013
- Telcordia Technologies, Inc.
- Konstantine Arkoudas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR PROVIDING GRAPHICAL INTERFACES FOR DECLARA...
- Publication number 20120304093
- Publication date Nov 29, 2012
- Boldai AB
- Martin Magnusson
- G06 - COMPUTING CALCULATING COUNTING

Logic programming

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Software defined neural network layer pipelining

Tool for creating forms in webpage

Declarative container components for builders

System and method for software development including column-based p...

Configuration of workflows for coordinated device environments

System and method for software development including column-based p...

Information processing device, information processing method and no...

Program creation assistance device

Program creation assistance device

Determining correct answers to tax and accounting issues arising fr...

Managing sharable cell-based analytical notebooks

Relational logic integration

Techniques for approximate neighbor selection in tree models for co...

Application programming interface simulation based on declarative a...

Implementing a logic design

Abstraction of backtracking

Managing sharable cell-based analytical notebooks

System and method for a computational notebook interface

Identifying logic problems in text using a statistical approach and...

Relational logic integration

Configuration model parsing for constraint-based systems

Abstraction of backtracking

Systems and methods for arbitrary software logic modeling

Managing sharable cell-based analytical notebooks

Apparatus and method for expanding the scope of systems management...

Flowchart generating method and flowchart generating apparatus base...

Interoperable machine learning platform

Managing sharable cell-based analytical notebooks

Interface infrastructure for a continuation based runtime

Semantic stack trace

Patents Applicationslast 30 patents

VISUAL LOGIC EXECUTION METHOD, SYSTEM, AND DEVICE, AND MEDIUM

SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED P...

SYSTEM AND METHOD FOR PROCESSING EVENTS

SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED P...

LANGUAGE FOR GENERATING ABLATION PROTOCOLS AND SYSTEM CONFIGURATIONS

PROGRAM CREATION ASSISTANCE DEVICE

PROGRAM CREATION ASSISTANCE DEVICE

TECHNIQUES FOR APPROXIMATE NEIGHBOR SELECTION IN TREE MODELS FOR CO...

MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS

RELATIONAL LOGIC INTEGRATION

INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING METHOD, AND N...

INTERACTIVE APPLICATION TOOL AND METHODS

CONFIGURATION OF WORKFLOWS FOR COORDINATED DEVICE ENVIRONMENTS

SYSTEM AND METHOD FOR A COMPUTATIONAL NOTEBOOK INTERFACE

ABSTRACTION OF BACKTRACKING

MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS

CONFIGURATION MODEL PARSING FOR CONSTRAINT-BASED SYSTEMS

Retrieving data from a data storage system

SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING

FLOWCHART GENERATING METHOD AND FLOWCHART GENERATING APPARATUS BASE...

MANAGING SHARABLE CELL-BASED ANALYTICAL NOTEBOOKS

RELATIONAL LOGIC INTEGRATION

PLD EDITOR AND METHOD FOR EDITING PLD CODE

COMPUTATIONAL DESIGN METHOD AND INTERFACE

SEMANTIC STACK TRACE

RULE-BASED METHOD FOR PROVING UNSATISFIABLE CONDITIONS IN A MIXED N...

UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL

AVAILABLE SYMBOL SET GENERATION USING UNTYPED VARIABLE

MODEL-THEORETIC APPROACH TO DATA ANONYMITY AND INFERENCE CONTROL

METHOD AND APPARATUS FOR PROVIDING GRAPHICAL INTERFACES FOR DECLARA...