An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications.

Isabelle Kuhlmann Carl Corea John Grant

Published in: NMR (2023)

Keyphrases

solving problems
high level
knowledge representation
main contribution
process model
social networks
closely related
conceptual model
neural network
artificial intelligence
theoretical framework
domain independent
conceptual framework
formal specification
specification language