default search action
8th ISLP 1991: San Diego, California, USA
- Vijay A. Saraswat, Kazunori Ueda:
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991. MIT Press 1991, ISBN 0-262-69147-7
Programming Environments
- Yosee Feldman, Ehud Shapiro:
Temporal Debugging and its Visual Animation. ISLP 1991: 3-17 - Mireille Ducassé:
Abstract Views of Prolog Executions in Opium. ISLP 1991: 18-32
Non-Horn Programs
- Taisuke Sato, Fumio Motoyoshi:
A Complete Top-Down Interpreter for First Order Programs. ISLP 1991: 35-53 - David W. Reed, Donald W. Loveland, Bruce T. Smith:
An Alternative Characterization of Disjunctive Logic Programs. ISLP 1991: 54-68
Non-Monotonicity I
- Melvin Fitting:
Well-Founded Semantics, Generalized. ISLP 1991: 71-84 - Antonis C. Kakas, Paolo Mancarella:
Stable Theories for Logic Programs. ISLP 1991: 85-100
Reasoning about Programs I
- Laurent Fribourg:
Automatic Generation of Simplification Lemmas for Inductive Proofs. ISLP 1991: 103-116 - Maurice Bruynooghe, Danny De Schreye, Bern Martens:
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. ISLP 1991: 117-131
Concurrency and Parallelism I
- Kish Shen, Manuel V. Hermenegildo:
A Simulation Study of Or- and and Independent And-parallelism. ISLP 1991: 135-151 - Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166 - Sverker Janson, Seif Haridi:
Programming Paradigms of the Andorra Kernel Language. ISLP 1991: 167-183
Types and Rewriting
- Bob Carpenter:
Typed Feature Structures: A Generalization of First-Order Terms. ISLP 1991: 187-201 - T. L. Lakshman, Uday S. Reddy:
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. ISLP 1991: 202-217
Non-Classical Logics I
- Ron van der Meyden:
A Clausal Logic for Deontic Action Specification. ISLP 1991: 221-238 - Laura Giordano, Alberto Martelli:
A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253
Warren Abstract Machine
- André Mariën, Bart Demoen:
A New Scheme for Unification in WAM. ISLP 1991: 257-271 - Christoph Beierle, Gregor Meyer, Heiner Semle:
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286
Non-Classical Logics II
- William W. Wadge:
Higher-Order Horn Logic Programming. ISLP 1991: 289-303 - James Harland, David J. Pym:
The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP 1991: 304-318
Bottom-Up Evaluation
- Raghu Ramakrishnan, S. Sudarshan:
Top-Down versus Bottom-Up Revisited. ISLP 1991: 321-336 - David B. Kemp, Divesh Srivastava, Peter J. Stuckey:
Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
Language Constructs
- Péter Szeredi:
Using Dynamic Predicates in an Or--Parallel Prolog System. ISLP 1991: 355-371 - Scott Dietzen, Frank Pfenning:
A Declarative Alternative to "Assert" in Logic Programming. ISLP 1991: 372-386 - David B. Kemp, Peter J. Stuckey:
Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401
Constraints I
- Bruno De Backer, Henri Beringer:
Intelligent Backtracking for CLP Languages: An Application to CLP(R). ISLP 1991: 405-419 - Niels Jørgensen, Kim Marriott, Spiro Michaylov:
Some Global Compile-Time Optimizations for CLP(R). ISLP 1991: 420-434 - Yves Caseau:
Abstract Interpretation of Constraints on Order-Sorted Domains. ISLP 1991: 435-452
Concurrency and Parallelism II
- Ian T. Foster, William H. Winsborough:
Copy Avoidance through Compile-Time Analysis and Local Reuse. ISLP 1991: 455-469 - Yasuo Hidaka, Hanpei Koike, Jun'ichi Tatemura, Hidehiko Tanaka:
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages. ISLP 1991: 470-484 - Håkan Millroth:
Reforming Compilation of Logic Programs. ISLP 1991: 485-499
Reasoning about Programs II
- Lutz Plümer:
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms. ISLP 1991: 503-517 - Yehoshua Sagiv:
A Termination Test for Logic Programs. ISLP 1991: 518-532 - Pierre Deransart, Gérard Ferrand, Michel Téguia:
NSTO Programs (Not Subject to Occur-Check). ISLP 1991: 533-547
Non-Monotonicity II
- Raymond T. Ng, V. S. Subrahmanian:
Relating Dempster-Shafer Theory to Stable Semantics. ISLP 1991: 551-565 - Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Counterfactual Reasoning Based on Revising Assumptions. ISLP 1991: 566-577
Applications
- Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin:
Experiences from a Large Industrial Circuit Design Application. ISLP 1991: 581-595 - Paul A. Strooper, Daniel Hoffman:
Prolog Testing of C Modules. ISLP 1991: 596-608
Program Transformation and Synthesis
- Tadashi Kawamura:
Derivation of Efficient Logic Programs by Synthesizing New Predicates. ISLP 1991: 611-625 - Hideaki Nakayama:
Program Transformation under the Principle of Proof as Program. ISLP 1991: 626-640 - Kung-Kiu Lau, Steven D. Prestwich:
Synthesis of a Family of Recursive Sorting Procedures. ISLP 1991: 641-658
Constraints II
- Christoph Brzoska:
Temporal Logic Programming and its Relation to Constraint Logic Programming. ISLP 1991: 661-677 - Igor Mozetic, Christian Holzbaur:
Integrating Numerical and Qualitative Models within Constraint Logic Programming. ISLP 1991: 678-693 - Ugo Montanari, Francesca Rossi:
True Concurrency in Concurrent Constraint Programming. ISLP 1991: 694-713
Invited Talks
- Johan van Benthem:
Reasoning and Programming: Analogies between Logic and Computation. ISLP 1991: 717-718 - Koichi Furukawa:
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing. ISLP 1991: 719-731
Advanced Tutorials
- Teodor C. Przymusinski:
Non-Monotonic Reasoning and Logic Programming. ISLP 1991: 735-736 - Ian T. Foster, Carl Kesselman, Stephen Taylor:
Using Compositional Programming to Write Portable, High-Performance Parallel Programs. ISLP 1991: 737-738
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: