Annotated Temporal Logics Delta*tau
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Manipulating Paraconsistent Knowledge in Multi-agent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A Natural Deduction System for Annotated Predicate Logic
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Paraconsistency and Paracompleteness in Chellas's Conditional Logics
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
| Hi-index | 0.00 |