C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ISLP
1991
1991
1991
Keyphrases
Publications
1991
David B. Kemp
,
Peter J. Stuckey
Semantics of Logic Programs with Aggregates.
ISLP
(1991)
Yves Caseau
Abstract Interpretation of Constraints on Order-Sorted Domains.
ISLP
(1991)
Thomas Filkorn
,
Richard Schmid
,
Erik Tidén
,
Peter Warkentin
Experiences from a Large Industrial Circuit Design Application.
ISLP
(1991)
Christoph Brzoska
Temporal Logic Programming and its Relation to Constraint Logic Programming.
ISLP
(1991)
Laura Giordano
,
Alberto Martelli
A Modal Reconstruction of Blocks and Modules in Logic Programming.
ISLP
(1991)
Yasuo Hidaka
,
Hanpei Koike
,
Jun'ichi Tatemura
,
Hidehiko Tanaka
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages.
ISLP
(1991)
Håkan Millroth
Reforming Compilation of Logic Programs.
ISLP
(1991)
Laurent Fribourg
Automatic Generation of Simplification Lemmas for Inductive Proofs.
ISLP
(1991)
David W. Reed
,
Donald W. Loveland
,
Bruce T. Smith
An Alternative Characterization of Disjunctive Logic Programs.
ISLP
(1991)
Paul A. Strooper
,
Daniel Hoffman
Prolog Testing of C Modules.
ISLP
(1991)
Taisuke Sato
,
Fumio Motoyoshi
A Complete Top-Down Interpreter for First Order Programs.
ISLP
(1991)
Pierre Deransart
,
Gérard Ferrand
,
Michel Téguia
NSTO Programs (Not Subject to Occur-Check).
ISLP
(1991)
Ugo Montanari
,
Francesca Rossi
True Concurrency in Concurrent Constraint Programming.
ISLP
(1991)
Sverker Janson
,
Seif Haridi
Programming Paradigms of the Andorra Kernel Language.
ISLP
(1991)
Péter Szeredi
Using Dynamic Predicates in an Or--Parallel Prolog System.
ISLP
(1991)
Bob Carpenter
Typed Feature Structures: A Generalization of First-Order Terms.
ISLP
(1991)
Yehoshua Sagiv
A Termination Test for Logic Programs.
ISLP
(1991)
James Harland
,
David J. Pym
The Uniform Proof-Theoretic Foundation of Linear Logic Programming.
ISLP
(1991)
Kish Shen
,
Manuel V. Hermenegildo
A Simulation Study of Or- and and Independent And-parallelism.
ISLP
(1991)
Koichi Furukawa
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing.
ISLP
(1991)
Mireille Ducassé
Abstract Views of Prolog Executions in Opium.
ISLP
(1991)
Maurice Bruynooghe
,
Danny De Schreye
,
Bern Martens
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs.
ISLP
(1991)
Niels Jørgensen
,
Kim Marriott
,
Spiro Michaylov
Some Global Compile-Time Optimizations for CLP(R).
ISLP
(1991)
Tadashi Kawamura
Derivation of Efficient Logic Programs by Synthesizing New Predicates.
ISLP
(1991)
Ian T. Foster
,
William H. Winsborough
Copy Avoidance through Compile-Time Analysis and Local Reuse.
ISLP
(1991)
Antonis C. Kakas
,
Paolo Mancarella
Stable Theories for Logic Programs.
ISLP
(1991)
Yosee Feldman
,
Ehud Shapiro
Temporal Debugging and its Visual Animation.
ISLP
(1991)
David B. Kemp
,
Divesh Srivastava
,
Peter J. Stuckey
Magic Sets and Bottom-Up Evaluation of Well-Founded Models.
ISLP
(1991)
Raghu Ramakrishnan
,
S. Sudarshan
Top-Down versus Bottom-Up Revisited.
ISLP
(1991)
Bruno De Backer
,
Henri Beringer
Intelligent Backtracking for CLP Languages: An Application to CLP(R).
ISLP
(1991)
Melvin Fitting
Well-Founded Semantics, Generalized.
ISLP
(1991)
Raymond T. Ng
,
V. S. Subrahmanian
Relating Dempster-Shafer Theory to Stable Semantics.
ISLP
(1991)
André Mariën
,
Bart Demoen
A New Scheme for Unification in WAM.
ISLP
(1991)
Luís Moniz Pereira
,
Joaquim Nunes Aparício
,
José Júlio Alferes
Counterfactual Reasoning Based on Revising Assumptions.
ISLP
(1991)
Christoph Beierle
,
Gregor Meyer
,
Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.
ISLP
(1991)
Igor Mozetic
,
Christian Holzbaur
Integrating Numerical and Qualitative Models within Constraint Logic Programming.
ISLP
(1991)
Scott Dietzen
,
Frank Pfenning
A Declarative Alternative to "Assert" in Logic Programming.
ISLP
(1991)
T. L. Lakshman
,
Uday S. Reddy
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System.
ISLP
(1991)
Kung-Kiu Lau
,
Steven D. Prestwich
Synthesis of a Family of Recursive Sorting Procedures.
ISLP
(1991)
Ian T. Foster
,
Carl Kesselman
,
Stephen Taylor
Using Compositional Programming to Write Portable, High-Performance Parallel Programs.
ISLP
(1991)
William W. Wadge
Higher-Order Horn Logic Programming.
ISLP
(1991)
Gopal Gupta
,
Vítor Santos Costa
,
Rong Yang
,
Manuel V. Hermenegildo
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
ISLP
(1991)
Johan van Benthem
Reasoning and Programming: Analogies between Logic and Computation.
ISLP
(1991)
Hideaki Nakayama
Program Transformation under the Principle of Proof as Program.
ISLP
(1991)
Ron van der Meyden
A Clausal Logic for Deontic Action Specification.
ISLP
(1991)
Teodor C. Przymusinski
Non-Monotonic Reasoning and Logic Programming.
ISLP
(1991)
Lutz Plümer
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms.
ISLP
(1991)