On the Expressiveness of Levesque's Normal Form

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.2428
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

On the Learnability of Disjunctive Normal Form Formulas

Machine Learning
Artificial IntelligenceSoftware
1995English

On the Expressiveness of TPTL and MTL

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

On the Relative Expressiveness of Higher-Order Session Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

Extensive Form Reasoning in Normal Form Games

Econometrica
EconomicsEconometrics
1993English

On the Exact Reduction of a Univariate Catastrophe to Normal Form

Journal of Physics A: Mathematical and General
1985English

On the Expressiveness of Π-Calculus for Encoding Mobile Ambients

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2016English

Bricklaying and the Hermite Normal Form

American Mathematical Monthly
Mathematics
1993English

Second Normal Form (2NF)

2017English

Extended Output Depending Normal Form

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy