David Carral

David Carral

Inria, LIRMM, University of Montpellier, CNRS
Dirección de correo verificada de inria.fr
Citado por 841
Knowledge Representation First-Order Logic Existential Rules Description Logics
Maksim Zhukovskii

Maksim Zhukovskii

The University of Sheffield
Dirección de correo verificada de sheffield.ac.uk
Citado por 806
Graph theory random graphs first order logic descriptive complexity extremal combinatorics
Sushma Anand Akoju

Sushma Anand Akoju

PhD student
Dirección de correo verificada de unh.edu
Citado por 596
First Order Logic Large Language Models Proof Theory Automated Reasoning
Laécio Lima dos Santos

Laécio Lima dos Santos

University of Brasilia
Dirección de correo verificada de cic.unb.br
Citado por 349
MEBN Bayesian Networks First Order Logic PR-OWL
Gonzalo E. Imaz

Gonzalo E. Imaz

IIIA-CSIC
Citado por 328
propositional logic first-order logic automated reasoning satisfiability modulo theory answer set programming
Magnus Björk

Magnus Björk

Jeppesen Crew & Fleet
Dirección de correo verificada de jeppesen.com
Citado por 177
SAT First order logic Hardware verification Optimization
Ioan Dragan

Ioan Dragan

Researcher, Institute e-Austria, Timisoara and Universitatea de Vest din Timisoara
Dirección de correo verificada de e-uvt.ro
Citado por 135
Cloud Computing Formal Verification First-Order Logic Automated Theorem Proving
Neta Elad

Neta Elad

Tel Aviv University
Dirección de correo verificada de mail.tau.ac.il
Citado por 15
Programming languages Verification First-order Logic