MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Reasoning about Failure." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

47 documents found, showing 1 through 10. Next 10 →

ATOM

Reasoning about Failure
by Andreas Herzig Irit, Universite Paul Sabatier, Route De Narbonne, F- Toulouse Cedex
… Reasoning about Failure L'aszl'o Aszal'os? and Andreas Herzig IRIT, Universite Paul Sabatier…
Add To MetaCart

What is Wrong With Us? Improving Robustness Through Social Diagnosis
by Gal A. Kaminka, Milind Tambe — 1998
… in an agent and in its teammates. Second, SAM performs social diagnosis, reasoning about the failures in its…
Cited by 28 (7 self) – Add To MetaCart

Automatic Documentation Inference for Exceptions
by Raymond P. L. Buse, Westley R. Weimer
… be difficult to reason about. Failure to do so correctly can lead to security vulnerabilities, breaches of API…
Cited by 1 (1 self) – Add To MetaCart

The Need for Realistic Failure Models in Protocol Design
by Idit Keidar, Keith Marzullo — 2002 — In Proc. of International Survivability Workshop
…]). It is a common assumption because the t out of n model gives one a simple abstraction for reasoning about…
Cited by 4 (1 self) – Add To MetaCart

ANSWER: Network Monitoring Using Object-Oriented Rules
by Gary Weiss, Johannes P. Ros, Anoop Singhal — 1998 — In Proceedings of the Tenth Conference on Innovative Applications of Artificial Intelligence
… and of reasoning about failures within the 4ESS. This has resulted in an expert system that is more clearly…
Cited by 5 (4 self) – Add To MetaCart

Appears in Proceedings of the Tenth Conference on Innovative Applications of Artificial Intelligence,
by Aaai Press Answer
… in ANSWER has provided a principled way of modeling the 4ESS and of reasoning about failures within the 4ESS…
Add To MetaCart

Planning With Failure
by F. Giunchiglia, Luca Spalazzi, P. Traverso, Fausto Giunchiglia, Paolo Traverso — 1994 — In 2nd International Conference on AI Planning Systems (AIPS-94
… failure. We use the proposed theory for reasoning about plans. This gets us close to the work on classical…
Cited by 13 (4 self) – Add To MetaCart

A Logic for Concurrent Events and Action Failure
by David Morley, Liz Sonenberg — 1996 — Topics in Artificial Intelligence, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Lecture Notes in Artificial Intelligence, Volume 1114
… and admits reasoning with failure. 1 Introduction Reasoning about the actions of autonomous agents has…
Cited by 1 (1 self) – Add To MetaCart

Proof Planning with Multiple Strategies
by Erica Melis, Andreas Meier — 2000 — In Proc. of the First International Conference on Computational Logic
… problem solving mechanism fails. Rather it can reason about preference of strategies and about failures…
Cited by 48 (32 self) – Add To MetaCart

System Behavior Modeling As A Basis For Advanced Failure Modes And Effects Analysis
by Charles F. Eubanks, Steven Kmenta, Kosuke Ishii — 1996 — Proceedings of The ASME Design Engineering Technical conference. 1996 9. Jensen, F.V
… motor for energy input as opposed to a hand crank. 3.4 Reasoning About Failures Let’s assume that some…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB