Works matching DE "DECLARATIVE programming"

Results: 62

Compositional specification of commercial contracts.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 485, doi. 10.1007/s10009-006-0010-1

By:

Andersen, Jesper;
Elsborg, Ebbe;
Henglein, Fritz;
Simonsen, Jakob;
Stefansen, Christian

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

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

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

Modeling and Language Extensions.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 33, doi. 10.1609/aimag.v37i3.2673

By:

Gebser, Martin;
Schaub, Torsten

Publication type:

Article

The Answer Set Programming Paradigm.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 13, doi. 10.1609/aimag.v37i3.2671

By:

Janhunen, Tomi;
Niemelä, Ilkka

Publication type:

Article

Answer Sets and the Language of Answer Set Programming.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 7, doi. 10.1609/aimag.v37i3.2670

By:

Lifschitz, Vladimir

Publication type:

Article

First-Order Logic with Inductive Definitions for Model-Based Problem Solving.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 69, doi. 10.1609/aimag.v37i3.2679

By:

Bruynooghe, Maurice;
Denecker, Marc;
Truszczyński, Mirosław

Publication type:

Article

Grounding and Solving in Answer Set Programming.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 25, doi. 10.1609/aimag.v37i3.2672

By:

Kaufmann, Benjamin;
Leone, Nicola;
Perri, Simona;
Schaub, Torsten

Publication type:

Article

Answer Set Programming: An Introduction to the Special Issue.

Published in:

AI Magazine, 2016, v. 37, n. 3, p. 5, doi. 10.1609/aimag.v37i3.2669

By:

Brewka, Gerhard;
Eiter, Thomas;
Truszczyński, Mirosław

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

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

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

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

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

Understanding Declare models: strategies, pitfalls, empirical results.

Published in:

Software & Systems Modeling, 2016, v. 15, n. 2, p. 325, doi. 10.1007/s10270-014-0435-z

By:

Haisjackl, Cornelia;
Barba, Irene;
Zugal, Stefan;
Soffer, Pnina;
Hadar, Irit;
Reichert, Manfred;
Pinggera, Jakob;
Weber, Barbara

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

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

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

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

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

Fuzzy answer set computation via satisfiability modulo theories.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 588, doi. 10.1017/S1471068415000241

By:

ALVIANO, MARIO;
PEÑALOZA, RAFAEL;
Eiter, Thomas;
Toni, Francesca

Publication type:

Article

Dual-normal logic programs – the forgotten class.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 495, doi. 10.1017/S1471068415000186

By:

FICHTE, JOHANNES K.;
TRUSZCZYŃSKI, MIROSŁAW;
WOLTRAN, STEFAN;
Eiter, Thomas;
Toni, Francesca

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

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

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

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

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

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

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

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

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

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