Filters








287,905 Hits in 4.5 sec

Volume contents to volume 10

1991 The Journal of Logic Programming  
Italian0 A PRACTICAL FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS Maurice Bruynooghe A TYPE SYSTEM FOR LOGIC PROGRAMS Eyal Yardeni and Ehud Shapiro AND-PARALLEL EXECUTION OF LOGIC  ...  PROGRAMS ON A SHARED-MEMORY MULTIPROCESSOR Yow-Jian Lin and Vipin Kumar DATABASE LOGIC PROGRAMMING Moshe Y.  ... 
doi:10.1016/0743-1066(91)90043-o fatcat:q73tqcvapzgt3eechpeage2dla

Title index to volume 10

1991 The Journal of Logic Programming  
TITLE INDEX TO VOLUME 10 Type System for Logic Programs, A, 125Unsolvable Problems for SLDNF Resolution, And-Parallel Execution of Logic.  ...  Programs on a Shared-Memory Multiprocessor, 155 Comparison of Methods for Logic-Query Implementa- tion, 333 Database Logic Programming, 179 Declarative State Transition System, A, 45 Definite-Clause  ... 
doi:10.1016/0743-1066(91)90041-m fatcat:7v37o4jw3vapjkbmrfmfbowt6a

TLP volume 10 issue 2 Cover and Back matter

2010 Theory and Practice of Logic Programming  
There is a preferential rate for members of The Association of Logic Programming and The Association of Computing Machinery -please enquire. Six parts form a volume.  ...  instructions to authors Aims and scope Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming  ...  Endorsed by Cambridge Journals Online For further information about this journal please go to the journal website at:  ... 
doi:10.1017/s1471068410000050 fatcat:xwgjuq23ifb5vhhnni3q3zgir4

TLP volume 10 issue 3 Cover and Back matter

2010 Theory and Practice of Logic Programming  
The first seven chapters include the necessary logical background for the material and are suitable for a graduate course.  ...  This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity.  ...  instructions to authors Aims and scope Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming  ... 
doi:10.1017/s1471068410000141 fatcat:gp5gjevgifgp7clumcbjm3danq

TLP volume 10 issue 1 Cover and Back matter

2009 Theory and Practice of Logic Programming  
Brown, Worcester Polytechnic Institute, USA This journal publishes original articles about significant AI theory and applications based on the most up-to-date research in all branches of phases of engineering  ...  There is a preferential rate for members of The Association of Logic Programming and The Association of Computing Machinery -please enquire. Six parts form a volume.  ...  instructions to authors Aims and scope Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming  ... 
doi:10.1017/s1471068409990238 fatcat:6d6eakw5w5gn5f45u5bs4jklte

TLP volume 10 issue 4-6 Cover and Back matter

2010 Theory and Practice of Logic Programming  
There is a preferential rate for members of The Association of Logic Programming and The Association of Computing Machinery -please enquire. Six parts form a volume.  ...  instructions to authors Aims and scope Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming  ...  Theory and Practice of Logic Programming volume 10 parts 4-6 july 2010 Contents Regular papers 361 Introduction to the 26th international conference on logic programming special issue manuel hermenegildo  ... 
doi:10.1017/s1471068410000426 fatcat:7dsdwaw6t5d37dhrhbgnh3nv4m

Front Matter, Table of Contents, Preface, Conference Organization

Ricardo Rocha, Tran Cao Son, Marc Herbstritt
2018 International Conference on Logic Programming  
Finally, we would like to thank our generous gold-tier sponsors -the Association for Logic Programming, the Association for Constraint Programming,  ...  We would also like to thank the staff of the EasyChair conference management system for making the life of the Program Chairs easier.  ...  Our gratitude must be extended to Torsten Schaub, who is serving in the role of President of the Association of Logic Programming (ALP), to all the members of the ALP Executive Committee and to Mirek Truszczyński  ... 
doi:10.4230/oasics.iclp.2017.0 dblp:conf/iclp/X17 fatcat:pay7mcvnijbcpbliwu4cvih4cy

Page 66 of PE. Professional Engineer Vol. 49, Issue 2 [page]

1979 PE. Professional Engineer  
Programming for Logic Design 8080 Programming for Logic Design 6800 Programming for Logic Design 280 Programming for Logic Design These books describe the meeting ground of pro- grammers and logic designers  ...  Ledger #20-9 Some Common BASIC Programs 76 short practical programs, most of which can be used on any microcomputer with any version of BASIC.  ... 

