Cplus2ASP: Computing Action Language C+ in Answer Set Programming

• URL: http://arxiv.org/abs/2605.09528v1
• Date: Sun, 10 May 2026 13:29:20 GMT
• Title: Cplus2ASP: Computing Action Language C+ in Answer Set Programming
• Abstract summary: We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+.<n>Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques.
• Score: 2.294331241389926
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system orchestrates a tool chain, consisting of f2lp, clingo, iclingo, and as2transition. Under the incremental execution mode, the system translates a C+ description into the input language of iclingo, exploiting its incremental grounding mechanism. The correctness of this execution is justified by the module theorem extended to programs with nested expressions. In addition, the input language of the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as B and BC, as well.

Related papers

• Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design [0.0]
  Large language models (LLMs) have shown promise for automated source-code translation.<n>Yet comparative evidence on how model choice, prompt design, and prompt language shape translation quality remains limited.<n>This study conducts a systematic empirical assessment of state-of-the-art LLMs for code translation among C++, Java, Python, and C#.
  arXiv  Detail & Related papers  (2025-09-16T11:30:10Z)
• Action Language BC+ [3.677571687801579]
  Action languages are formal models of parts of natural language that describe effects of actions.<n>We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language.
  arXiv  Detail & Related papers  (2025-06-22T14:09:49Z)
• Charles Translator: A Machine Translation System between Ukrainian and Czech [0.5334687622080666]
  Charles Translator was developed as part of a society-wide effort to mitigate the impact of the Russian-Ukrainian war on individuals and society. The system was developed in the spring of 2022 with the help of many language data providers in order to quickly meet the demand for such a service. The translator was later implemented as an online web interface and as an Android app with speech input, both featuring Cyrillic-Latin script transliteration.
  arXiv  Detail & Related papers  (2024-04-10T12:22:32Z)
• CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code [79.87518649544405]
  We present a control flow graph and pseudo code guided binary code summarization framework called CP-BCS. CP-BCS utilizes a bidirectional instruction-level control flow graph and pseudo code that incorporates expert knowledge to learn the comprehensive binary function execution behavior and logic semantics.
  arXiv  Detail & Related papers  (2023-10-24T14:20:39Z)
• Guess & Sketch: Language Model Guided Transpilation [59.02147255276078]
  Learned transpilation offers an alternative to manual re-writing and engineering efforts. Probabilistic neural language models (LMs) produce plausible outputs for every input, but do so at the cost of guaranteed correctness. Guess & Sketch extracts alignment and confidence information from features of the LM then passes it to a symbolic solver to resolve semantic equivalence.
  arXiv  Detail & Related papers  (2023-09-25T15:42:18Z)
• QParallel: Explicit Parallelism for Programming Quantum Computers [62.10004571940546]
  We present a language extension for parallel quantum programming. QParallel removes ambiguities concerning parallelism in current quantum programming languages. We introduce a tool that guides programmers in the placement of parallel regions by identifying the subroutines that profit most from parallelization.
  arXiv  Detail & Related papers  (2022-10-07T16:35:16Z)
• Reducing language context confusion for end-to-end code-switching automatic speech recognition [50.89821865949395]
  We propose a language-related attention mechanism to reduce multilingual context confusion for the E2E code-switching ASR model. By calculating the respective attention of multiple languages, our method can efficiently transfer language knowledge from rich monolingual data.
  arXiv  Detail & Related papers  (2022-01-28T14:39:29Z)
• An Adversarial Learning based Multi-Step Spoken Language Understanding System through Human-Computer Interaction [70.25183730482915]
  We introduce a novel multi-step spoken language understanding system based on adversarial learning. We demonstrate that the new system can improve parsing performance by at least $2.5%$ in terms of F1.
  arXiv  Detail & Related papers  (2021-06-06T03:46:53Z)
• Dual Script E2E framework for Multilingual and Code-Switching ASR [4.697788649564087]
  We train multilingual and code-switching ASR systems for Indian languages. Inspired by results in text-to-speech synthesis, we use an in-house rule-based common label set ( CLS) representation. We show our results on the multilingual and code-switching tasks of the Indic ASR Challenge 2021.
  arXiv  Detail & Related papers  (2021-06-02T18:08:27Z)
• Efficient Weight factorization for Multilingual Speech Recognition [67.00151881207792]
  End-to-end multilingual speech recognition involves using a single model training on a compositional speech corpus including many languages. Due to the fact that each language in the training data has different characteristics, the shared network may struggle to optimize for all various languages simultaneously. We propose a novel multilingual architecture that targets the core operation in neural networks: linear transformation functions.
  arXiv  Detail & Related papers  (2021-05-07T00:12:02Z)
• Training Multilingual Machine Translation by Alternately Freezing Language-Specific Encoders-Decoders [20.063065730835874]
  We propose a multilingual machine translation system that can be incrementally extended to new languages without retraining the existing system when adding new languages. We simultaneously train $N$ languages in all translation directions by alternately freezing encoder or decoder modules. Experimental results from multilingual machine translation show that we can successfully train this modular architecture improving on the initial languages while falling slightly behind when adding new languages or doing zero-shot translation.
  arXiv  Detail & Related papers  (2020-05-29T19:00:59Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.