Using formal meta-data descriptions for automated ecological modeling
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A lightweight capability communication mechanism
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Artificial Intelligence and Environmental Decision Support Systems
Applied Intelligence
Use of Formal Ontologies to Support Error Checking in Specifications
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Pragmatics in the Synthesis of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Reliable and accountable system design
The Knowledge Engineering Review
Integrating Domain Knowledge in Equation Discovery
Computational Discovery of Scientific Knowledge
Environmental Modelling & Software
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
Ontology-Driven Information Systems: Past, Present and Future
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Integrating agent models and dynamical systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Defining relationships in ecology using object-oriented formal specifications
Mathematical and Computer Modelling: An International Journal
Putting humans in the loop: Social computing for Water Resources Management
Environmental Modelling & Software
Expressing Program Requirements Using Refinement Lattices
Fundamenta Informaticae
Proceedings of the 2013 ACM workshop on Domain-specific modeling
| Hi-index | 0.00 |