Search Results - "Logic programming languages"

Logic Programming: A Tool for MS/OR?

Authors: Bharath, Ramachandran¹

Source: Interfaces. Sep/Oct86, Vol. 16 Issue 5, p80-91. 12p.

Programming with Term Logic.

Authors: Castro-Manzano, J. Martín Lozano-Cobos, L. Ignacio Reyes-Cárdenas, Paniel O.

Source: BRAIN: Broad Research in Artificial Intelligence & Neuroscience. Sep2018, Vol. 9 Issue 3, p22-36. 15p. 1 Diagram, 16 Charts.

Logics with definitional reflection rules.

Authors: NORIHIRO KAMIDE¹ drnkamide08@kpd.biglobe.ne.jp

Source: Journal of Logic & Computation. Jul2017, Vol. 27 Issue 5, p1523-1548. 26p.

Subjects: Logic programming languages, Mathematics theorems, Mathematical formulas, Set theory, Sequent calculus

PROLOG for the Implementation of Student Module in ICAIP system.

Authors: He Rongyu Qin Zheng Fei Huaping

Source: International MultiConference of Engineers & Computer Scientists 2007 (Volume 1). 2007, p127-130. 4p. 1 Diagram.

Subjects: Prolog (Computer program language), Logic programming languages, Computer assisted instruction, Computers in education, Educational technology

PERSONALISATION, PROFILING AND ADAPTATION FOR INCLUSIVE E-LEARNING SUPPORT.

Authors: Green, Steve Pearson, Elaine Gkatzidou, Stavroula

Source: Proceedings of the International Conference on Information Technologies; 2009, Vol. 1, p149-156, 8p

Online Bayesian inference for the parameters of PRISM programs.

Authors: Cussens, James¹ james.cussens@york.ac.uk

Source: Machine Learning. Dec2012, Vol. 89 Issue 3, p279-297. 19p.

Subjects: Bayesian analysis, Logic programming languages, Logic programming, Dirichlet forms, Markov processes, Herbrand's theorem (Number theory)

An Investigation of Multi-Agent Planning in CLP.

Authors: Dovier, Agostino Formisano, Andrea Pontelli, Enrico

Source: Fundamenta Informaticae. 2011, Vol. 105 Issue 1-2, p79-103. 25p.

Subjects: Multiagent systems, Logic programming languages, Constraint satisfaction, Intelligent agents, Programming languages, MAP (Computer program language)

A Prolog Simulator for Deterministic P Systems with Active Membranes.

Authors: Cordón-Franco, Andrés Gutiérrez-Naranjo, Miguel A. Pérez-Jiménez, mario J. et al.

Source: New Generation Computing. 2004, Vol. 22 Issue 4, p349-363. 15p.

Subjects: Prolog (Computer program language), Logic programming languages, Programming languages, Computer systems, Computer simulation, Electronic systems

Using linear constraints for logic program termination analysis.

Authors: CALAUTTI, MARCO GRECO, SERGIO MOLINARO, CRISTIAN et al.

Source: Theory & Practice of Logic Programming. May2016, Vol. 16 Issue 3, p353-377. 25p.

ALTERNATING REGULAR TREE GRAMMARS IN THE FRAMEWORK OF LATTICE-VALUED LOGIC.

Alternate Title: گرامرهای درختی منظم متناوب بر اساس منطق مشبکه-مقدار

Authors: GHORANI, M. ZAHEDI, M. M.

Source: Iranian Journal of Fuzzy Systems. Apr2016, Vol. 13 Issue 2, p71-94. 25p.

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently.

Authors: Menezes, Francisco Barahona, Pedro

Source: Annals of Operations Research. 1994, Vol. 50 Issue 1-4, p411-426. 16p. 4 Diagrams, 4 Charts.

Subjects: Logic programming languages, Prolog (Computer program language), CSP (Computer program language), Computational complexity, Heuristic, Operations research

A LOGIC LANGUAGE FOR COMBINATORIAL OPTIMIZATION.

Authors: Van Hentenryck, Pascal¹

Source: Annals of Operations Research. 1989, Vol. 21 Issue 1-4, p247-273. 27p. 8 Diagrams, 2 Charts.

Subjects: Combinatorial optimization, Logic programming languages, Constraint programming, Programming languages, Operations research

PROFIER: A Prolog-Based Support System for Developing Picture Recognition Program.

Authors: Endo, Tsutomu¹

Source: Systems & Computers in Japan. Jan1989, Vol. 20 Issue 1, p31-38. 8p.

Subjects: Prolog (Computer program language), Logic programming languages, Artificial intelligence, Punched card systems, Information storage & retrieval systems, Self-organizing systems, Numerical analysis

Unification Parallelism for Prolog Processing.

Authors: Inagawa, Masayuki Baba, Takanobu Yamazaki, Katsuhiro et al.

Source: Systems & Computers in Japan. Jan1988, Vol. 19 Issue 1, p37-46. 10p.

Subjects: Programming languages, Logic programming languages, Computer programming, Algorithms, Computer software

A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING.

Authors: Meyer, Bernd

Source: Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p327-344. 18p. 3 Diagrams.

Subjects: Constraint satisfaction, Logic programming languages, Comparative grammar

SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING.

Authors: Christiansen, Henning Martinenghi, Davide

Source: Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p345-367. 23p.

Subjects: Constraint satisfaction, Logic programming languages

A PROLOG CONSTRAINT HANDLING RULES COMPILER AND RUNTIME SYSTEM.

Authors: Holzbaur, Christian Fruhwirth, Thom

Source: Applied Artificial Intelligence. Apr2000, Vol. 14 Issue 4, p369-388. 20p. 2 Graphs.

Subjects: Constraint satisfaction, Logic programming languages

ACHILLES, TURTLE, AND UNDECIDABLE BOUNDEDNESS PROBLEMS FOR SMALL DATALOG PROGRAMS.

Authors: Marcinkowski, Jerzy¹ jma@tcs.uni.wroc.pl

Source: SIAM Journal on Computing. 1999, Vol. 29 Issue 1, p231. 27p.

Subjects: Logic programming languages, Query languages (Computer science), Decidability (Mathematical logic), Mathematical optimization

ARTIFICIAL INTELLIGENCE.

Authors: Hyotyneimi, Heikki¹

Source: Encyclopedia of Electrical & Electronics Engineering; 1999 1st Edition, Vol. 1, p666-684, 19p

THE EARLY YEARS OF LOGIC PROGRAMMING.

Authors: Kowalski, Robert A.¹

Source: Communications of the ACM. Jan1988, Vol. 31 Issue 1, p38-43. 6p.

Subjects: Prolog (Computer program language), Logic programming languages, Computer operating systems, Intelligent agents, Algorithms, Colmerauer, Alain, Parsing (Computer grammar)