Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Performance of temporal reasoning systems
ACM SIGART Bulletin
Journal of the ACM (JACM)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Interval scripts: a design paradigm for story-based interactive systems
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
Point-based approaches to qualitative temporal reasoning
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
Querying temporal constraint networks in PTIME
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
Binary string relations: a foundation for spatiotemporal knowledge representation
Proceedings of the eighth international conference on Information and knowledge management
A constraint-based approach to simulate faults in telecommunication networks
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Building tractable disjunctive constraints
Journal of the ACM (JACM)
A comparison of point-based approaches to qualitative temporal reasoning
Artificial Intelligence
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Combining topological and size information for spatial reasoning
Artificial Intelligence
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Spatial Reasoning About Points in a Multidimensional Setting
Applied Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Temporal Constraints: A Survey
Constraints
’’Corner‘‘ Relations in Allen‘s algebra
Constraints
Constraints
Spatial Cognition and Computation
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Temporal Synchronization Models for Multimedia Data
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction
IEEE Transactions on Knowledge and Data Engineering
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: 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
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Some Observations on Durations, Scheduling and Allen's Algebra
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
The Point Algebra for Branching Time Revisited
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Human Action Detection Using PNF Propagation of Temporal Constraints
CVPR '98 Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
A general framework for reasoning about change
New Generation Computing
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
Introduction to the special issue on temporal information processing
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
On the consistency of cardinal direction constraints
Artificial Intelligence
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Spatial and Temporal Reasoning
Machine learning of temporal relations
ACL-44 Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
Automating temporal annotation with TARSQI
ACLdemo '05 Proceedings of the ACL 2005 on Interactive poster and demonstration sessions
Efficient mining of understandable patterns from multivariate interval time series
Data Mining and Knowledge Discovery
Solving temporal over-constrained problems using fuzzy techniques
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
The complexity of temporal constraint satisfaction problems
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Building and using temporal knowledge in archaeological documentation
Journal of Intelligent Information Systems
Qualitative Reasoning about Convex Relations
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Qualitative design support for engineering and architecture
Advanced Engineering Informatics
Merging Qualitative Constraints Networks Using Propositional Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
Exploiting domain structure to achieve efficient temporal reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Efficient temporal reasoning through timegraphs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Maximal tractable fragments of the region connection calculus: a complete analysis
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A new framework for reasoning about points, intervals and durations
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Qualitative temporal reasoning about vague events
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A pilot study on acquiring metric temporal constraints for events
ARTE '06 Proceedings of the Workshop on Annotating and Reasoning about Time and Events
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Selecting tense aspect and connecting words in language generation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the consistency of cardinal direction constraints
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Complexity classification in qualitative temporal constraint reasoning
Artificial Intelligence
Theoretical Computer Science
Efficient algorithms for fuzzy qualitative temporal reasoning
IEEE Transactions on Fuzzy Systems
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
On combinations of binary qualitative constraint calculi
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
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
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Reachability and dependency calculi: reasoning in network algebras
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Drawing TimeML relations with TBox
Proceedings of the 2005 international conference on Annotating, extracting and reasoning about time and events
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Temporal Relations Learning with a Bootstrapped Cross-document Classifier
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A linear-programming approach to temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reasoning about qualitative temporal information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Integrating metric and qualitative temporal reasoning
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
Temporal reasoning in sequence graphs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
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
A distributed platform based on web services for multimedia resource discovery
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Autonomous Agents and Multi-Agent Systems
Evaluating temporal graphs built from texts via transitive reduction
Journal of Artificial Intelligence Research
Increasing informativeness in temporal annotation
LAW V '11 Proceedings of the 5th Linguistic Annotation Workshop
Temporalizing spatial calculi: on generalized neighborhood graphs
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Spatial reasoning based spatial data mining for precision agriculture
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Temporal reasoning on chronological annotation
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
A method for characterizing tractable subsets of qualitative fuzzy temporal algebrae
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Temporal query processing with indefinite information
Artificial Intelligence in Medicine
Advanced Engineering Informatics
A constraint-based approach for proactive, context-aware human support
Journal of Ambient Intelligence and Smart Environments
Qualitative temporal and spatial reasoning revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Syntactically characterizing local-to-global consistency in ORD-Horn
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
From path-consistency to global consistency in temporal qualitative constraint networks
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Implementation of Allen's interval logic with the semantic web
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
Hi-index | 0.00 |