Works matching Prolog (Computer program language)

Results: 135

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:

Burd, Stephen D.;
Kassicieh, Suleiman K.

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:

Black, John B.;
Swan, Karen;
Schwartz, Daniel L.

Publication type:

Article

Spatiotemporal pattern queries.

Published in:

GeoInformatica, 2011, v. 15, n. 3, p. 497, doi. 10.1007/s10707-010-0114-3

By:

Sakr, Mahmoud;
Güting, Ralf

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:

Holmes, Ian H.;
Mungall, Christopher J.

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:

PYTLIK, PRZEMYSŁAW

Publication type:

Article

Scaling-up reasoning and advanced analytics on BigData.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 806, doi. 10.1017/S1471068418000418

By:

CONDIE, TYSON;
DAS, ARIYAM;
INTERLANDI, MATTEO;
SHKAPSKY, ALEXANDER;
YANG, MOHAN;
ZANIOLO, CARLO

Publication type:

Article

Table space designs for implicit and explicit concurrent tabled evaluation.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 950, doi. 10.1017/S147106841800039X

By:

AREIAS, MIGUEL;
ROCHA, RICARDO

Publication type:

Article

Logic programming as a service.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 846, doi. 10.1017/S1471068418000364

By:

CALEGARI, ROBERTA;
DENTI, ENRICO;
MARIANI, STEFANO;
OMICINI, ANDREA

Publication type:

Article

Performing fully parallel constraint logic programming on a quantum annealer.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 928, doi. 10.1017/S1471068418000066

By:

PAKIN, SCOTT

Publication type:

Article

Translating LPOD and CR-Prolog<sub>2</sub> into standard answer set programs.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 589, doi. 10.1017/S1471068418000315

By:

LEE, JOOHYUNG;
YANG, ZHUN;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 571, doi. 10.1017/S1471068418000261

By:

KAMINSKI, TOBIAS;
EITER, THOMAS;
INOUE, KATSUMI;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

Top-down and Bottom-up Evaluation Procedurally Integrated.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 706, doi. 10.1017/S1471068418000194

By:

WARREN, DAVID S.;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level.

Published in:

Computer Science Education, 2004, v. 14, n. 3, p. 205, doi. 10.1080/0899340042000302727

By:

Christiansen, Henning

Publication type:

Article

Using PROLOG in discrete mathematics.

Published in:

College Mathematics Journal, 1993, v. 24, n. 4, p. 357, doi. 10.1080/07468342.1993.11973556

By:

Lopez Jr., Antonio M.;
Herman, Eugene A.

Publication type:

Article

Logic Programming in Perl.

Published in:

Perl Review, 2005, v. 2, n. 0, p. 19

By:

Poe, Curtis "Ovid"

Publication type:

Article

From the publisher.

Published in:: Perl Review, 2005, v. 2, n. 0, p. 2
Publication type:: Article

Guest editorial: special issue on Inductive Logic Programming (ILP 2011).

Published in:

2012

By:

Muggleton, Stephen;
Chen, Jianzhong

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:

Renkens, Joris;
Broeck, Guy;
Nijssen, Siegfried

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:

Lee, Ronald M.;
Widmeyer, George R.

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:

Čeh, Marjan;
Smole, Domen;
Podobnikar, Tomaž

Publication type:

Article

An approach to learning mathematics through knowledge engineering.

Published in:

Journal of Computer Assisted Learning, 1999, v. 15, n. 4, p. 291, doi. 10.1046/j.1365-2729.1999.00104.x

By:

Kadijevich, D.

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:

Golińska-Pilarek, Joanna;
Muñoz-Velasco, Emilio;
Mora-Bonilla, Angel

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:

Richard, Gilles;
Saubion, Frédéric

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:

Indo, Kenryo

Publication type:

Article

Algebraic computational models of OR-parallel execution of Prolog.

Published in:

