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
.
Filters
Author index — volume 41 (1999)
1999
The Journal of Logic Programming
Modeling of Programs and its Verification for Programmable Logic Controllers
2008
IFAC Proceedings Volumes
Programmable logic controller is still the main device used for control of productive systems, which can be approached as discrete event dynamic systems. ...
These models are verified through a computational tool, aiming the identification of possible errors in the control program. ...
Model verification In the work of (Hong et al., 2002) the use of temporal logic formulas that belong to the computation tree logic (CTL) is presented so as to verify models developed in EFSM. ...
doi:10.3182/20080706-5-kr-1001.01786
fatcat:wjq2s6l3qbdnphwnyjpk6gw2k4
Keyword Index – Volume (2004)
2005
The Journal of Logic and Algebraic Programming
Keyword Index -Volume 62 (2005) (The issue number is given in front of the page numbers) Algorithms (1) 1 Automated reasoning (1) www.elsevier.com/locate/jlap The Journal of Logic and Algebraic ...
Java (2) 247
Logic programming (1) 41
Many-sorted algebra (1) 71
Meta architectures (1) 41
Meta control (1) 41
Meta programming (1) 41
Metric algebra (1) 71
Network generator (1) 1
Nondeterminism ...
doi:10.1016/s1567-8326(04)00104-3
fatcat:vnbc77o6hbdn5iyttq7cy7ybai
Author Index to Volumes 1–46
2002
The Journal of Logic and Algebraic Programming
Taboch, A semantic basis for the termination analysis of logic programs 41 (1) (1999) 103-123 Codish, M., Worst-case groundness analysis using positive Boolean functions 41 (1) (1999) 125-128 Codish, M ...
Bueno, An algebraic approach to sharing analysis of logic programs 42 ( ...
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
Index
1999
The Journal of Logic Programming
The Journal of Logic Programming 41 (1999) 317±318
www.elsevier.com/locate/jlpr
Puebla, G. and M. ...
Author Index ± Volume 41 (1999) (The issue number is given in front of the page numbers) Belleanne Âe, C., P. Brisset and O. ...
doi:10.1016/s0743-1066(99)00056-4
fatcat:vwkzbf7lbzdi7lsbbmf6ya5ofu
Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2
1999
The Journal of Logic Programming
This volume contains the second part of the Special Issue on Synthesis, Transformation and Analysis of Logic Programs. The ®rst part on program analysis appeared in Vol 39(1±3). ...
The ®rst paper, Inductive synthesis of recursive logic programs: achievements and prospects, by Pierre Flener and Serap Yõlmaz overviews the achievements of inductive synthesis of logic programs from incomplete ...
second paper of this volume Synthesis and transformation of logic programs using unfold/fold proofs by Alberto Pettorossi and Maurizio Proietti. ...
doi:10.1016/s0743-1066(99)00027-8
fatcat:tjzp4frx7beozeujr7ndjxa3iu
Page 2111 of Mathematical Reviews Vol. , Issue 84f
[page]
1984
Mathematical Reviews
Orevkov, Mechanical proof-search and the theory of logical deduction in the USSR (pp. 29-38); M. Davis [Martin Davis], A computer program for Presburger’s algorithm (pp. 41-48); A. ...
Each volume contains a {the same} bibliography of about 450 publications on computational logic, which—to the best knowledge of the editors—is complete through 1970.”
Contents: Vol. 1: M. ...
Author Index – Volume 64 (2005)
2005
The Journal of Logic and Algebraic Programming
Schneider, S., see Evans, N. 189
www.elsevier.com/locate/jlap
The Journal of Logic and
Algebraic Programming 64 (2005) 321-322
doi:10.1016/S1567-8326(05)00047-0 ...
., Efficient exact computation of iterated maps (1) 41 Boehm, H.-J., The constructive reals as a Java library (1) 3 Chadha, R., J.C. Mitchell, A. Scedrov and V. ...
doi:10.1016/s1567-8326(05)00047-0
fatcat:6c4sssyi55de7nokeb4qwrjne4
Page 2049 of Mathematical Reviews Vol. 22, Issue 11B
[page]
1961
Mathematical Reviews
25 41
82 34
JOURNAL OF THE SOCIETY FOR
INDUSTRIAL AND APPLIED MATHEMATICS
Votume 9 March, 1961 NoumBer 1
The Constrained Gradient Method of Linear Programming. C. E. ...
THE JOURNAL OF SYMBOLIC LOGIC
EDITORS: A. Church, S.C. Kleene,
A. A. Lazerowitz, J. Robinson, A. N. ...
Bibliography
2001
Electronical Notes in Theoretical Computer Science
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups. ...
American Journal of Mathematics, 1:50 52, 1878. 51] B.F. Chellas. Modal Logic: an introduction. C a m bridge University Press, 1980. 52] A. Church. A set of postulates for the foundation of logic. ...
doi:10.1016/s1571-0661(05)82567-8
fatcat:x7qb7rygq5bafjjdmi24lbdlse
Cumulative subject index volumes 68–71
1986
Information and Control
Aggregation problems, formulation of several versions, analysis from recursion theoretic point of view, 70, 69 Algorithms for circular retrieval and k-nearest neighbor search problems, description and ...
analysis, 68, 105 for computing properties and functions of n-node forest stored in processor mesh, 69, 168 deterministic, applications to optimal parallel list ranking, 70, 32 network resource allocation ...
of game tree
problems, 69, 168
Programs
branching, see Branching programs
non-deterministic, and specifications, syn-
chronization tree logic for, 68, 254
term rewriting and applicative, in
definition ...
doi:10.1016/s0019-9958(86)80014-6
fatcat:hkligygazvcyvdgrhtvhrefpj4
RSL volume 8 issue 2 Cover and Back matter
2015
The Review of Symbolic Logic
For free online content visit: http://journals.cambridge.org/tlp Theory and Practice of Logic Programming emphasises both the theory and 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 ...
Cambridge Journals Online For further information about this journal please go to the journal web site at: journals.cambridge.org/rsl ...
doi:10.1017/s1755020315000155
fatcat:au27h2xcvzh2dbjeyhtx6czrie
OBJECT-ORIENTED LOGIC PROGRAMMING OF 3D INTELLIGENT VIDEO SURVEILLANCE SYSTEMS: THE PROBLEM STATEMENT
ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ СИСТЕМ 3D ИНТЕЛЛЕКТУАЛЬНОГО ВИДЕОНАБЛЮДЕНИЯ: ПОСТАНОВКА ЗАДАЧИ
2017
Radioelectronics Nanosystems Information Technologies
ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ СИСТЕМ 3D ИНТЕЛЛЕКТУАЛЬНОГО ВИДЕОНАБЛЮДЕНИЯ: ПОСТАНОВКА ЗАДАЧИ
The goal of this work is to implement the advantages of the logic programming approach in the area of 3D intelligent video surveillance. ...
An approach to the 3D intelligent video surveillance based on the means of the objectoriented logic programming is proposed. ...
Tolmatcheva for the help in the preparation of 3D video samples and Angelos Barmpoutis for his J4K [59] library that was used for the data collection. ...
doi:10.17725/rensit.2017.09.205
fatcat:p4qzuh44abgnhdwgi4i6beug7a
Abstract State Machines 1988-1998: Commented ASM Bibliography
[article]
1998
arXiv
pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998. ...
Voronkov, editor, Logic Programming, volume 592 of Lecture Notes in Artificial Intelligence, pages
27-34. Springer, 1992.
See comment to [41].
[41] E. ...
, see the abstract in the Journal of Symbolic Logic. ...
arXiv:cs/9811014v1
fatcat:w3vj5i7mzbccbcibroi7dkmhtq
Page 630 of Mathematical Reviews Vol. , Issue 95b
[page]
1995
Mathematical Reviews
¥* Handbook of logic in artificial intelligence and logic programming. Vol. 1.
Logical foundations.
Edited by Dov M. Gabbay, C. J. Hogger and J. A. Robinson. Oxford Science Publications. ...
{The papers are being reviewed individually. }
95b:03003 03-06 00A20 03B60 03B70 68-06 68T27
* Handbook of logic in artificial intelligence and logic programming.
Vol. 3. ...
« Previous
Showing results 1 — 15 out of 153,650 results