Author of the publication

Maintaining the Truth of Specifications in Evolutionary Software.

, , and . Int. J. Artif. Intell. Tools, 2 (1): 15-32 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generalized Disjunctive Well-Founded Semantics for Logic Programs., , and . Ann. Math. Artif. Intell., 5 (2-4): 89-131 (1992)LongBoX: Evaluating Transformers on Long-Sequence Clinical Tasks., , , , and . CoRR, (2023)Methods and Mechanisms for Interactive Novelty Handling in Adversarial Environments., , , , , , , , , and 2 other author(s). CoRR, (2023)Attribute-Guided Adversarial Training for Robustness to Natural Perturbations., , , , , and . CoRR, (2020)Lexi: Self-Supervised Learning of the UI Language., , , , and . CoRR, (2023)Genomic Information Retrieval Through Selective Extraction and Tagging by the ASU-BioAL Group., , , , , , , , , and 1 other author(s). TREC, volume 500-266 of NIST Special Publication, National Institute of Standards and Technology (NIST), (2005)The NL2KR System., , , and . NLPAR@LPNMR, volume 1044 of CEUR Workshop Proceedings, page 37-47. CEUR-WS.org, (2013)A Reactive Mobile Robot Based on a Formal Theory of Action., , , , , and . AAAI/IAAI, Vol. 2, page 1350. AAAI Press / The MIT Press, (1996)0-262-51091-X.Maintainability: A Weaker Stabilizability Like Notion for High Level Control., , and . AAAI/IAAI, page 62-67. AAAI Press / The MIT Press, (2000)How Many Data Samples is an Additional Instruction Worth?, , , and . EACL (Findings), page 1012-1027. Association for Computational Linguistics, (2023)