Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies With Datasets

Proceedings of the AAAI Conference on Artificial Intelligence
doi 10.1609/aaai.v33i01.330110039
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for the Advancement of Artificial Intelligence (AAAI)

Related search

A Representation Model of Geometrical Tolerances Based on First Order Logic

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2012English

Literal Projection for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Complexity Results for First-Order Two-Variable Logic With Counting

SIAM Journal on Computing
MathematicsComputer Science
2000English

Blocked Clauses in First-Order Logic

English

Geometrisation of First-Order Logic

Bulletin of Symbolic Logic
PhilosophyLogic
2015English

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy