Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Francesco Calimeri; Nicola Leone

Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Artificial Intelligence 2007-05-23 v1

Authors: Francesco Calimeri , Nicola Leone

Abstract

This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.

Cite

@article{arxiv.cs/0404012,
  title  = {Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)},
  author = {Francesco Calimeri and Nicola Leone},
  journal= {arXiv preprint arXiv:cs/0404012},
  year   = {2007}
}

Comments

7 pages

Related papers

View all related →

Artificial Intelligence · Computer Science

DLV - A System for Declarative Problem Solving

Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone +1

2007-05-23

Artificial Intelligence · Computer Science

The DLV System for Knowledge Representation and Reasoning

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter +3

2008-02-21

Artificial Intelligence · Computer Science

Parametric external predicates for the DLV System

G. Ianni, F. Calimeri, A. Pietramala, M. C. Santoro

2007-05-23

Programming Languages · Computer Science

Dafny: Statically Verifying Functional Correctness

Rachel Gauci

2014-12-16

Software Engineering · Computer Science

Modeling the Realization and Execution of Functions and Functional Requirements

Sabah Al-Fedaghi

2020-04-02

Logic in Computer Science · Computer Science

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics

Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel +1

2022-05-13

Computation and Language · Computer Science

A Primer on Large Language Models and their Limitations

Sandra Johnson, David Hyland-Wood

2024-12-09

Software Engineering · Computer Science

Technical Report: Unresolved Challenges and Potential Features in EATXT

Weixing Zhang, Jörg Holtmann

2023-12-19

Computer Vision and Pattern Recognition · Computer Science

Towards Unified Vision-Language Models with Incomplete Multi-Modal Inputs

Xiang Fang, Wanlong Fang, Changshuo Wang, Keke Tang +3

2026-05-28

Computation and Language · Computer Science

Implementation of general formal translators

Iosif Iulian Petrila

2022-12-23

Machine Learning · Computer Science

Formal Algorithms for Transformers

Mary Phuong, Marcus Hutter

2022-07-26

Computation and Language · Computer Science

Evaluating the Performance of LLMs on Technical Language Processing tasks

Andrew Kernycky, David Coleman, Christopher Spence, Udayan Das

2024-06-19

Astrophysics · Physics

A Review of VLBI Instrumentation

W. Alef

2007-05-23

Databases · Computer Science

Technical Report on Data Integration and Preparation

El Kindi Rezig, Michael Cafarella, Vijay Gadepally

2021-03-04

Machine Learning · Computer Science

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms

Qianyu Guo, Xiaofei Xie, Lei Ma, Qiang Hu +5

2018-11-18

Programming Languages · Computer Science

Toward Functionality Oriented Programming

Chengpu Wang

2011-02-21

Computation and Language · Computer Science

The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

Christoph Redl

2016-08-04

Computer Vision and Pattern Recognition · Computer Science

Task-Aware Resolution Optimization for Visual Large Language Models

Weiqing Luo, Zhen Tan, Yifan Li, Xinyu Zhao +3

2025-10-14

Machine Learning · Computer Science

How to Make Deep RL Work in Practice

Nirnai Rao, Elie Aljalbout, Axel Sauer, Sami Haddadin

2020-11-11

Computation and Language · Computer Science

Preliminary WMT24 Ranking of General MT Systems and LLMs

Tom Kocmi, Eleftherios Avramidis, Rachel Bawden, Ondrej Bojar +17

2024-07-30

cmp-lg · Computer Science

Building Natural-Language Generation Systems

Ehud Reiter

2008-02-03

Programming Languages · Computer Science

EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine

Tony Clark

2018-04-20

Artificial Intelligence · Computer Science

A Comprehensive Review of Multimodal Large Language Models: Performance and Challenges Across Different Tasks

Jiaqi Wang, Hanqi Jiang, Yiheng Liu, Chong Ma +20

2024-08-05

Software Engineering · Computer Science

Understanding LLM-Centric Challenges for Deep Learning Frameworks: An Empirical Analysis

Yanzhou Mu, Rong Wang, Juan Zhai, Chunrong Fang +6

2025-08-19

Hardware Architecture · Computer Science

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware

Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib +1

2024-11-01