Works matching DE "LOGIC programming languages"
Results: 86
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
Logics with definitional reflection rules.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1523, doi. 10.1093/logcom/exw013
- 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
Logic Programming in Perl.
- Published in:
- Perl Review, 2005, v. 2, n. 0, p. 19
- By:
- Publication type:
- Article
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
Natural language processing: a prolog perspective.
- Published in:
- Artificial Intelligence Review, 2010, v. 33, n. 1/2, p. 151, doi. 10.1007/s10462-009-9151-4
- By:
- Publication type:
- Article
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.
- Published in:
- Artificial Intelligence Review, 2004, v. 22, n. 1, p. 3, doi. 10.1023/B:AIRE.0000044296.89727.ff
- By:
- Publication type:
- Article
Automatic data aggregation for recursively modeled NFV services.
- Published in:
- International Journal of Network Management, 2018, v. 28, n. 2, p. 1, doi. 10.1002/nem.2009
- 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
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
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
Integrating knowledge representation and reasoning in Geographical Information Systems.
- Published in:
- International Journal of Geographical Information Science, 2004, v. 18, n. 4, p. 417, doi. 10.1080/13658810410001672908
- 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
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
Programming with Term Logic.
- Published in:
- BRAIN: Broad Research in Artificial Intelligence & Neuroscience, 2018, v. 9, n. 3, p. 22
- 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
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
CGLIBa constraint-based graphics library.
- Published in:
- Software: Practice & Experience, 2003, v. 33, n. 13, p. 1199, doi. 10.1002/spe.539
- 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
An Introduction to Language Processing with Perl and Prolog.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
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
Knowledge-Based Systems: A Qualitative Formalism.
- Published in:
- Qualitative Sociology, 1986, v. 9, n. 3, p. 256, doi. 10.1007/BF00988401
- By:
- Publication type:
- Article
A Prolog Simulator for Deterministic P Systems with Active Membranes.
- Published in:
- New Generation Computing, 2004, v. 22, n. 4, p. 349, doi. 10.1007/BF03037286
- By:
- Publication type:
- Article
Resolution for Label-based Formulas in Hierarchical Representation.
- Published in:
- New Generation Computing, 2004, v. 22, n. 3, p. 253, doi. 10.1007/BF03040963
- 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
Data structures for order-sensitive predicates in parallel nondeterministic systems.
- Published in:
- Acta Informatica, 2000, v. 37, n. 1, p. 21, doi. 10.1007/PL00013301
- By:
- Publication type:
- Article
Biomolecular computing: Molecules that reason.
- Published in:
- 2009
- By:
- Publication type:
- Opinion
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
Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective.
- Published in:
- Knowledge Engineering Review, 2004, v. 19, n. 3, p. 213, doi. 10.1017/s0269888905000263
- 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
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
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
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
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
Logic programming for finding models in the logics of knowledge and its applications: A case study.
- Published in:
- 2010
- By:
- Publication type:
- Case Study
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