Works matching DE "DECLARATIVE programming"

Results: 47

Opening the black box of trust: reasoning about trust models in a BDI agent.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 25, doi. 10.1093/logcom/exs003

By:

Koster, Andrew;
Schorlemmer, Marco;
Sabater-Mir, Jordi

Publication type:

Article

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

Published in:

Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682000026X

By:

ANDERSEN, KRISTOFFER JUST ARNDAL;
SERGEY, ILYA

Publication type:

Article

Inductive Synthesis of Functional Programs.

Published in:

2007

By:

MICHAELSON, GREG

Publication type:

Book Review

Declarative approach to cyclic steady state space refinement: periodic process scheduling.

Published in:

International Journal of Advanced Manufacturing Technology, 2013, v. 67, n. 1-4, p. 137, doi. 10.1007/s00170-013-4760-0

By:

Bocewicz, Grzegorz;
Banaszak, Zbigniew

Publication type:

Article

DSOL: a declarative approach to self-adaptive service orchestrations.

Published in:

Computing, 2012, v. 94, n. 7, p. 579, doi. 10.1007/s00607-012-0194-z

By:

Cugola, Gianpaolo;
Ghezzi, Carlo;
Pinto, Leandro

Publication type:

Article

Automated Negotiation from Declarative Contract Descriptions.

Published in:

Computational Intelligence, 2002, v. 18, n. 4, p. 482, doi. 10.1111/1467-8640.00199

By:

Reeves, D.M.;
Wellman, M.P.;
Grosof, B.N.

Publication type:

Article

Creating Procedural Discourse and Knowledge for Software Users: Beyond Translation and Transmission.

Published in:

Journal of Business & Technical Communication, 2010, v. 24, n. 2, p. 164, doi. 10.1177/1050651909353306

By:

Hovde, Marjorie Rush

Publication type:

Article

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks.

Published in:

Algorithms for Molecular Biology, 2017, v. 12, p. 1, doi. 10.1186/s13015-017-0111-2

By:

Abdallah, Emna Ben;
Roux, Olivier;
Morgan Magnin;
Folschette, Maxime

Publication type:

Article

PROCEDENCIA DE LA ACCIÓN MERAMENTE DECLARATIVA DEL DOMINIO EN EL DERECHO CHILENO.

Published in:

Ius et Praxis (07172877), 2011, v. 17, n. 2, p. 3

By:

Gómez, Fabiola Lathrop

Publication type:

Article

Bootstrapping Inference in the IDP Knowledge Base System.

Published in:

New Generation Computing, 2016, v. 34, n. 3, p. 193, doi. 10.1007/s00354-016-0301-3

By:

Bogaerts, Bart;
Jansen, Joachim;
Cat, Broes;
Janssens, Gerda;
Bruynooghe, Maurice;
Denecker, Marc

Publication type:

Article

Data Mining: From Procedural to Declarative Approaches.

Published in:

New Generation Computing, 2015, v. 33, n. 2, p. 115, doi. 10.1007/s00354-015-0202-x

By:

Blockeel, Hendrik

Publication type:

Article

Contrastive elements in Romanian declarative contours.

Published in:

Computer Science Journal of Moldova, 2017, v. 25, n. 1, p. 75

By:

Jitcă, Doina

Publication type:

Article

A multi-agent architecture for geosimulation of moving agents.

Published in:

Journal of Geographical Systems, 2015, v. 17, n. 4, p. 353, doi. 10.1007/s10109-015-0218-2

By:

Vahidnia, Mohammad;
Alesheikh, Ali;
Alavipanah, Seyed

Publication type:

Article

Potassco: The Potsdam Answer Set Solving Collection.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 107

By:

Balduccini, Marcello;
Woltran, Stefan;
Gebser, Martin;
Kaufmann, Benjamin;
Kaminski, Roland;
Ostrowski, Max;
Schaub, Torsten;
Schneider, Marius

Publication type:

Article

Learning and using domain-specific heuristics in ASP solvers.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 147, doi. 10.3233/aic-2011-0493

By:

Balduccini, Marcello;
Woltran, Stefan

