Automated diagnosis of analog circuits
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
A constraint satisfaction approach to operative management of aircraft routing
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Some simple ways to construct and to use formulas mechanically
ACM SIGSAM Bulletin
Probabilities of qualitative behaviors for dependability analysis of a fault-tolerance model
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A metric time-point and duration-based temporal model
ACM SIGART Bulletin
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Acceleration methods of numeric CSPc
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A new basis for spreadsheet computing: Interval Solver for Microsoft Excel
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
Interactive Case-Based Planning for Forest Fire Management
Applied Intelligence
Value Constraints in the CLP Scheme
Constraints
Local search with constraint propagation and conflict-based heuristics
Artificial Intelligence
Accelerating filtering techniques for numeric CSPs
Artificial Intelligence
Deductive Approximate Reasoning Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Logos: A Constraint-Directed Reasoning Shell for Operations Management
IEEE Expert: Intelligent Systems and Their Applications
Recognizing and Discovering Complex Events in Sequences
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
A Cultural Algorithm for Constrained Optimization
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Unified Framework for Interval Constraints and Interval Arithmetic
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Constraints over Floating-Point Numbers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Nonlinear bounded-error parameter estimation using interval computation
Granular computing
A new direction in AI: toward a computational theory of perceptions
Technologies for constructing intelligent systems
FLAMES: A Fuzzy Logic ATMS and Model-based Expert System for Analog Diagnosis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Optimum tolerance design for complex assemblies using hierarchical interval constraint networks
Computers and Industrial Engineering
Interval constraint networks for tolerance analysis and synthesis
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A tradeoff between compositionality and complexity in the semantics of dimensional adjectives
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
The Munich Rent Advisor: A success for logic programming on then Internet
Theory and Practice of Logic Programming
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Controlled propagation in continuous numerical constraint networks
Proceedings of the 2005 ACM symposium on Applied computing
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
ACM Transactions on Embedded Computing Systems (TECS)
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Constraint BasedWorld Modeling
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Artificial Intelligence
Engineering Applications of Artificial Intelligence
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Engineering Applications of Artificial Intelligence
Simulation of hybrid circuits in constraint logic programming
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The generation of 'critical problems' by abstract interpretations of student models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Perturbation analysis with qualitative models
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Extending the constraint propagation of intervals
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Experiments with a network-based geometric reasoning engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Exploiting domain structure to achieve efficient temporal reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Abstraction via approximate symmetry
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Extending consistent domains of numeric CSP
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Theoretical Computer Science
Improved bounds on the complexity of kB-consistency
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Tightened reachability constraints for safety verification of linear hybrid systems
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
Constraint based world modeling in mobile robotics
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness
Formal Methods in System Design
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
A population and interval constraint propagation algorithm
EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
Two variables per linear inequality as an abstract domain
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Language-based abstraction refinement for hybrid system verification
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
An analysis of slow convergence in interval propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Symmetry constraint inference in assembly planning: automatic assembly configuration specification
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
ACP: reason maintenance and inference control for constraint propagation over intervals
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Reasoning precisely with vague concepts
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Feasibility-based bounds tightening via fixed points
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
The complexity of integer bound propagation
Journal of Artificial Intelligence Research
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Widening operators for weakly-relational numeric abstractions
SAS'05 Proceedings of the 12th international conference on Static Analysis
Constraints for continuous reachability in the verification of hybrid systems
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
On the co-operation between abductive and temporal reasoning in medical diagnosis
Artificial Intelligence in Medicine
Cerebral modeling and dynamic Bayesian networks
Artificial Intelligence in Medicine
Technical Communique: Nonlinear bounded-error state estimation of continuous-time systems
Automatica (Journal of IFAC)
Technical Communique: Interval constraint propagation with application to bounded-error estimation
Automatica (Journal of IFAC)
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Scalable parallel interval propagation for sparse constraint satisfaction problems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Solving disjunctive temporal problems with preferences using maximum satisfiability
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Constraint BasedWorld Modeling
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Guaranteed mobile robot tracking using robust interval constraint propagation
ICIRA'12 Proceedings of the 5th international conference on Intelligent Robotics and Applications - Volume Part II
Hi-index | 0.01 |