A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Volume contents to volume 10
1991
The Journal of Logic Programming
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2016
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2018
Machine Learning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2019
Journal of Electronics Electromedical Engineering and Medical Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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