Copertina

An Algebraic Approach to Weighted Answer-set Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Coelho, Francisco, Dinis, Bruno, Seipel, Dietmar, Abreu, Salvador
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Programming Languages Symbolic Computation 68M01 D.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
di: Bandyopadhyay, Soumyadip, et al.
Pubblicazione: (2025)

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

Mechanizing Operads with Event-B
di: Attiogbé, Christian
Pubblicazione: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

Transport via Partial Galois Connections and Equivalences
di: Kappelmann, Kevin
Pubblicazione: (2023)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

A formal specification of the jq language
di: Färber, Michael
Pubblicazione: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
di: Piróg, Maciej, et al.
Pubblicazione: (2025)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
di: Beliaeva, Aleksandra, et al.
Pubblicazione: (2025)

Formal Verification of Imperative First-Class Functions in Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
di: Pfeifer, Wolfram, et al.
Pubblicazione: (2026)

On Modular Termination Proofs of General Logic Programs
di: Bossi, Annalisa, et al.
Pubblicazione: (2000)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
di: McCann, Alan L.
Pubblicazione: (2026)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
di: Stepanenko, Sergei, et al.
Pubblicazione: (2025)

Uniqueness is Separation
di: O'Connor, Liam, et al.
Pubblicazione: (2026)

Unified Fairness for Weak Memory Verification
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2023)

Monitoring Hyperproperties over Observed and Constructed Traces
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
di: Grabmayer, Clemens, et al.
Pubblicazione: (2025)

Multisets and Distributions
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

Hashing Modulo Context-Sensitive $α$-Equivalence
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Explicit Weakening
di: Wadler, Philip
Pubblicazione: (2024)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
di: Berger, Martin, et al.
Pubblicazione: (2025)

The Denotational Semantics of SSA
di: Ghalayini, Jad Elkhaleq, et al.
Pubblicazione: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
di: Chen, Shaoshi, et al.
Pubblicazione: (2026)

Complete Reduction for Derivatives in a Primitive Tower
di: Du, Hao, et al.
Pubblicazione: (2025)

On Ambiguity: The case of fraction, its meanings and roles
di: Bergstra, Jan A, et al.
Pubblicazione: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

Model Checking Probabilistic Operator Precedence Automata
di: Pontiggia, Francesco, et al.
Pubblicazione: (2024)