Graphical interface for logic programming
ACM SIGART Bulletin
A Multilevel Parallel Processing Approach to Scene Labeling Problems
IEEE Transactions on Pattern Analysis and Machine Intelligence
A dynamic constraint-directed ordered search algorithm for solving constraint satisfaction problems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach
IEEE Transactions on Pattern Analysis and Machine Intelligence
On the Recognition of Curved Objects
IEEE Transactions on Pattern Analysis and Machine Intelligence
Partial order programming (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments
IEEE Transactions on Pattern Analysis and Machine Intelligence
Journal of the ACM (JACM)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Hierarchical reasoning about direction relations
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Image similarity retrieval by spatial constraints
Proceedings of the seventh international conference on Information and knowledge management
Spatial Reasoning Using the Quad Tesseral Representation
Artificial Intelligence Review
Hermes: supporting argumentative discourse in multi-agent decision making
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Simple distributed algorithms for the cycle cutset problem
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Combining topological and size information for spatial reasoning
Artificial Intelligence
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Maintenance scheduling problems as benchmarks for constraint algorithms
Annals of Mathematics and Artificial Intelligence
Spatial Reasoning About Points in a Multidimensional Setting
Applied Intelligence
Constraint Programming: Strategic Directions
Constraints
Constraint Solving and Programming: What Next?
Constraints
Algorithms for Hierarchical Spatial Reasoning
Geoinformatica
On point-duration networks for temporal reasoning
Artificial Intelligence
Solving multi-granularity temporal constraint networks
Artificial Intelligence
GATES: An Airline Gate Assignment and Tracking Expert System
IEEE Expert: Intelligent Systems and Their Applications
Hardware-Software Partitioning: A Case for Constraint Satisfaction
IEEE Intelligent Systems
Spatial Reasoning with Topological Information
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Convergence of a Hill Climbing Genetic Algorithm for Graph Matching
EMMCVPR '99 Proceedings of the Second International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Mixed Closure-CSP Method to Solve Scheduling Problems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Dynamic CSPs for Interval-Based Temporal Reasoning
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Resolution Complexity of Random Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Combinatorial Framework for Map Labeling
GD '98 Proceedings of the 6th International Symposium on Graph Drawing
Connected and Loosely Connected List Homomorphisms
WG '02 Revised Papers from the 28th International Workshop on Graph-Theoretic Concepts in Computer Science
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Distributed breakout revisited
Eighteenth national conference on Artificial intelligence
Semantic graph and arc consistency in "true" three dimensional image labelling
ICIP '95 Proceedings of the 1995 International Conference on Image Processing (Vol.2)-Volume 2 - Volume 2
From type inference to configuration
The essence of computation
Advances in evolutionary computing
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
The MarCon algorithm: A systematic market approach to distributed constraint problems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
Saving Support-Checks Does Not Always Save Time
Artificial Intelligence Review
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
An efficient consistency algorithm for the temporal constraint satisfaction problem
AI Communications - Special issue on: Spatial and temporal reasoning
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Empirical Modelling of Genetic Algorithms
Evolutionary Computation
Nurse rostering using constraint programming and meta-level reasoning
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications - Spatial and Temporal Reasoning
Formula dissection: A parallel algorithm for constraint satisfaction
Computers & Mathematics with Applications
Solving 3-SAT using constraint programming and fail detection
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
A Learning Method of Detecting Anomalous Pedestrian
ADMA '08 Proceedings of the 4th international conference on Advanced Data Mining and Applications
On the Integration of Singleton Consistencies and Look-Ahead Heuristics
Recent Advances in Constraints
Arc-Consistency Checking with Bilevel Constraints: An Optimization
GbRPR '09 Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
MUSE CSP: an extension to the constraint satisfaction problem
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
The anatomy of easy problems: a constraint-satisfaction formulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Domain dependence in parallel constraint satisfaction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Partial constraint satisfaction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The complexity of perceptual search tasks
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Situation recognition: representation and algorithms
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
Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Exploiting 2D topology in labeling polyhedral images
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
An algorithm which automatically constructs discrimination graphs in a visual knowledge base
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
GSTP: a temporal reasoning system supporting multi-granularity temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the feasibility of distributed constraint satisfaction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Backtracking through biconnected components of a constraint graph
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Improved bounds on the complexity of kB-consistency
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Making AC-3 an optimal algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Systematic versus stochastic constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Reasoning with lines in the Euclidean space
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On combinations of binary qualitative constraint calculi
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Constraint-based rostering using meta-level reasoning and probability-based ordering
Engineering Applications of Artificial Intelligence
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Domain-heuristics for arc-consistency algorithms
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hunter-Gatherer: three search techniques integrated for natural language semantics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Complexity of K-tree structured constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Tree decomposition with applications to constraint processing
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
An algebraic approach to conflict resolution planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A framework for investigating production system formulations with polynomially bounded match
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning about qualitative temporal information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Symmetry constraint inference in assembly planning: automatic assembly configuration specification
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Combining qualitative and quantitative constraints in temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Default logic, propositional logic and constraints
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
On the minimality and decomposability of constraint networks
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Arc-consistency and arc-consistency again
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A constraint decomposition method for spatio-temporal configuration problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Topological reasoning between complex regions in databases with frequent updates
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Path-consistency: when space misses time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A graph-based method for improving GSAT
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Utilizing knowledge-base semantics in graph-based algorithms
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Learning cluster-based structure to solve constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
On minimal constraint networks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Engineering Applications of Artificial Intelligence
Topological parameters for time-space tradeoff
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
An evaluation of structural parameters for probabilistic reasoning: results on benchmark circuits
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
A hybrid particle swarm optimization for binary CSPs
ICIC'06 Proceedings of the 2006 international conference on Computational Intelligence and Bioinformatics - Volume Part III
A constraint programming approach to bioinformatics structural problems
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
A system prototype for solving multi-granularity temporal CSP
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
On minimal constraint networks
Artificial Intelligence
Managing dynamic CSPs with preferences
Applied Intelligence
Annotations for alloy: automated incremental analysis using domain specific solvers
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.00 |