Revisiting quantification in autoepistemic logic
ACM Transactions on Computational Logic (TOCL)
Mapping the Envelope of Social Simulation Trajectories
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Towards an ideal social simulation language
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Hi-index | 0.00 |