AISC 2004 - PDF Preprint Papers

AISC 2004 International Conference on Artificial Intelligence and Symbolic Computation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AISC-2004 Paper

click to vote

AISC
2004
Springer

150views Artificial Intelligence» more AISC 2004»

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques

14 years 5 months ago

Download pagesperso.lina.univ-nantes.fr

Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...

Laurent Granvilliers, Mina Ouabiba

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	150	Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques	claim
2	145	Generic Hermitian Quantifier Elimination	claim
3	134	Polynomial Interpretations with Negative Coefficients	claim
4	124	A Decision Procedure for Equality Logic with Uninterpreted Functions	claim
5	120	Solving Equations Involving Sequence Variables and Sequence Functions	claim
6	120	Proof Search in Minimal Logic	claim
7	111	Planning and Patching Proof	claim
8	106	On the Combination of Congruence Closure and Completion	claim
9	105	Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy	claim
10	99	Four Approaches to Automated Reasoning with Differential Algebraic Structures	claim
11	97	A Paraconsistent Higher Order Logic	claim
12	94	Two Revision Methods Based on Constraints: Application to a Flooding Problem	claim
13	92	Singularities in Qualitative Reasoning	claim
14	91	New Developments in Symmetry Breaking in Search Using Computational Group Theory	claim
15	89	Proving and Constraint Solving in Computational Origami	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers