FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Planning domain definition using GIPO
The Knowledge Engineering Review
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
Model checking norms and sanctions in institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
| Hi-index | 0.00 |