Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Three logics for branching bisimulation
Journal of the ACM (JACM)
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
ACM Transactions on Computational Logic (TOCL)
Deduction systems for BDI logics using sequent calculus
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Groups and Societies: One and the Same Thing?
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
On Commitments, Roles, and Obligations
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Model Checking CTL+ and FCTL is Hard
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Decidability Results for the Propositional Fluent Calculus
CL '00 Proceedings of the First International Conference on Computational Logic
Error Detection with Directed Symbolic Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Emergent Mental Attitudes in Layered Agents
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Formal Description of a Practical Agent for E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
The Point Algebra for Branching Time Revisited
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Architectures and applications of intelligent agents: A survey
The Knowledge Engineering Review
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
On the logic of cooperation and propositional control
Artificial Intelligence
Some impossibility results in interprocess synchronization
Distributed Computing
State updating of channel communication system CBCTL
AIA'06 Proceedings of the 24th IASTED international conference on Artificial intelligence and applications
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Decommitting in multi-agent execution in non-deterministic environment: experimental approach
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the logic of cooperation and propositional control
Artificial Intelligence
Formal Specification and Verification of Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Electronic Notes in Theoretical Computer Science (ENTCS)
Belief updating by communication channel
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Plan representation and execution in multi-actor scenarios by means of social commitments
Web Intelligence and Agent Systems
Deliberation and its role in the formation of intentions
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |