Knowledge in multiagent systems: initial configurations and broadcast
ACM Transactions on Computational Logic (TOCL)
Constraints in computational logics
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Journal of Logic, Language and Information
On Fibring Semantics for BDI Logics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Formalisms for multi-agent systems
The Knowledge Engineering Review
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
ε-connections of abstract description systems
Artificial Intelligence
Extending interpreted systems with some deontic concepts
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Combining logics for modelling security policies
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Information and Computation - Special issue: Combining logical systems
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Metatheory of actions: Beyond consistency
Artificial Intelligence
Theories of Trust for Communication Protocols
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
On constructing fibred tableaux for BDI logics
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Journal of Artificial Intelligence Research
On the fusion of coalgebraic logics
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Logical implementation of uncertain agents
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Connecting many-sorted structures and theories through adjoint functions
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Connecting many-sorted theories
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A fibred tableau calculus for modal logics of agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Fibred BDI logics: completeness preservation in the presence of interaction axioms
MIWAI'11 Proceedings of the 5th international conference on Multi-Disciplinary Trends in Artificial Intelligence
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hi-index | 0.00 |