|
Conferences in DBLP
- Yosee Feldman, Ehud Y. Shapiro
Temporal Debugging and its Visual Animation. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:3-17 [Conf]
- Mireille Ducassé
Abstract Views of Prolog Executions in Opium. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:18-32 [Conf]
- Taisuke Sato, Fumio Motoyoshi
A Complete Top-Down Interpreter for First Order Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:35-53 [Conf]
- David W. Reed, Donald W. Loveland, Bruce T. Smith
An Alternative Characterization of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:54-68 [Conf]
- Melvin Fitting
Well-Founded Semantics, Generalized. [Citation Graph (1, 0)][DBLP] ISLP, 1991, pp:71-84 [Conf]
- Antonis C. Kakas, Paolo Mancarella
Stable Theories for Logic Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:85-100 [Conf]
- Laurent Fribourg
Automatic Generation of Simplification Lemmas for Inductive Proofs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:103-116 [Conf]
- Maurice Bruynooghe, Danny De Schreye, Bern Martens
A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:117-131 [Conf]
- Kish Shen, Manuel V. Hermenegildo
A Simulation Study of Or- and and Independent And-parallelism. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:135-151 [Conf]
- Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:152-166 [Conf]
- Sverker Janson, Seif Haridi
Programming Paradigms of the Andorra Kernel Language. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:167-183 [Conf]
- Bob Carpenter
Typed Feature Structures: A Generalization of First-Order Terms. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:187-201 [Conf]
- T. L. Lakshman, Uday S. Reddy
Typed Prolog: A Semantic Reconstruction of the Mycroft-O'Keefe Type System. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:202-217 [Conf]
- Ron van der Meyden
A Clausal Logic for Deontic Action Specification. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:221-238 [Conf]
- Laura Giordano, Alberto Martelli
A Modal Reconstruction of Blocks and Modules in Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:239-253 [Conf]
- André Mariën, Bart Demoen
A New Scheme for Unification in WAM. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:257-271 [Conf]
- Christoph Beierle, Gregor Meyer, Heiner Semle
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:272-286 [Conf]
- William W. Wadge
Higher-Order Horn Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:289-303 [Conf]
- James Harland, David J. Pym
The Uniform Proof-Theoretic Foundation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:304-318 [Conf]
- Raghu Ramakrishnan, S. Sudarshan
Top-Down versus Bottom-Up Revisited. [Citation Graph (5, 0)][DBLP] ISLP, 1991, pp:321-336 [Conf]
- David B. Kemp, Divesh Srivastava, Peter J. Stuckey
Magic Sets and Bottom-Up Evaluation of Well-Founded Models. [Citation Graph (4, 0)][DBLP] ISLP, 1991, pp:337-351 [Conf]
- Péter Szeredi
Using Dynamic Predicates in an Or--Parallel Prolog System. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:355-371 [Conf]
- Scott Dietzen, Frank Pfenning
A Declarative Alternative to "Assert" in Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:372-386 [Conf]
- David B. Kemp, Peter J. Stuckey
Semantics of Logic Programs with Aggregates. [Citation Graph (4, 0)][DBLP] ISLP, 1991, pp:387-401 [Conf]
- Bruno De Backer, Henri Beringer
Intelligent Backtracking for CLP Languages: An Application to CLP(R). [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:405-419 [Conf]
- Niels Jørgensen, Kim Marriott, Spiro Michaylov
Some Global Compile-Time Optimizations for CLP(R). [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:420-434 [Conf]
- Yves Caseau
Abstract Interpretation of Constraints on Order-Sorted Domains. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:435-452 [Conf]
- Ian T. Foster, William H. Winsborough
Copy Avoidance through Compile-Time Analysis and Local Reuse. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:455-469 [Conf]
- Yasuo Hidaka, Hanpei Koike, Jun'ichi Tatemura, Hidehiko Tanaka
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:470-484 [Conf]
- Håkan Millroth
Reforming Compilation of Logic Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:485-499 [Conf]
- Lutz Plümer
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:503-517 [Conf]
- Yehoshua Sagiv
A Termination Test for Logic Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:518-532 [Conf]
- Pierre Deransart, Gérard Ferrand, Michel Téguia
NSTO Programs (Not Subject to Occur-Check). [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:533-547 [Conf]
- Raymond T. Ng, V. S. Subrahmanian
Relating Dempster-Shafer Theory to Stable Semantics. [Citation Graph (1, 0)][DBLP] ISLP, 1991, pp:551-565 [Conf]
- Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
Counterfactual Reasoning Based on Revising Assumptions. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:566-577 [Conf]
- Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
Experiences from a Large Industrial Circuit Design Application. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:581-595 [Conf]
- Paul A. Strooper, Daniel Hoffman
Prolog Testing of C Modules. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:596-608 [Conf]
- Tadashi Kawamura
Derivation of Efficient Logic Programs by Synthesizing New Predicates. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:611-625 [Conf]
- Hideaki Nakayama
Program Transformation under the Principle of Proof as Program. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:626-640 [Conf]
- Kung-Kiu Lau, Steven David Prestwich
Synthesis of a Family of Recursive Sorting Procedures. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:641-658 [Conf]
- Christoph Brzoska
Temporal Logic Programming and its Relation to Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:661-677 [Conf]
- Igor Mozetic, Christian Holzbaur
Integrating Numerical and Qualitative Models within Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:678-693 [Conf]
- Ugo Montanari, Francesca Rossi
True Concurrency in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:694-713 [Conf]
- Johan van Benthem
Reasoning and Programming: Analogies between Logic and Computation. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:717-718 [Conf]
- Koichi Furukawa
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:719-731 [Conf]
- Teodor C. Przymusinski
Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:735-736 [Conf]
- Ian T. Foster, Carl Kesselman, Stephen Taylor
Using Compositional Programming to Write Portable, High-Performance Parallel Programs. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:737-738 [Conf]
|