Search results for "ISLP"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "ISLP"( http://dblp.L3S.de/Venues/ISLP )