Work

Validation and verification of knowledge-based systems: report on EUROVAV99

Year: 2000

Type: article

Source: The Knowledge Engineering Review

DOI: 10.1017/s0269888900002010

Authors: FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA

Institutions: University of Liverpool, Robert Gordon University, Université Paris Dauphine-PSL, University of Sheffield, Librt (Netherlands), Centre de Recherche en Informatique de Lens, Université d'Artois, AGH University of Krakow, Universidad Politécnica de Madrid, Wroclaw University of Economics and Business, PSA Peugeot Citroën (France), KU Leuven, DNV (Norway)

Language: English

Topic: AI-based Problem Solving and Planning

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2016513432

FWCI: 1.196

Cites: 19

Cited by: 19

Related to: 10