Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Reasoning about Qualitative Spatial Relationships
Journal of Automated Reasoning
Topological Invariants for Lines
IEEE Transactions on Knowledge and Data Engineering
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Non-standard Logics for Diagram Interpretation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
AI Magazine
Perceptual Grouping by Selection of a Logically Minimal Model
International Journal of Computer Vision
State of the art on automatic road extraction for GIS update: a novel classification
Pattern Recognition Letters
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents
Proceedings of the 2004 ACM symposium on Applied computing
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002
Theory and Practice of Logic Programming
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
Conservation principles and action schemes in the synthesis of geometric concepts
Artificial Intelligence
Shape understanding system: 3D interpretation as a part of the visual concept formation
Machine Graphics & Vision International Journal
Applying GSAT to non-clausal formulas
Journal of Artificial Intelligence Research
Structured knowledge representation for image retrieval
Journal of Artificial Intelligence Research
Understanding the curve-polygon object
Computers and Graphics
A declarative specification and semantics for visual languages
Journal of Visual Languages and Computing
Investigating fuzzy DLs-based reasoning in semantic image analysis
Multimedia Tools and Applications
A new method for solving hard satisfiability problems
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Towards an understanding of hill-climbing procedures for SAT
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Abduction as belief revision: a model of preferred explanations
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
CogSketch: open-domain sketch understanding for cognitive science research and for education
SBM'08 Proceedings of the Fifth Eurographics conference on Sketch-Based Interfaces and Modeling
Automatic interpretation of depiction conventions in sketched diagrams
SBM'08 Proceedings of the Fifth Eurographics conference on Sketch-Based Interfaces and Modeling
Formal and relational concept analysis for fuzzy-based automatic semantic annotation
Applied Intelligence
| Hi-index | 0.00 |