Works matching DE "PROLOG (Computer program language)"
Results: 131
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
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:
- 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
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
Logic Programming in Perl.
- Published in:
- Perl Review, 2005, v. 2, n. 0, p. 19
- By:
- 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:
- 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:
- 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
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
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
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
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
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
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:
- 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
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:
- 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:
- 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
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
Test frame updating in CPM testing of Prolog programs.
- Published in:
- Software Quality Journal, 2008, v. 16, n. 2, p. 277
- 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
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
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
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
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:
- 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:
- 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
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
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
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
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:
- 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
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
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:
- 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:
- 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
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
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:
- 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