Using abduction and induction for operational requirements elaboration

DOI10.1016/J.JAL.2008.10.002zbMath1176.68152OpenAlexW2023342108MaRDI QIDQ833728

Oliver Ray, Sebastian Uchitel, Alessandra Russo, Dalal Alrajeh

Publication date: 14 August 2009

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.002

zbMATH Keywords

inductive logic programminglinear temporal logicabductive reasoningevent calculusgoal-oriented requirements engineeringscenario-based specification

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items (1)

GR(1)*: GR(1) specifications extended with existential guarantees

Cites Work

• A logic-based calculus of events
• Inductive Logic Programming: Theory and methods
• Induction from answer sets in nonmonotonic logic programs
• Extracting Requirements from Scenarios with ILP
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Using abduction and induction for operational requirements elaboration