Termination of logic programs with imperfect information: applications and query procedure

, &
Journal of Applied Logic 5 (3):435-458 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2006.03.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositional Logic of Imperfect Information: Foundations and Applications.Ahti-Veikko Pietarinen - 2001 - Notre Dame Journal of Formal Logic 42 (4):193-210.
Ojeda-aciego Manuel 1, Brewka Gerhard 2, de Guzman inma P. 1, Pereira Luis moniz 3.Logica Studia - 2002 - Studia Logica 72 (1):3-5.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi. [REVIEW]W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (1):125-126.
Termination Proofs for Logic Programs.Lutz Plümer - 1990 - Springer.
Fourman M. P. and Scott D. S.. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Inclusion and exclusion dependencies in team semantics—on some logics of imperfect information.Pietro Galliani - 2012 - Annals of Pure and Applied Logic 163 (1):68-84.
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
"Applications of Inductive Logic", Edited by L. J. Cohen and M. B. Hesse. [REVIEW]S. Butterfield - 1983 - Mind 92:145.
Simulating Termination Analyzer H is Not Fooled by Pathological Input P.P. Olcott - manuscript

Analytics

Added to PP
2016-06-30

Downloads
21 (#1,009,308)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Javier Medina
National Autonomous University of Mexico

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references