Acta Informatica, 1997, v. 34, n. 6, p. 449, doi. 10.1007/s002360050094

By:

Barbuti, R.;
De Francesco, N.;
Santone, A.

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:

Cărbureanu, Mădălina

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:

Elbl, Birgit

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:

Hinze, Ralf

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:

Xiaoguang Li

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:

Takahara, Yasuhiko;
Liu, Yongmei;
Yano, Yoshio

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:

Takahara, Yasuhiko;
Shiba, Naoki;
Yongmei Liu

Publication type:

Article

Controlling test case explosion in test generation from B formal models.

Published in:

Software Testing: Verification & Reliability, 2004, v. 14, n. 2, p. 81, doi. 10.1002/stvr.287

By:

Legeard, Bruno;
Peureux, Fabien;
Utting, Mark

Publication type:

Article

Determining the Reliability of Prolog Programs.

Published in:

Software Testing: Verification & Reliability, 1994, v. 4, n. 4, p. 203, doi. 10.1002/stvr.4370040403

By:

Azem, Alireza;
Belli, Fevzi

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:

Menezes, Francisco;
Barahona, Pedro

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:

Bardens, Rupert;
Karagiannis, Dimitris

Publication type:

Article

Computer Maintenance via Batch Execution.

Published in:

Olympiads in Informatics, 2013, v. 7, p. 55

By:

MAREŠ, Martin

Publication type:

Article

KNOWLEDGE BASE FOR ELECTRICAL DISTRIBUTION NETWORKS RECONFIGURATION.

Published in:

Journal of Sustainable Energy, 2010, v. 1, n. 1, p. 16

By:

Borlea, I.;
Jigoria-Oprea, D.;
Lustrea, B.;
Vinţan, M.

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:

Mancarella, P.;
RaffaetÀ, A.;
Renso, C.;
Turini, F.

Publication type:

Article

RELATING ADMISSIBILITY STANDARDS FOR DIGITAL EVIDENCE TO ATTACK SCENARIO RECONSTRUCTION.

Published in:

Journal of Digital Forensics, Security & Law, 2014, v. 9, n. 2, p. 181

By:

Changwei Liu;
Singhal, Anoop;
Wijesekera, Duminda

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:

Karami, Nasser;
Junichi Iijima

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:

Haberman, Bruria;
Ragonis, Noa

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:

Gil Suárez, Sonia Milena;
Martínez Buitrago, Diana Isabel

Publication type:

Article

Comunidades virtuales como complemento del currículum.

Published in:

Revista Vínculos, 2013, v. 10, n. 2, p. 461

By:

Catalán Julián, Javier;
Altamirano Carmona, Edgar;
Becerra Correa, Nelson

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:

Iancu, Ion

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:

Rzhetsky, Andrey;
Evans, James A.

Publication type:

Article

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:

Batory, Don;
Azanza, Maider

Publication type:

Article

Implementing Constructive Intensional Negation.

Published in:

New Generation Computing, 2009, v. 27, n. 1, p. 25, doi. 10.1007/s00354-008-0053-9

By:

Mariño, Julio;
Moreno-Navarro, Juan José;
Munoz-Hernandez, Susana

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:

Cordón-Franco, Andrés;
Gutiérrez-Naranjo, Miguel A.;
Pérez-Jiménez, mario J.;
Sancho-Caparrini, Fernando

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:

Duran, Alejandro;
AyguadÉ, Eduard;
Badia, Rosa M.;
Labarta, JesÚs;
Martinell, Luis;
Martorell, Xavier;
Planas, Judit

Publication type:

Article

Sistemas basados en conocimiento usando Prolog.

Published in:

Revista Cubana de Ciencias Informáticas, 2007, v. 1, n. 3, p. 4

By:

Valdivia, Zenaida García;
Cruz, Isis Bonet;
Pérez, Pedro Piñero;
Espinosa, Maikel León

Publication type:

Article