Works matching DE "PROLOG (Computer program language)"

Results: 132

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:

Panigrahi, Pijushkanti;
Prasad, A. R. D.

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

Computer Maintenance via Batch Execution.

Published in:

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

By:

MAREŠ, Martin

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

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

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:

Ecsedi-Tóth, P.

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

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

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

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

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

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

Intelligent Advisory System for Supporting Redesign.

Published in:

Computer-Aided Design & Applications, 2004, v. 1, n. 1-4, p. 683, doi. 10.1080/16864360.2004.10738314

By:

Novak, Marina;
Dolšak, Bojan

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

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

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs.

Published in:

International Journal of Parallel Programming, 2016, v. 44, n. 3, p. 386, doi. 10.1007/s10766-014-0346-1

By:

Areias, Miguel;
Rocha, Ricardo

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

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

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

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:

Hasankhani, Ebrahim Ghaiem

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:

Radulovic, B.;
Berkovic, I.;
Hotomski, P.;
Kazi, Z.

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:

Mocean, Loredana;
Ciaca, Monica;
Khelalfa, Halim

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

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

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

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

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

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

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

Observational studies about novices interacting in a Prolog environment based on tools.

Published in:

Instructional Science, 1995, v. 23, n. 1-3, p. 89, doi. 10.1007/BF00890447

By:

Baranauskas, Maria Cecilia C

Publication type:

Article

Some notes on the PARC 700 Dependency Bank.

Published in:

Natural Language Engineering, 2007, v. 13, n. 3, p. 261, doi. 10.1017/S1351324907004548

By:

TOMAS 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:

Golemanova, Emilia;
Golemanov, Tzanko;
Kratchanov, Kostadin

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:

MARTIN ERWIG

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

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:

Hernández‐Del‐Olmo, Félix;
Gaudioso, Elena

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

Tabling with Sound Answer Subsumption.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 933, doi. 10.1017/S147106841600048X

By:

VANDENBROUCKE, ALEXANDER;
PIRÓG, MACIEJ;
DESOUTER, BENOIT;
SCHRIJVERS, TOM;
Carro, Manuel;
King, Andy

Publication type:

Article

Query answering in resource-based answer set semantics.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 619, doi. 10.1017/S1471068416000478

By:

COSTANTINI, STEFANIA;
FORMISANO, ANDREA;
Carro, Manuel;
King, Andy

Publication type:

Article

Efficient algebraic effect handlers for Prolog.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 884, doi. 10.1017/S147106841600034X

By:

SALEH, AMR HANY;
SCHRIJVERS, TOM;
Carro, Manuel;
King, Andy

Publication type:

Article

On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 899, doi. 10.1017/S1471068416000296

By:

SANTOS, JÕAO;
ROCHA, RICARDO;
Carro, Manuel;
King, Andy

Publication type:

Article