„Automated Reasoning“
Suchergebnisse
1.000+ Treffer
-
On the Automated Verification of Web Applications with Embedded SQL
-
Automated Reasoning for Security Protocol Analysis
-
Guaranteeing Correctness through the Communication of Checkable Proofs – (or: Would You Really Trust an Automated Reasoning System?)
-
An overview of automated reasoning and related fields
-
End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation
-
Towards transparent and efficient accident resolution: a hybrid deep learning–ontology framework for automated damage detection and culpability reasoning
-
ARA-DRL: robot skill deep reinforcement learning based on analogical reasoning and self-attention
-
Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework
-
Advancing abstract reasoning for RPMs with a path aggregation network and deep predictive reasoning
-
Scalable SAT Solving and its Application
-
Organization, management, and expert systems – models of automated reasoning
-
Causal modeling and reasoning for identifying functional deficiencies of automated driving systems
-
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
-
Automated reasoning and randomization in separation logic
-
Towards Next Generation Sequential and Parallel SAT Solvers
-
Superposition modulo theory
-
Efficient reasoning procedures for complex first-order theories
-
Automated Reasoning Embedded in Question Answering
-
AI's Knowledge Web: Logic Unleashed
-
Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning