A Model-Theoretic View on Qualitative Constraint Reasoning

Journal of Artificial Intelligence Research- United States

doi 10.1613/jair.5260

Full Text

Abstract

Available in

Date

Authors

Publisher

AI Access Foundation

Related search

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

Finite Model Reasoning on UML Class Diagrams via Constraint Programming

Intelligenza Artificiale
Artificial Intelligence
2013Spanish

Cognitive Reasoning: A Personal View

KI - Künstliche Intelligenz
2019English

A Reasoning Method for Timed CSP Based on Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Decision-Theoretic Foundations for Causal Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

Qualitative Spatial Reasoning

English

A Narrow View of Set Theoretic Topology

Lecture Notes in Mathematics
Number TheoryAlgebra
1977English

SPARQS: A Qualitative Spatial Reasoning Engine

Knowledge-Based Systems
SoftwareInformation SystemsManagementArtificial IntelligenceManagement Information Systems
2004Spanish

Distributed Adaptive Networks: A Graphical Evolutionary Game-Theoretic View

IEEE Transactions on Signal Processing
Electronic EngineeringSignal ProcessingElectrical
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy