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