An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
The Paradoxical Success of Fuzzy Logic
IEEE Expert: Intelligent Systems and Their Applications
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A new direction in AI: toward a computational theory of perceptions
Technologies for constructing intelligent systems
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Pouring liquids: A study in commonsense physical reasoning
Artificial Intelligence
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Filter preferential entailment for the logic of action in almost continuous worlds
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
An approach to reasoning about continuous change for applications in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Formalizing reasoning about change: a qualitative reasoning approach
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
The paradoxical success of fuzzy logic
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
On the range of applicability of baker's approach to the frame problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Hi-index | 0.00 |