Publication type:

Article

Dynamic Magic Sets and super-coherent answer set programs.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 125

By:

Balduccini, Marcello;
Woltran, Stefan;
Alviano, Mario;
Faber, Wolfgang

Publication type:

Article

Symmetry-breaking answer set solving.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 177

By:

Balduccini, Marcello;
Woltran, Stefan;
Drescher, Christian;
Tifrea, Oana;
Walsh, Toby

Publication type:

Article

A logical characterisation of ordered disjunction.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 165

By:

Balduccini, Marcello;
Woltran, Stefan;
Cabalar, Pedro

Publication type:

Article

Special issue on answer set programming.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 105, doi. 10.3233/aic-2011-0497

By:

Balduccini, Marcello;
Woltran, Stefan

Publication type:

Article

An incremental answer set programming based system for finite model computation.

Published in:

AI Communications, 2011, v. 24, n. 2, p. 195

By:

Balduccini, Marcello;
Woltran, Stefan;
Gebser, Martin;
Sabuncu, Orkunt;
Schaub, Torsten

Publication type:

Article

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

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 2, p. 114, doi. 10.1017/S1471068418000534

By:

FANDINNO, JORGE;
SCHULZ, CLAUDIA;
Schulz, Claudia;
Ellmauthaler, Stefan

Publication type:

Article

onlineSPARC: A Programming Environment for Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 2, p. 262, doi. 10.1017/S1471068418000509

By:

MARCOPOULOS, ELIAS;
ZHANG, YUANLIN;
Schulz, Claudia;
Ellmauthaler, Stefan

Publication type:

Article

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

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 2, p. 290, doi. 10.1017/S1471068418000492

By:

DODARO, CARMINE;
GASTEIGER, PHILIP;
REALE, KRISTIAN;
RICCA, FRANCESCO;
SCHEKOTIHIN, KONSTANTIN;
Schulz, Claudia;
Ellmauthaler, Stefan

Publication type:

Article

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 800, doi. 10.1017/S1471068417000424

By:

GAVANELLI, MARCO;
NONATO, MADDALENA;
PEANO, ANDREA;
BERTOZZI, DAVIDE

Publication type:

Article

Representing hybrid automata by action language modulo theories.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 924, doi. 10.1017/S1471068417000412

By:

JOOHYUNG LEE;
LONEY, NIKHIL;
YUNSONG MENG

Publication type:

Article

Computing LP<sup>MLN</sup> using ASP and MLN solvers.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 942, doi. 10.1017/S1471068417000400

By:

JOOHYUNG LEE;
TALSANIA, SAMIDH;
YI WANG

Publication type:

Article

Achievements in answer set programming.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 961, doi. 10.1017/S1471068417000345

By:

LIFSCHITZ, VLADIMIR

Publication type:

Article

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

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 744, doi. 10.1017/S1471068417000370

By:

BECK, HARALD;
EITER, THOMAS;
FOLIE, CHRISTIAN

Publication type:

Article

Program completion in the input language of GRINGO.

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 855, doi. 10.1017/S1471068417000394

By:

HARRISON, AMELIA;
LIFSCHITZ, VLADIMIR;
RAJU, DHANANJAY

Publication type:

Article

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

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 837, doi. 10.1017/S1471068417000382

By:

GONÇ ALVES, RICARDO;
KNORR, MATTHIAS;
LEITE, JOÃO;
WOLTRAN, STEFAN

Publication type:

Article

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

Published in:

Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 780, doi. 10.1017/S1471068417000254

By:

CUTERI, BERNARDO;
DODARO, CARMINE;
RICCA, FRANCESCO;
SCHÜLLER, PETER

Publication type:

Article

On equivalence of infinitary formulas under the stable model semantics.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 1, p. 18, doi. 10.1017/S1471068414000088

By:

HARRISON, AMELIA;
LIFSCHITZ, VLADIMIR;
TRUSZCZYNSKI, MIROSLAW

Publication type:

Article

aspeed: Solver scheduling via answer set programming.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 1, p. 117, doi. 10.1017/S1471068414000015

