Verifying Time and Communication Costs of Rule-Based Reasoners-Reference-Cited by-同舟云学术

Verifying Time and Communication Costs of Rule-Based Reasoners

Published:2009 Issue: Volume: Page:1-14
ISSN:0302-9743
Container-title:Model Checking and Artificial Intelligence
language:
Short-container-title:

Author:

Alechina Natasha,Logan Brian,Nga Nguyen Hoang,Rakib Abdur

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00431-5_1

Reference16 articles.

1. Lecture Notes in Computer Science;R. Alur,1998

2. Faltings, B., Yokoo, M.: Introduction: Special issue on distributed constraint satisfaction. Artificial Intelligence 161, 1–5 (2005)

3. Lecture Notes in Computer Science;H. Jung,2005

4. Provan, G.M.: A model-based diagnosis framework for distributed embedded systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, 2002, pp. 341–352. Morgan Kaufmann, San Francisco (2002)

5. Wooldridge, M., Dunne, P.E.: On the computational complexity of coalitional resource games. Artif. Intell. 170, 835–871 (2006)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model checking ontology‐driven reasoning agents using strategy and abstraction;Concurrency and Computation: Practice and Experience;2019-04-07

2. A Logic for Context-Aware Non-monotonic Reasoning Agents;Lecture Notes in Computer Science;2014

3. A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2013

4. Verifying Resource Requirements for Ontology-Driven Rule-Based Agents;Lecture Notes in Computer Science;2012

5. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction;Model Checking and Artificial Intelligence;2011