Assume-Guarantee Reasoning with Scheduled Components.

Cong Liu Junaid Babar Isaac Amundson Karl Hoech Darren D. Cofer Eric Mercer

Published in: NFM (2022)

Keyphrases

scheduling problem
knowledge base
machine learning
knowledge representation
qualitative reasoning
automated reasoning
reasoning tasks
reasoning process
probabilistic logic
resource bounded
multi agent
meta level
legal reasoning
reasoning systems
arrival times