FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A framework for formal modeling and analysis of organizations
Applied Intelligence
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Learning to assign degrees of belief in relational domains
Machine Learning
Modeling of Agents in Organizational Context
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Constraints satisfaction problems in data modeling
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Complete Axiomatizations of MSO, FO(TC1) and FO(LFP1) on Finite Trees
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Towards an ontology of agency and action From STIT to OntoSTIT+
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Using first-order theorem provers in the Jahob data structure verification system
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Provability-based semantic interoperability via translation graphs
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Abstract deduction and inferential models for type theory
Information and Computation
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Automated search for impossibility theorems in social choice theory: ranking sets of objects
Journal of Artificial Intelligence Research
Expressing polymorphic types in a many-sorted language
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
A polymorphic intermediate verification language: design and logical encoding
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal framework to support organizational design
Knowledge-Based Systems
CADE'13 Proceedings of the 24th international conference on Automated Deduction
| Hi-index | 0.00 |