A plausibility-driven approach to computer architecture design
Communications of the ACM
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
ACM SIGART Bulletin
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
The Nature of Nonmonotonic Reasoning
Minds and Machines
Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations
Artificial Intelligence Review
On Special Functions and Theorem Proving in Logics for 'Generally'
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Actions with Failures in Interval Temporal Logic
Computational Logic in Multi-Agent Systems
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Partial information basis for agent-based collaborative dialogue
Applied Intelligence
Domain dependence in parallel constraint satisfaction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint 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
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Lewis Dichotomies in Many-Valued Logics
Studia Logica
Hi-index | 0.02 |