Works matching DE "DECLARATIVE programming"
Results: 62
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:
- 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:
- Publication type:
- Article
The Importance of Being Declarative.
- Published in:
- IEEE Software, 2013, v. 30, n. 1, p. 90, doi. 10.1109/MS.2013.18
- By:
- Publication type:
- Article
Stimulating Creativity through Opportunistic Software Development.
- Published in:
- IEEE Software, 2008, v. 25, n. 6, p. 64, doi. 10.1109/MS.2008.162
- By:
- Publication type:
- Article
Declarative GUI Programming in Microsoft Windows.
- Published in:
- IEEE Software, 2007, v. 24, n. 4, p. 16, doi. 10.1109/MS.2007.105
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Contrastive elements in Romanian declarative contours.
- Published in:
- Computer Science Journal of Moldova, 2017, v. 25, n. 1, p. 75
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- Publication type:
- Article
Potassco: The Potsdam Answer Set Solving Collection.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 107
- By:
- 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:
- Publication type:
- Article
Dynamic Magic Sets and super-coherent answer set programs.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 125
- By:
- Publication type:
- Article
Symmetry-breaking answer set solving.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 177
- By:
- Publication type:
- Article
A logical characterisation of ordered disjunction.
- Published in:
- AI Communications, 2011, v. 24, n. 2, p. 165
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article