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 full text

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
2013English

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

Qualitative Spatial Reasoning

English

Decision-Theoretic Foundations for Causal Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
1995English

SPARQS: A Qualitative Spatial Reasoning Engine

Knowledge-Based Systems
SoftwareInformation SystemsManagementArtificial IntelligenceManagement Information Systems
2004English

A Narrow View of Set Theoretic Topology

Lecture Notes in Mathematics
Number TheoryAlgebra
1977English

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

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

Privacy PolicyRefund Policy