Copertina

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Vašíček, Ondřej, Arias, Joaquin, Fiedor, Jan, Gupta, Gopal, Hall, Brendan, Křena, Bohuslav, Larson, Brian, Varanasi, Sarat Chandra, Vojnar, Tomáš
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
di: Vašíček, Ondřej, et al.
Pubblicazione: (2026)

Early Validation of High-level Requirements on Cyber-Physical Systems
di: Vašíček, Ondřej
Pubblicazione: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
di: Gupta, Gopal, et al.
Pubblicazione: (2025)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
di: Li, Fang, et al.
Pubblicazione: (2025)

VECSR: Virtually Embodied Common Sense Reasoning System
di: Tudor, Alexis R., et al.
Pubblicazione: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
di: Tudor, Alexis R., et al.
Pubblicazione: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
di: Sextl, Florian, et al.
Pubblicazione: (2023)

P2C: Path to Counterfactuals
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

Computing Supported Models via Transformation to Stable Models
di: Li, Fang, et al.
Pubblicazione: (2025)

The Functional Machine Calculus III: Choice (Early Announcement)
di: Heijltjes, Willem
Pubblicazione: (2024)

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
di: Zeng, Yankai, et al.
Pubblicazione: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
di: Nakamura, Yoshiki
Pubblicazione: (2023)

Answer Set Counting and its Applications
di: Kabir, Mohimenul
Pubblicazione: (2025)

The Complexity of the Set of Validities of a Theory
di: Hirschfeldt, Denis R., et al.
Pubblicazione: (2025)

Hybrid Answer Set Programming: Foundations and Applications
di: Rühling, Nicolas
Pubblicazione: (2025)

Towards Constraint Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Defeasible Conditionals using Answer Set Programming
di: Dennison, Racquel, et al.
Pubblicazione: (2026)

Answer Set Programming for Flexible Payroll Management
di: Callewaert, Benjamin, et al.
Pubblicazione: (2024)

Propositional Calculus with Multiple Negations
di: Ramírez, Oscar
Pubblicazione: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
di: Imaz, Gonzalo E.
Pubblicazione: (2024)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
di: Xu, Lyris, et al.
Pubblicazione: (2025)

A framework for Conditional Reasoning in Answer Set Programming
di: Alviano, Mario, et al.
Pubblicazione: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

The Flower Calculus
di: Donato, Pablo
Pubblicazione: (2024)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

A tree rewriting system for the Reflection Calculus
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2024)

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
di: Murugesan, Anitha, et al.
Pubblicazione: (2024)

Parallelism and Adaptivity in Student-Teacher Witnessing
di: Ježil, Ondřej, et al.
Pubblicazione: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
di: Azzolini, Damiano, et al.
Pubblicazione: (2024)