Extending the ArgQL Specification.

Yannis Roussakis Giorgos Flouris Dimitra Zografistou Elisjana Ymeralli

Published in: RuleML+RR (Companion) (2022)

Keyphrases

information systems
formal specification
neural network
genetic algorithm
search algorithm
data mining
clustering algorithm
high level
mobile robot
probabilistic model
specification language
formal verification
state machine
temporal ordering