Works matching DE "PROLOG (Computer program language)"
Results: 129
Teaching model-driven engineering from a relational database perspective.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 443, doi. 10.1007/s10270-015-0488-7
- 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
General system theoretic approach to data mining system.
- Published in:
- International Journal of General Systems, 2002, v. 31, n. 3, p. 245, doi. 10.1080/03081070290005195
- By:
- Publication type:
- Article
Comparative Study of the Inference Mechanisms in PROLOG and SPIDER.
- Published in:
- TEM Journal, 2018, v. 7, n. 4, p. 892, doi. 10.18421/TEM74-30
- By:
- Publication type:
- Article
Efficacy of back care program in chronic back pain during pregnancy.
- Published in:
- Journal of Chinese Clinical Medicine, 2009, v. 4, n. 2, p. 87
- By:
- Publication type:
- Article
The Development of Baselog System and Some Applications.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 4, p. 390
- 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
The Multipath Architecture for Prolog Programs.
- Published in:
- Computer Journal, 1996, v. 39, n. 9, p. 780, doi. 10.1093/comjnl/39.9.780
- By:
- Publication type:
- Article
The Opla System: Designing Complex Systems in an Object-oriented Logic Programming Framework.
- Published in:
- Computer Journal, 1996, v. 39, n. 1, p. 20, doi. 10.1093/comjnl/39.1.20
- By:
- Publication type:
- Article
A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines.
- Published in:
- Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1435, doi. 10.2298/CSIS131025050S
- By:
- Publication type:
- Article
Batched Evaluation of Linear Tabled Logic Programs.
- Published in:
- Computer Science & Information Systems, 2013, v. 10, n. 4, p. 1775, doi. 10.2298/CSIS121129066A
- By:
- Publication type:
- Article
Reactive Mobility by Failure: When Fail Means Move.
- Published in:
- Information Systems Frontiers, 2005, v. 7, n. 2, p. 141, doi. 10.1007/s10796-005-1475-2
- By:
- Publication type:
- Article
The Wastewater pH Control Using an Artificial Intelligence Technique.
- Published in:
- Petroleum - Gas University of Ploiesti Bulletin, Technical Series, 2012, v. 64, n. 3, p. 83
- By:
- Publication type:
- Article
The Space Package: Tight Integration between Space and Semantics.
- Published in:
- Transactions in GIS, 2010, v. 14, n. 2, p. 131, doi. 10.1111/j.1467-9671.2010.01187.x
- By:
- Publication type:
- Article
So Different Though So Similar? -- Or Vice Versa? Exploration of the Logic Programming and the Object-Oriented Programming Paradigms.
- Published in:
- Issues in Informing Science & Information Technology, 2010, v. 7, p. 393, doi. 10.28945/1215
- By:
- Publication type:
- Article
BioMake: a GNU make-compatible utility for declarative workflow management.
- Published in:
- Bioinformatics, 2017, v. 33, n. 21, p. 3502, doi. 10.1093/bioinformatics/btx306
- By:
- Publication type:
- Article
Logic Programming as a Paradigm for Financial Modeling.
- Published in:
- MIS Quarterly, 1989, v. 13, n. 1, p. 65, doi. 10.2307/248702
- By:
- Publication type:
- Article
GENERATING COOPERATIVE QUESTION-RESPONSES BY MEANS OF EROTETIC SEARCH SCENARIOS.
- Published in:
- Logic & Logical Philosophy, 2015, v. 24, n. 1, p. 61, doi. 10.12775/LLP.2014.017
- 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
USING AI METHODOLOGIES IN MATHEMATICAL MODELING OF PRODUCTION SYSTEMS.
- Published in:
- Annals of Operations Research, 1989, v. 17, n. 1-4, p. 307, doi. 10.1007/BF02096611
- By:
- Publication type:
- Article
KNOWLEDGE-BASED MANPOWER PLANNING.
- Published in:
- Annals of Operations Research, 1988, v. 16, n. 1-4, p. 349, doi. 10.1007/BF02283753
- By:
- Publication type:
- Article
The Construction of Intelligent English Teaching Model Based on Artificial Intelligence.
- Published in:
- International Journal of Emerging Technologies in Learning, 2017, v. 12, n. 12, p. 35, doi. 10.3991/ijet.v12i12.7963
- By:
- Publication type:
- Article
A FORMAL MODEL FOR IMPLEMENTATION OF OR PARALLELISM.
- Published in:
- Economic Computation & Economic Cybernetics Studies & Research, 2009, v. 43, n. 2, p. 1
- By:
- Publication type:
- Article
Autotest: An educational software application to support teachers in creating tests.
- Published in:
- Computer Applications in Engineering Education, 2013, v. 21, n. 4, p. 636, doi. 10.1002/cae.20508
- By:
- Publication type:
- Article
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
- Published in:
- International Journal of Computer Mathematics, 2009, v. 86, n. 10/11, p. 1852, doi. 10.1080/00207160902777906
- By:
- Publication type:
- Article
EXPERT SYSTEM SUPPORTING FAILURE MODE AND EFFECT ANALYSIS (FMEA).
- Published in:
- Technical Transactions / Czasopismo Techniczne, 2016, v. 2-E, p. 213, doi. 10.4467/2353737XCT.16.259.6058
- By:
- Publication type:
- Article
El uso de Prolog en el aula: de lógica a inteligencia artificial.
- Published in:
- Revista Vínculos, 2013, v. 10, n. 2, p. 289
- By:
- Publication type:
- Article
Comunidades virtuales como complemento del currículum.
- Published in:
- Revista Vínculos, 2013, v. 10, n. 2, p. 461
- By:
- Publication type:
- Article
On the Expressive Power of Equality-Free First Order Languages.
- Published in:
- Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 371, doi. 10.1002/malq.19860321911
- By:
- Publication type:
- Article
War of Ontology Worlds: Mathematics, Computer Code, or Esperanto?
- Published in:
- PLoS Computational Biology, 2011, v. 7, n. 9, p. 1, doi. 10.1371/journal.pcbi.1002191
- By:
- Publication type:
- Article
INFERENCE ENGINE FOR DEVICES OF COLON CLASSIFICATION IN AI BASED AUTOMATED CLASSIFICATION SYSTEM.
- Published in:
- Annals of Library & Information Studies, 2005, v. 52, n. 4, p. 124
- By:
- Publication type:
- Article
DEVELOPMENT OF A KNOWLEDGE-BASED MODEL MANAGEMENT SYSTEM.
- Published in:
- Operations Research, 1988, v. 36, n. 6, p. 849, doi. 10.1287/opre.36.6.849
- By:
- Publication type:
- Article
Shopping in the Electronic Marketplace.
- Published in:
- Journal of Management Information Systems, 1986, v. 2, n. 4, p. 21, doi. 10.1080/07421222.1986.11517744
- By:
- Publication type:
- Article
Prosum-Prolog system for uncertainty management.
- Published in:
- International Journal of Intelligent Systems, 1997, v. 12, n. 9, p. 615, doi. 10.1002/(SICI)1098-111X(199709)12:9<615::AID-INT1>3.0.CO;2-M
- By:
- Publication type:
- Article
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
OmpSs:: A PROPOSAL FOR PROGRAMMING HETEROGENEOUS MULTI-CORE ARCHITECTURES.
- Published in:
- Parallel Processing Letters, 2011, v. 21, n. 2, p. 173, doi. 10.1142/S0129626411000151
- By:
- Publication type:
- Article
A Non-Definability Result for a Predicational Language with the Usual Control.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 3, p. 385, doi. 10.1142/S0129054101000540
- 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
APPLICATION OF UNIVERSAL ONTOLOGY OF GEOGRAPHIC SPACE IN A SUBSET OF THE FIRST-ORDER PREDICATE CALCULUS.
- Published in:
- Geodetski Vestnik, 2012, v. 56, n. 1, p. 70
- By:
- Publication type:
- Article
Relational dual tableau decision procedure for modal logic K.
- Published in:
- Logic Journal of the IGPL, 2012, v. 20, n. 4, p. 747, doi. 10.1093/jigpal/jzr019
- By:
- Publication type:
- Article
Answer Synthesis for CLP Programs with Negation.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-c
- By:
- Publication type:
- Article
Automatic for the people: the automation of communicative labor.
- Published in:
- Communication & Critical/Cultural Studies, 2016, v. 13, n. 2, p. 150, doi. 10.1080/14791420.2015.1108450
- By:
- Publication type:
- Article
FUNCTIONAL FOLD BASED PROGRAMMING IN SWI-PROLOG.
- Published in:
- Scientific Studies & Research. Series Mathematics & Informatics, 2014, v. 24, n. 1, p. 91
- 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
KNOWLEDGE BASE FOR ELECTRICAL DISTRIBUTION NETWORKS RECONFIGURATION.
- Published in:
- Journal of Sustainable Energy, 2010, v. 1, n. 1, p. 16
- 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
Developing Thinking Skills with Computers.
- Published in:
- Teachers College Record, 1988, v. 89, n. 3, p. 384, doi. 10.1177/016146818808900302
- By:
- Publication type:
- Article
Guest editorial: special issue on Inductive Logic Programming (ILP 2011).
- Published in:
- 2012
- By:
- Publication type:
- Editorial
k-Optimal: a novel approximate inference algorithm for ProbLog.
- Published in:
- Machine Learning, 2012, v. 89, n. 3, p. 215, doi. 10.1007/s10994-012-5304-9
- By:
- Publication type:
- Article