{"labels":{"en":"Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3799"},"claims":{"P31":"Q13442814","P1433":"Q131010048","P1476":{"text":"Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3799/abstract1GDE24.pdf","P50":[{"value":"Q50082811","qualifiers":{"P1545":"3"}}],"P2093":[{"value":"Joaquín Arias","qualifiers":{"P1545":"1"}},{"value":"Jan Fiedor","qualifiers":{"P1545":"2"}},{"value":"Brendan Hall","qualifiers":{"P1545":"4"}},{"value":"Brian Larson","qualifiers":{"P1545":"5"}},{"value":"Bohuslav Krena","qualifiers":{"P1545":"6"}},{"value":"Sarat Chandra Varanasi","qualifiers":{"P1545":"7"}},{"value":"Ondrej Vasícek","qualifiers":{"P1545":"8"}},{"value":"Tomás Vojnar","qualifiers":{"P1545":"9"}}]}}