Front Matter, Table of Contents, Preface, List of Authors

Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos, Marc Herbstritt
2016 International Conference on Logic Programming  
OASIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge.  ...  OASIcs aims at a suitable publication venue to publish peer-reviewed collections of papers emerging from a scientific event.  ...  , Editor-in-Chief of Theory and Practice of Logic Programming.  ... 
doi:10.4230/oasics.iclp.2016.0 dblp:conf/iclp/X16 fatcat:oywj2phj6feijlfclle3qhjb7q

Preface to the special issue on inductive logic programming

James Cussens, Alessandra Russo
2018 Machine Learning  
The papers contained in this volume are extended and thoroughly revised versions of shorter papers which were first presented at the 26th international conference on inductive logic programming (ILP'16  ...  We are pleased to present this special issue of Machine Learning on inductive logic programming (ILP).  ...  The papers contained in this volume are extended and thoroughly revised versions of shorter papers which were first presented at the 26th international conference on inductive logic programming (ILP'16  ... 
doi:10.1007/s10994-018-5720-6 fatcat:ympkct5u7rg5jkcljvvcp2f36e

Syringe Pump With Nearly Empty Based Microcontroller Atmega328

Lely Erica Putri, Muhammad Ridha Mak'ruf, Abd. Kholiq
2019 Journal of Electronics Electromedical Engineering and Medical Informatics  
From the measurements taken, at the 20 ml syringe the biggest error occurred at the 5 ml volume point of 0.4% and at the 50 ml syringe the biggest error occurred at the 5 ml volume point of 0.280%.This  ...  The circuit consists of an Atmega328 microcontroller, a motor driver, and an optocoupler sensor. Setting the syringe, volume and flowrate is done at the beginning.  ...  IV THE ERROR OF MEASUREMENT FOR FLOW RATE SETTINGS ON 20 ML SPUIT No Flow Rate (ml/hour) Error (%) 1 5 0,16 2 10 0,10 3 15 0,027 4 20 0,090 5 75 0,061 Journal of Electronics, Electromedical  ... 
doi:10.35882/jeeemi.v1i2.5 fatcat:d2z765tnhbhjrbgtqbhlu7tjuq

Author Index to Volumes 1–46

2002 The Journal of Logic and Algebraic Programming  
Bueno, An algebraic approach to sharing analysis of logic programs 42 (  ...  Hermenegildo, Exploiting goal independence in the analysis of logic programs 32 (3) (1997) 247-261 Codish, M., Efficient goal directed bottom-up evaluation of logic programs 38 (3) (1999) 355-370 Codish  ...  Minker, Bottom-up computation of perfect models for disjunctive theories 25 (1) (1995) 33-51 Ferrand, G., Error Diagnosis in Logic Programming, an Adaptation of E. Y.  ... 
doi:10.1016/s1567-8326(01)00021-2 fatcat:ptge33wgrvcotasfgizlbzvbhu

Title Index: Volume 26

2000 Computational Linguistics  
The scope of the journal is the logical and computational foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference.  ...  Ann Arbor, Mi. 48106 Journal of Logic, Language and Information Managing Editor: Dag Westerstahl Dept. of Philosophy, Gothenburg University, Sweden Review Editor: Maarten de Rijke University of Amsterdam  ... 
doi:10.1162/coli.2000.26.4.663 fatcat:qc7obhcs7nektlemfl676oxaxa

Introduction to the 26th International Conference on Logic Programming Special Issue [article]

Manuel Hermenegildo, Torsten Schaub
2010 arXiv   pre-print
This is the preface to the 26th International Conference on Logic Programming Special Issue  ...  Together, the journal special issue and the volume of short technical communications constitute the proceedings of ICLP.  ...  ICLP'10 was held as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the U. of Edinburgh, Scotland.  ... 
arXiv:1008.1710v1 fatcat:46s2t77rfzeenawqsjeis5h6za

TLP volume 15 issue 6 Cover and Back matter

2015 Theory and Practice of Logic Programming  
the practice of logic programming.  ...  Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational  ...  Theory and Practice of Logic Programming volume 15 part 6 november 2015 Contents Regular papers 743 Timed soft concurrent constraint programs: An interleaved and a parallel approach stefano bistarelli  ... 
doi:10.1017/s147106841500040x fatcat:atlqjzlaivcavh7vmn327sqfxi
« Previous Showing results 1 — 15 out of 287,905 results