Volume: Vol-3799 ICLP-WS 2024 | Year: 2024

Paper: « short4ASPOCP | abstract1GDE24 | abstract2GDE24 »

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming

• Joaquín Arias ORCID dblp
• Brian Larson dblp
• Gopal Gupta 0001 ORCID dblp Wikidata GND
• Bohuslav Krena ORCID dblp
• Brendan Hall dblp
• Sarat Chandra Varanasi dblp
• Ondrej Vasícek dblp
• Jan Fiedor dblp
• Tomás Vojnar ORCID dblp

PDF