Agents in a Wild World

[1]  Bojan Cukic,et al.  Adequacy of Limited Testing for Knowledge Based Systems , 2000, Int. J. Artif. Intell. Tools.

[2]  Maarten Sierhuis,et al.  Brahms: simulating practice for work systems design , 1998, Int. J. Hum. Comput. Stud..

[3]  Randolph M. Jones,et al.  Automated Intelligent Pilots for Combat Flight Simulation , 1998, AI Mag..

[4]  Tim Menzies,et al.  Better reasoning about software engineering activities , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[5]  P. Pandurang Nayak,et al.  Fast Context Switching in Real-Time Propositional Reasoning , 1997, AAAI/IAAI.

[6]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[7]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[8]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[9]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[10]  Leon J. Osterweil,et al.  On Two Problems in the Generation of Program Test Paths , 1976, IEEE Transactions on Software Engineering.

[11]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[12]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[13]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[14]  Tim Menzies,et al.  Fewer Slices of PIE: Optimising Mutation Testing via Abduction , 1999 .

[15]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[16]  Benjamin Kuipers,et al.  Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm , 1997, AAAI/IAAI.

[17]  James M. Crawford,et al.  Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems , 1994, AAAI.

[18]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[19]  Tim Menzies,et al.  Many Maybes Mean (Mostly) the Same Thing , 2004 .

[20]  Bashar Nuseibeh,et al.  An empirical investigation of multiple viewpoint reasoning in requirements engineering , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[21]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[22]  Tim Menzies,et al.  Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models , 1997, Artif. Intell. Medicine.

[23]  Tim Menzies,et al.  Practical large scale what-if queries: case studies with software risk assessment , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[24]  Yacov Y. Haimes,et al.  Dynamic multistage software estimation , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[25]  Bojan Cukic,et al.  Caveats , 2020, The African Continental Free Trade Area: Economic and Distributional Effects.

[26]  Bojan Cukic,et al.  Average Case Coverage for Validation of AI Systems , 2001 .

[27]  B. Cukic,et al.  Testing nondeterminate systems , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[28]  Alan Smaill,et al.  Backbone Fragility and the Local Search Cost Peak , 2000, J. Artif. Intell. Res..

[29]  J. Dekleer.  An assumption-based TMS , 1986 .

[30]  Ron Rymon.  An SE-tree-based prime implicant generation algorithm , 2005, Annals of Mathematics and Artificial Intelligence.

[31]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.