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 OBSERVED VARIABLES

System and method for performing fast computations using quantum counting and pseudo-random sets

Architecture and method for providing insights in networks domain

WORD POLARITY A MODEL FOR INFERRING LOGIC FROM SENTENCES

Information processing apparatus, information processing method, and storage medium

Capturing the global structure of logical formulae with graph long short-term memory

Textual entailment

System and method for creating lead compounds, and compositions thereof

INTELLIGENT HEALTH MONITORING

Verification of access to secured electronic resources

Learning policy explanations

GENERATING CODE PERFORMANCE HINTS USING SOURCE CODE COVERAGE ANALYTICS, INSPECTION, AND UNSTRUCTURED PROGRAMMING DOCUMENTS

Systems and methods to semantically compare product configuration models

Method, apparatus and system for estimating causality among observed variables

Automatic detection of claims with respect to a topic

GROUND TRUTH GENERATION FRAMEWORK FOR DETERMINATION OF ALGORITHM ACCURACY AT SCALE

Limited duration supply for heuristic algorithms

User interaction during ground truth curation in a cognitive system

User interaction during ground truth curation in a cognitive system

Zero knowledge third party guarantee of service on decentralized computing platform

DYNAMIC RESAMPLING FOR SEQUENTIAL DIAGNOSIS AND DECISION MAKING

System and method for performing fast computations using quantum counting and pseudo-random sets

Data processing apparatus and method for merging and processing deterministic knowledge and non-deterministic knowledge

Architecture and method for providing insights in networks domain

Context oriented assessment for travel companionship

Training a quantum optimizer

Machine-checkable code-annotations for static application security testing

AUTOMATIC TRIGGERING OF LINEAR PROGRAMMING SOLVERS USING STREAM REASONING

High-level optimization of mathematical programs based on inductive inference from execution traces

Parsing and Interpretation of Logical Statements

Synthesizing inputs to preserve functionality

METHOD AND SYSTEM FOR DISCOVERING RELATED BOOKS BASED ON BOOK CONTENT

Optimal non-recursive method for finding a minimal subset satisfying an upward-closed property

Optimal non-recursive method for finding a minimal subset satisfying an upward-closed property

Information processing apparatus, information processing method and program

Automatic test generation for decision table based rules

Knowledge management engine for a knowledge management system

Hypothesis verification using ontologies, belief axioms, belief assertions, premise axioms, and premise assertions

Automated verification of hypotheses using ontologies

Dynamic constraint satisfaction problem solver with inferred problem association removal

Method for efficiently checking coverage of rules derived from a logical theory

Static and dynamic non-deterministic finite automata tree structure application apparatus and method

Automated ontology system

Bit-level learning for word-level constraint solving

Systems and methods for robotic process automation of mobile platforms

KAFKA: A cellular automation / complex Fibonacci sequences-based technique for encrypting and decrypting audio, video and text messages