First-Order Logic and Automated Theorem Proving

Overview of attention for book

Cover of 'First-Order Logic and Automated Theorem Proving'

Table of Contents

Attention for Chapter 5: First-Order Logic

Altmetric Badge

Citations

dimensions_citation: 337 Dimensions

Summary Dimensions citations

So far, Dimensions has found 337 publications that cite this research output.

337

The most recent citing publications are shown below. View all 337 publications that cite this research output on Dimensions.

A survey of safety and trustworthiness of large language models through the lens of verification and validation

Article in Artificial Intelligence Review (June 2024)

Logic in Mathematics and Computer Science

Preprint in arXiv (April 2024)

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

Conference proceeding (April 2024)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.