By:

HOOS, HOLGER;
KAMINSKI, ROLAND;
LINDAUER, MARIUS;
SCHAUB, TORSTEN

Publication type:

Article

An application of answer set programming to the field of second language acquisition.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 1, p. 1, doi. 10.1017/S1471068413000653

By:

INCLEZAN, DANIELA

Publication type:

Article

Characterizing and extending answer set semantics using possibility theory.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 1, p. 79, doi. 10.1017/S147106841300063X

By:

BAUTERS, KIM;
SCHOCKAERT, STEVEN;
DE COCK, MARTINE;
VERMEIR, DIRK

Publication type:

Article

The rise and fall of semantic rule updates based on SE-models.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 6, p. 869, doi. 10.1017/S1471068413000100

By:

SLOTA, MARTIN;
LEITE, JOÃO

Publication type:

Article

A multi-engine approach to answer-set programming.

Published in:

Theory & Practice of Logic Programming, 2014, v. 14, n. 6, p. 841, doi. 10.1017/S1471068413000094

By:

MARATEA, MARCO;
PULINA, LUCA;
RICCA, FRANCESCO

Publication type:

Article

Reasoning with Forest Logic Programs and f-hybrid knowledge bases.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 3, p. 395, doi. 10.1017/S1471068411000597

By:

FEIER, CRISTINA;
HEYMANS, STIJN

Publication type:

Article

Expressiveness of communication in answer set programming.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 3, p. 361, doi. 10.1017/S1471068411000561

By:

BAUTERS, KIM;
SCHOCKAERT, STEVEN;
JANSSEN, JEROEN;
VERMEIR, DIRK;
DE COCK, MARTINE

Publication type:

Article

A simple correctness proof for magic transformation.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 6, p. 929, doi. 10.1017/S1471068411000032

By:

DRABENT, WŁODZIMIERZ

Publication type:

Article

Team-building with answer set programming in the Gioia-Tauro seaport.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 3, p. 361, doi. 10.1017/S147106841100007X

By:

RICCA, F.;
GRASSO, G.;
ALVIANO, M.;
MANNA, M.;
LIO, V.;
IIRITANO, S.;
LEONE, N.

Publication type:

Article

Representing first-order causal theories by logic programs.

Published in:

Theory & Practice of Logic Programming, 2012, v. 12, n. 3, p. 383, doi. 10.1017/S1471068411000081

By:

FERRARIS, PAOLO;
LEE, JOOHYUNG;
LIERLER, YULIYA;
LIFSCHITZ, VLADIMIR;
YANG, FANGKAI

Publication type:

Article

CLP-based protein fragment assembly.

Published in:

Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 709, doi. 10.1017/S1471068410000372

By:

Dal Palù, Alessandro;
Dovier, Agostino;
Fogolari, Federico;
Pontelli, Enrico

Publication type:

Article

Probabilistic reasoning with answer sets.

Published in:

Theory & Practice of Logic Programming, 2009, v. 9, n. 1, p. 57, doi. 10.1017/S1471068408003645

By:

CHITTA BARAL;
MICHAEL GELFOND;
NELSON RUSHTON

Publication type:

Article

Justifications for logic programs under answer set semantics.

Published in:

Theory & Practice of Logic Programming, 2009, v. 9, n. 1, p. 1, doi. 10.1017/S1471068408003633

By:

ENRICO PONTELLI;
TRAN CAO SON;
OMAR ELKHATIB

Publication type:

Article

Declarative business process modelling: principles and modelling languages.

Published in:

Enterprise Information Systems, 2015, v. 9, n. 2, p. 161, doi. 10.1080/17517575.2013.830340

By:

Goedertier, Stijn;
Vanthienen, Jan;
Caron, Filip

Publication type:

Article

Modeling Human Dialogue Transactions in the Context of Declarative Knowledge.

Published in:

International Arab Journal of Information Technology (IAJIT), 2013, v. 10, n. 3, p. 305

By:

Chimir, Igor;
Ghazi, Ameed;
Abu-Dawwas, Waheeb

Publication type:

Article