An incremental linear-time algorithm for recognizing interval graphs
SIAM Journal on Computing
Recognizing circle graphs in polynomial time
Journal of the ACM (JACM)
Computation structures
Reducing prime graphs and recognizing circle graphs
Combinatorica
A combinatorial approach to temporal reasoning
JCIT Proceedings of the fifth Jerusalem conference on Information technology
Counting linear extensions is #P-complete
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Temporally distributed symptoms in technical diagnosis
Temporally distributed symptoms in technical diagnosis
Counting endpoint sequences for interval orders and interval graphs
Discrete Mathematics - Special issue on combinatorics and algorithms
Generating Linear Extensions Fast
SIAM Journal on Computing
Maintaining knowledge about temporal intervals
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
A comparison of point-based approaches to qualitative temporal reasoning
Artificial Intelligence
A survey of graph layout problems
ACM Computing Surveys (CSUR)
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Constraints
Solving multi-granularity temporal constraint networks
Artificial Intelligence
The graph sandwich problem for 1-join composition is NP-complete
Discrete Applied Mathematics
Temporal Representation and Reasoning for Dynamic Environments
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
The Complexity of Constraints on Intervals and Lengths
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
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
Complexity Classification of Some Edge Modification Problems
WG '99 Proceedings of the 25th International Workshop on Graph-Theoretic Concepts in Computer Science
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Numerical representation of PQI interval orders
Discrete Applied Mathematics - Ordinal and symbolic data analysis (OSDA 2000)
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
International Journal of Knowledge-based and Intelligent Engineering Systems
Qualitative spatial reasoning about relative point position
Journal of Visual Languages and Computing
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Towards a complete classification of tractability in Allen's algebra
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Combining topological and directional information for spatial reasoning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Numerical representation of PQI interval orders
Discrete Applied Mathematics - Ordinal and symbolic data analysis (OSDA 2000)
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Efficient computation of minimal point algebra constraints by metagraph closure
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Customizing qualitative spatial and temporal calculi
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A representation for efficient temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Extending partial representations of interval graphs
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Unique perfect phylogeny is NP-hard
CPM'11 Proceedings of the 22nd annual conference on Combinatorial pattern matching
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Graph theoretic models for reasoning about time
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Conditional and composite temporal CSPs
Applied Intelligence
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Unique perfect phylogeny is intractable
Theoretical Computer Science
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.01 |