Using abduction and induction for operational requirements elaboration

DOI10.1016/J.JAL.2008.10.002zbMATH Open1176.68152OpenAlexW2023342108MaRDI QIDQ833728FDOQ833728

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

Recommendations

• Extracting Requirements from Scenarios with ILP
• scientific article; zbMATH DE number 1706339
• Engineering requirements for system reliability and security
• Deriving non-Zeno behaviour models from goal models using ILP
• scientific article; zbMATH DE number 2021558

zbMATH Keywords

linear temporal logicinductive logic programmingabductive reasoningevent calculusgoal-oriented requirements engineeringscenario-based specification

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A logic-based calculus of events
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductive Logic Programming: Theory and methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Induction from answer sets in nonmonotonic logic programs
• Extracting Requirements from Scenarios with ILP

Cited In (6)

• GR(1)*: GR(1) specifications extended with existential guarantees
• GR(1)*: GR(1) specifications extended with existential guarantees
• Title not available (Why is that?)
• Deriving goals from a use-case based requirements specification
• Towards Operational Abduction from a Cognitive Perspective
• Extracting Requirements from Scenarios with ILP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833728)