Works matching DE "LOGIC programming languages"
Results: 86
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series.
- Published in:
- Journal of Artificial Intelligence Research, 2021, v. 70, p. 205, doi. 10.1613/jair.1.12395
- By:
- Publication type:
- Article
Proving Arrow’s theorem by PROLOG.
- Published in:
- Computational Economics, 2007, v. 30, n. 1, p. 57, doi. 10.1007/s10614-007-9086-2
- By:
- Publication type:
- Article
A systems theoretic approach to the design and implementation of a solver component for a management information system.
- Published in:
- International Journal of General Systems, 2004, v. 33, n. 1, p. 71, doi. 10.1080/0308107032000141055
- By:
- Publication type:
- Article
Conceptual Graphs and First Order Logic.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 1, doi. 10.1093/comjnl/43.1.1
- By:
- Publication type:
- Article
Programming with Term Logic.
- Published in:
- BRAIN: Broad Research in Artificial Intelligence & Neuroscience, 2018, v. 9, n. 3, p. 22
- By:
- Publication type:
- Article
GUEST EDITORIAL.
- Published in:
- 2000
- By:
- Publication type:
- Editorial
A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING.
- Published in:
- Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 327, doi. 10.1080/088395100117025
- By:
- Publication type:
- Article
SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING.
- Published in:
- Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 345, doi. 10.1080/088395100117034
- By:
- Publication type:
- Article
A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM.
- Published in:
- Applied Artificial Intelligence, 2000, v. 14, n. 4, p. 369, doi. 10.1080/088395100117043
- By:
- Publication type:
- Article
DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 6, p. 801, doi. 10.1142/S0218194013500216
- By:
- Publication type:
- Article
Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.
- Published in:
- Annals of Operations Research, 1994, v. 50, n. 1-4, p. 411, doi. 10.1007/BF02085650
- By:
- Publication type:
- Article
A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION.
- Published in:
- Annals of Operations Research, 1989, v. 21, n. 1-4, p. 247, doi. 10.1007/BF02022102
- By:
- Publication type:
- Article
ALTERNATING REGULAR TREE GRAMMARS IN THE FRAMEWORK OF LATTICE-VALUED LOGIC.
- Published in:
- Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 2, p. 71
- By:
- Publication type:
- Article
Biomolecular computing: Molecules that reason.
- Published in:
- 2009
- By:
- Publication type:
- Opinion
A Logical Approach for Implementing Dynamic Business Rules.
- Published in:
- Contemporary Management Research, 2010, v. 6, n. 1, p. 29, doi. 10.7903/cmr.2584
- By:
- Publication type:
- Article
Prolog's Control Constructs in a Functional Setting — Axioms and Implementation.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 2, p. 125, doi. 10.1142/S0129054101000436
- By:
- Publication type:
- Article
Extended semantics and inference for the Independent Choice Logic.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 589, doi. 10.1093/jigpal/jzp025
- By:
- Publication type:
- Article
A Hybrid Abductive Inductive Proof Procedure.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 371, doi. 10.1093/jigpal/12.5.371
- By:
- Publication type:
- Article
Context-based statistical relational learning.
- Published in:
- AI Communications, 2006, v. 19, n. 3, p. 291
- By:
- Publication type:
- Article
Template programs for Disjunctive Logic Programming: An operational semantics.
- Published in:
- AI Communications, 2006, v. 19, n. 3, p. 193
- By:
- Publication type:
- Article
Logic Programming: A Tool for MS/OR?
- Published in:
- Interfaces, 1986, v. 16, n. 5, p. 80, doi. 10.1287/inte.16.5.80
- By:
- Publication type:
- Article
Unification of XML Documents with Concurrent Markup.
- Published in:
- Literary & Linguistic Computing, 2005, v. 20, n. 1, p. 103, doi. 10.1093/llc/fqh046
- By:
- Publication type:
- Article
Escape from Zurg: an exercise in logic programming.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 3, p. 253, doi. 10.1017/s0956796804005040
- By:
- Publication type:
- Article
Online Bayesian inference for the parameters of PRISM programs.
- Published in:
- Machine Learning, 2012, v. 89, n. 3, p. 279, doi. 10.1007/s10994-012-5305-8
- By:
- Publication type:
- Article
Applying the information bottleneck to statistical relational learning.
- Published in:
- Machine Learning, 2012, v. 86, n. 1, p. 89, doi. 10.1007/s10994-011-5247-6
- 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
The intricacies of three-valued extensional semantics for higher-order logic programs.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 974, doi. 10.1017/S1471068417000357
- By:
- Publication type:
- Article
TLP volume 16 issue 5-6 Cover and Front matter.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. f1, doi. 10.1017/S147106841600051X
- By:
- Publication type:
- Article
Using linear constraints for logic program termination analysis.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 3, p. 353, doi. 10.1017/S1471068416000077
- By:
- Publication type:
- Article
A Proof Theoretic Study of Soft Concurrent Constraint Programming.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 649, doi. 10.1017/S147106841400026X
- By:
- Publication type:
- Article
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 4/5, p. 493, doi. 10.1017/S1471068414000167
- By:
- Publication type:
- Article
Parallel instantiation of ASP programs: techniques and experiments.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 2, p. 253, doi. 10.1017/S1471068411000652
- By:
- Publication type:
- Article
Applying Prolog to develop distributed systems.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 691, doi. 10.1017/S1471068410000360
- By:
- Publication type:
- Article
The system Kato: Detecting cases of plagiarism for answer-set programs.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 759, doi. 10.1017/S1471068410000402
- By:
- Publication type:
- Article
On the implementation of the probabilistic logic programming language ProbLog.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 235, doi. 10.1017/S1471068410000566
- By:
- Publication type:
- Article
Formalization of psychological knowledge in answer set programming and its application.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 725, doi. 10.1017/S1471068410000384
- By:
- Publication type:
- Article
Towards closed world reasoning in dynamic open worlds.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 547, doi. 10.1017/S147106841000027X
- By:
- Publication type:
- Article
Logic programming for finding models in the logics of knowledge and its applications: A case study.
- Published in:
- 2010
- By:
- Publication type:
- Case Study
Testing and debugging techniques for answer set solver development.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 741, doi. 10.1017/S1471068410000396
- By:
- Publication type:
- Article
A declarative semantics for CLP with qualification and proximity.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 627, doi. 10.1017/S1471068410000323
- By:
- Publication type:
- Article
A decidable subclass of finitary programs.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 481, doi. 10.1017/S1471068410000232
- By:
- Publication type:
- Article
A complete and terminating execution model for Constraint Handling Rules.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 597, doi. 10.1017/S147106841000030X
- By:
- Publication type:
- Article
A program-level approach to revising logic programs under the answer set semantics.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 565, doi. 10.1017/S1471068410000281
- By:
- Publication type:
- Article
Decidability properties for fragments of CHR.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 611, doi. 10.1017/S1471068410000311
- By:
- Publication type:
- Article
Loop formulas for description logic programs.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 531, doi. 10.1017/S1471068410000268
- By:
- Publication type:
- Article
Catching the Ouroboros: On debugging non-ground answer-set programs.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 513, doi. 10.1017/S1471068410000256
- By:
- Publication type:
- Article
FO(FD): Extending classical logic with rule-based fixpoint definitions.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 581, doi. 10.1017/S1471068410000293
- By:
- Publication type:
- Article
Automated termination analysis for logic programs with cut.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 365, doi. 10.1017/S1471068410000165
- By:
- Publication type:
- Article
A translational approach to constraint answer set solving.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 465, doi. 10.1017/S1471068410000220
- By:
- Publication type:
- Article
Inference with constrained hidden Markov models in PRISM.
- Published in:
- Theory & Practice of Logic Programming, 2010, v. 10, n. 4-6, p. 449, doi. 10.1017/S1471068410000219
- By:
- Publication type:
- Article