Works matching DE "PROLOG (Computer program language)"

Results: 131

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

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

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:

Zunino, Alejandro;
Campo, Marcelo;
Mateos, Cristian

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

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

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

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:

Bitter, Christian;
Elizondo, David A.;
Yingjie Yang

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

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

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

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

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

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

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

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

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

Reconstruction of the Eastern Urals Radioactive Track using the Prolog Software.

Published in:

Atomic Energy, 2014, v. 115, n. 5, p. 334, doi. 10.1007/s10512-014-9792-5

By:

Bogatov, S.;
Kiselev, A.;
Krylov, A.

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

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

Test frame updating in CPM testing of Prolog programs.

Published in:

Software Quality Journal, 2008, v. 16, n. 2, p. 277

By:

Tianlong Gu;
Junyan Qian;
Guoyong Cai

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:

Burrieza, A.;
Mora, A.;
Ojeda-Aciego, M.;
Orłowska, E.

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:

Witt, Andreas;
Goecke, Daniela;
Sasaki, Felix;
Lüngen, Harald

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

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

A web system for reasoning with probabilistic OWL.

Published in:

Software: Practice & Experience, 2017, v. 47, n. 1, p. 125, doi. 10.1002/spe.2410

By:

Bellodi, Elena;
Lamma, Evelina;
Riguzzi, Fabrizio;
Zese, Riccardo;
Cota, Giuseppe

Publication type:

Article

A rule-based procedure for automatic recognition of design patterns in UML diagrams.

Published in:

Software: Practice & Experience, 2016, v. 46, n. 7, p. 983, doi. 10.1002/spe.2336

By:

Di Martino, Beniamino;
Esposito, Antonio

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:

Reeves, Joshua

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:

Ting-Peng Liang

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

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

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

FUNCTIONAL FOLD BASED PROGRAMMING IN SWI-PROLOG.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2014, v. 24, n. 1, p. 91

By:

POPA, DAN

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:

Amati, Gianni;
Ounis, Iadh

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:

Tubella, J.;
González, A.;
Elias, E.

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:

Loia, V.;
Quaggetto, M.

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

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

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:

Van Hage, Willem Robert;
Schreiber, Guus;
Wielemaker, Jan

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

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