Journal on Data Semantics I

DOI10.1007/B14200MaRDI QIDQ5897293zbMATH OpenOpenAlexFDO

Authors Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani

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

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)

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

Cited in

(4)

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

Describes a project that uses

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)