ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 38 Issue 3, July 1991

An optimal parallel algorithm for the visibility of a simple polygon from a point
Mikhail J. Atallah, Hubert Wagener, Danny Z. Chen
Pages: 515-532
DOI: 10.1145/116825.116827

Abstraction in query processing
Tomasz Imielinski
Pages: 533-557
DOI: 10.1145/116825.116832

Proving refutational completeness of theorem-proving strategies: the transfinite semantic tree method
Jieh Hsiang, Michaël Rusinowitch
Pages: 558-586
DOI: 10.1145/116825.116833

Autoepistemic logic
Wiktor Marek, Mirosław Truszczyński
Pages: 587-618
DOI: 10.1145/116825.116836
Autoepistemic logic is one of the principal modes of nonmonotonic reasoning. It unifies several other modes of nonmonotonic reasoning and has important application in logic programming. In the paper, a theory of autoepistemic logic is...

The well-founded semantics for general logic programs
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
Pages: 619-649
DOI: 10.1145/116825.116838

Two-way string-matching
Maxime Crochemore, Dominique Perrin
Pages: 650-674
DOI: 10.1145/116825.116845

Optimal load balancing and scheduling in a distributed computer system
Keith W. Ross, David D. Yao
Pages: 676-689
DOI: 10.1145/116825.116847

Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
Oded Goldreich, Silvio Micali, Avi Wigderson
Pages: 690-728
DOI: 10.1145/116825.116852

Stability and stabilizability of discrete event dynamic systems
Cüneyt M. Özveren, Alan S. Willsky, Panos J. Antsaklis
Pages: 729-751
DOI: 10.1145/116825.116855

Complexity classes defined by counting quantifiers
Jacobo Torán
Pages: 752-773
DOI: 10.1145/116825.116858