Journal on Data Semantics I

DOI10.1007/B14200zbMATH Open1274.68423OpenAlexW4236037998MaRDI QIDQ5897293FDOQ5897293

Paolo Giorgini, John Mylopoulos, Roberto Sebastiani, Eleonora Nicchiarelli

Publication date: 3 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b14200

Recommendations

• A verification logic for goal agents
• Goal-directed proof theory
• Goal-based reasoning for argumentation
• Research on goal description logics (GDLs)
• Goal-oriented conjecturing for Isabelle/HOL

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Graph theory (including graph drawing) in computer science (68R10)

Cited In (4)

• Properties of goal systems: Consistency, conflict, and coherence
• Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation
• Goal analysis and setting in production industry: modeling of reasoning on goals
• Deriving non-Zeno behaviour models from goal models using ILP

Uses Software

• Graphplan

This page was built for publication: Journal on Data Semantics I

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