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