Search Results - "Declarative programming"

DECLARATIVE PROGRAMMING IN MODERN IMPERATIVE LANGUAGES.

Authors: Hamel, Lutz¹

Source: Proceedings of the IADIS International Conference on WWW/Internet; 2023, p207-211, 5p

Recent advances in ADL, CutLang and adl2tnm.

Authors: Prosper, Harrison B. Sekmen, Sezen Unel, Gokhan et al.

Source: EPJ Web of Conferences. 8/23/2021, Vol. 251, p1-12. 12p.

Bounded Exhaustive Search of Alloy Specification Repairs.

Authors: Gutiérrez Brida, Simón Regis, Germán Guolong Zheng et al.

Source: ICSE: International Conference on Software Engineering. 5/22/2021, p1135-1147. 13p.

Subjects: Declarative programming languages, Debugging, Artificial intelligence, Computer science, Software engineers

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Authors: Guolong Zheng ThanhVu Nguye Brida, Simón Gutiérrez et al.

Source: ICSE: International Conference on Software Engineering; 5/22/2021, p637-648, 12p

Protocol combinators for modeling, testing, and execution of distributed systems.

Authors: ANDERSEN, KRISTOFFER JUST ARNDAL SERGEY, ILYA

Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-29. 29p.

Time prediction on multi-perspective declarative business processes.

Authors: Jimenez-Ramirez, Andres Barba, Irene Fernandez-Olivares, Juan et al.

Source: Knowledge & Information Systems. Dec2018, Vol. 57 Issue 3, p655-684. 30p.

Subjects: Information storage & retrieval systems, Declarative programming languages, Constraint programming, Prediction theory, Decision support systems

MuAlloy.

Authors: Wang, Kaiyuan Sullivan, Allison Khurshid, Sarfraz

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p29-32, 4p

DECLARATIVE TARGET ARCHITECTURE DEFINITION FOR DATA-DRIVEN DEVELOPMENT TOOLCHAIN.

Authors: Korenkov, Iurii Loginov, Ivan Dergachev, Andrey et al.

Source: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM. 2018, Vol. 18, p271-278. 8p.

Answering the "why" in answer set programming – A survey of explanation approaches.

Authors: FANDINNO, JORGE SCHULZ, CLAUDIA Schulz, Claudia et al.

Source: Theory & Practice of Logic Programming. Mar2019, Vol. 19 Issue 2, p114-203. 90p.

onlineSPARC: A Programming Environment for Answer Set Programming.

Authors: MARCOPOULOS, ELIAS ZHANG, YUANLIN Schulz, Claudia et al.

Source: Theory & Practice of Logic Programming. Mar2019, Vol. 19 Issue 2, p262-289. 28p.

Debugging Non-ground ASP Programs: Technique and Graphical Tools.

Authors: DODARO, CARMINE GASTEIGER, PHILIP REALE, KRISTIAN et al.

Source: Theory & Practice of Logic Programming. Mar2019, Vol. 19 Issue 2, p290-316. 27p.

Efficient approaches for multi-agent planning.

Authors: Borrajo, Daniel Fernández, Susana

Source: Knowledge & Information Systems; Feb2019, Vol. 58 Issue 2, p425-479, 55p

Representing hybrid automata by action language modulo theories.

Authors: JOOHYUNG LEE LONEY, NIKHIL YUNSONG MENG

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p924-941. 18p.

When you must forget: Beyond strong persistence when forgetting in answer set programming.

Authors: GONÇ ALVES, RICARDO KNORR, MATTHIAS LEITE, JOÃO et al.

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p837-854. 18p.

Ticker: A system for incremental ASP-based stream reasoning.

Authors: BECK, HARALD EITER, THOMAS FOLIE, CHRISTIAN

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p744-763. 20p.

Achievements in answer set programming.

Authors: LIFSCHITZ, VLADIMIR¹ vl@cs.utexas.edu

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p961-973. 13p.

Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.

Authors: CUTERI, BERNARDO DODARO, CARMINE RICCA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p780-799. 20p.

Dynamic Update of Business Process Management.

Authors: Nahabedian, Leandro¹, lnahabedian@dc.uba.ar

Source: ICSE: International Conference on Software Engineering; 2017, p413-416, 4p

Efficient provenance tracking for datalog using top-k queries.

Authors: Deutch, Daniel Gilad, Amir Moskovitch, Yuval

Source: VLDB Journal International Journal on Very Large Data Bases; Apr2018, Vol. 27 Issue 2, p245-269, 25p

Computing LP^MLN using ASP and MLN solvers.

Authors: JOOHYUNG LEE TALSANIA, SAMIDH YI WANG

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p942-960. 19p.