Search results for "ICLP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Dmitri Boulanger, Danny De Schreye	Compiling Control Revisited: A New Approach based upon Abstract Interpretation.	ICLP	1994	DBLP BibTeX RDF
1	Veroniek Dumortier, Gerda Janssens	Towards a Practical Full Mode Inference System for CLP(H, N).	ICLP	1994	DBLP BibTeX RDF
1	Luís Caires, Luís Monteiro	Higher-Order Polymorphic Unification for Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	David A. Basin	IsaWhelk Interpreted in Isabelle.	ICLP	1994	DBLP BibTeX RDF
1	Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone	Reflection through Constraint Satisfaction.	ICLP	1994	DBLP BibTeX RDF
1	Jürgen Dix, Martin Müller 0001	An Axiomatic Approach to Semantics of Disjunctive Programs.	ICLP	1994	DBLP BibTeX RDF
1	Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung	The Acceptability Semantics for Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Antonis C. Kakas, Paolo Mancarella	Abduction and Abductive Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Dino Pedreschi	A Proof Method for Runtime Properties of Prolog Programs.	ICLP	1994	DBLP BibTeX RDF
1	Esther D. Silcrat	Logic, Algebra and Static Analysis in DM Systems, the IE Way.	ICLP	1994	DBLP BibTeX RDF
1	Roman R. Zapatrin	Logic Programming as Quantum Measurement.	ICLP	1994	DBLP BibTeX RDF
1	Krzysztof R. Apt, Maurizio Gabbrielli	Declarative Interpretations Reconsidered.	ICLP	1994	DBLP BibTeX RDF
1	Uday S. Reddy	Higher-order Aspects of Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Neng-Fa Zhou	On the Scheme of Passing Arguments in Stack Frames for Prolog.	ICLP	1994	DBLP BibTeX RDF
1	Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos	Proving Hardware Designs.	ICLP	1994	DBLP BibTeX RDF
1	Vladimir Lifschitz, Hudson Turner	Splitting a Logic Program.	ICLP	1994	DBLP BibTeX RDF
1	Éric Villemonte de la Clergerie, Bernard Lang	LPDA: Another look at Tabulation in Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Lourdes Araujo, José J. Ruz	PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog.	ICLP	1994	DBLP BibTeX RDF
1	Shyam Mudambi, Joachim Schimpf	Parallel CLP on Heterogeneous Networks.	ICLP	1994	DBLP BibTeX RDF
1	Björn Carlson, Mats Carlsson, Daniel Diaz 0001	Entailment of Finite Domain Constraints.	ICLP	1994	DBLP BibTeX RDF
1	Maurizio Proietti, Alberto Pettorossi	Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables.	ICLP	1994	DBLP BibTeX RDF
1	Carmen Gervet	Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables.	ICLP	1994	DBLP BibTeX RDF
1	John Launchbury, Simon L. Peyton Jones	Lazy Funtional State Threads: An Abstract.	ICLP	1994	DBLP BibTeX RDF
1	Kouichi Kumon, Keiji Hirata 0001	A New Transformation based on Process-Message Duality for Concurrent Logic Languages.	ICLP	1994	DBLP BibTeX RDF
1	Paulo Jorge de Sousa Azevedo, Marek J. Sergot	Recomputation-Free Lemmatization by Program Transformation.	ICLP	1994	DBLP BibTeX RDF
1	Yuejun Jiang	Ambivalent Logic as the Semantic Basis of Metalogic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Ralph Clarke Haygood	Native Code Compilation in SICStus Prolog.	ICLP	1994	DBLP BibTeX RDF
1	Dov M. Gabbay, Laura Giordano 0001, Alberto Martelli, Nicola Olivetti	Conditonal Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Norman McCain, Hudson Turner	Language Independence and Language Tolerance in Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Jennifer Burg, Sheau-Dong Lang, Charles E. Hughes	Finding Conflict Sets and Backtrack Points in CLP(R).	ICLP	1994	DBLP BibTeX RDF
1	John P. Gallagher, D. Andre de Waal	Fast and Precise Regular Approximations of Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Jürgen Dix, Georg Gottlob, V. Wiktor Marek	Causal Models of Disjunctive Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Annalisa Bossi, Massimo Fabris, Maria Chiara Meo	A Bottom-up Semantics for Constructive Negation.	ICLP	1994	DBLP BibTeX RDF
1	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	Representing Continuous Change in the Abductive Event Calculus.	ICLP	1994	DBLP BibTeX RDF
1	Yves Caseau, François Laburthe	Improved CLP Scheduling with Task Intervals.	ICLP	1994	DBLP BibTeX RDF
1	Evelina Lamma, Paola Mello	Modularity in Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Hélène Kirchner, Christophe Ringeissen	Constraint Solving by Narrowing in Combined Algebraic Domains.	ICLP	1994	DBLP BibTeX RDF
1	François Barthélemy	A Grammatical Approach to DCG Parsing.	ICLP	1994	DBLP BibTeX RDF
1	Jürgen Stuber	Computing Stable Models by Program Transformation.	ICLP	1994	DBLP BibTeX RDF
1	Henning Christiansen 0001	Efficient and Complete Demo Predicates for Definite Clause Languages.	ICLP	1994	DBLP BibTeX RDF
1	Andy King, Paul Soper	Depth-k Sharing and Freeness.	ICLP	1994	DBLP BibTeX RDF
1	Pascal Van Hentenryck (eds.)	Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994	ICLP	1994	DBLP BibTeX RDF
1	Remco Moolenaar, Bart Demoen	Hybrid Tree Search in the Andorra Model.	ICLP	1994	DBLP BibTeX RDF
1	Andreas Kågedal	A Dataflow Analysis Method for Ground Prolog.	ICLP	1994	DBLP BibTeX RDF
1	Peter A. Bigot, David Gudeman, Saumya K. Debray	Output Value Placement in Moded Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Marion Mircheva	Logic Programs with Refutation Rules.	ICLP	1994	DBLP BibTeX RDF
1	Jean-Marie Jacquet, Luís Monteiro	PP-clauses: A Means for Handling Resources.	ICLP	1994	DBLP BibTeX RDF
1	Michael Thielscher	Representing Actions in Equational Logic Programming.	ICLP	1994	DBLP BibTeX RDF
1	Gopal Gupta 0001, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa	ACE: And/Or-parallel Copying-based Execution of Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	James Harland, Kotagiri Ramamohanarao	Constraint Propagation for Linear Recursive Rules.	ICLP	1993	DBLP BibTeX RDF
1	Jean-Louis Imbert	Variable Elimination for Generalized Linear Constraints.	ICLP	1993	DBLP BibTeX RDF
1	Raymond T. Ng	Semantics and Consistency of Empirical Databases.	ICLP	1993	DBLP BibTeX RDF
1	Hudson Turner	A Monotonicity Theorem for Extended Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	Roland N. Bol, Lars Degerstedt	The Underlying Search for Magic Templates and Tabulation.	ICLP	1993	DBLP BibTeX RDF
1	Thom W. Frühwirth	User-Defined Constraint Handling.	ICLP	1993	DBLP BibTeX RDF
1	Liang-Liang Li, Mike Reeve, Kees Schuerman, André Véron, Jacques Bellone, Claudine Pradelles, Zissis Palaskas, Takis Stamatopoulos, Dominic A. Clark, Sylvie Doursenot, Christopher J. Rawlings, Jack Shirazi, Giuseppe Sardu	APPLAUSE: Applications Using the ElipSys Parallel CLP System.	ICLP	1993	DBLP BibTeX RDF
1	Daniel Diaz 0001, Philippe Codognet	A Minimal Extension of the WAM for clp(FD).	ICLP	1993	DBLP BibTeX RDF
1	Anthony J. Kusalik, Gregory M. Oster	Towards Generalized Visualization Support for Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	Evan Tick, C. Banerjee	Performance Evaluation of Monaco Compiler and Runtime Kernel.	ICLP	1993	DBLP BibTeX RDF
1	Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish	Freeness Analysis in the Presence of Numerical Constraints.	ICLP	1993	DBLP BibTeX RDF
1	Didier Ladret, Michel Rueher	Contribution of Logic Programming to Support Telecommunications Protocol Tests.	ICLP	1993	DBLP BibTeX RDF
1	Katsumi Inoue, Chiaki Sakama	Transforming Abductive Logic Programs to Disjunctive Programs.	ICLP	1993	DBLP BibTeX RDF
1	Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren	Performance of the Compiler-Based Andorra-I System.	ICLP	1993	DBLP BibTeX RDF
1	Raymond Bisdorff, Sophie Laurent	Industrial Disposing Problem Solved in CHIP.	ICLP	1993	DBLP BibTeX RDF
1	Koenraad De Bosschere, Jean-Marie Jacquet	Multi-Prolog: Definition, Operational Semantics and Implementation.	ICLP	1993	DBLP BibTeX RDF
1	Frédéric Benhamou, Jean-Luc Massat	Boolean Pseudo-equations in Constraint Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	David Scott Warren (eds.)	Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993	ICLP	1993	DBLP BibTeX RDF
1	Phan Minh Dung	An Argumentation Semantics for Logic Programming with Explicit Negation.	ICLP	1993	DBLP BibTeX RDF
1	Stefan Lüttringhaus-Kappel	Control Generation for Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar	Proving Termination of GHC Programs.	ICLP	1993	DBLP BibTeX RDF
1	Nikolai K. Kossovsky, Igor P. Solovjev	Function-Patterns and Fan-Backtracking for Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	Annalisa Bossi, Michele Bugliesi, Massimo Fabris	A New Fixpoint Semantics for Prolog.	ICLP	1993	DBLP BibTeX RDF
1	Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe	Freeness Analysis for Logic Programs - And Correctness?	ICLP	1993	DBLP BibTeX RDF
1	Tony Beaumont, David H. D. Warren	Scheduling Speculative Work in Or-Parallel Prolog Systems.	ICLP	1993	DBLP BibTeX RDF
1	Zsuzsa Farkas, Gábor Gerlei, Katalin Molnár, Gábor Umann	ZEXPERT - A Prolog-Based Shell for Knowledge Base Development.	ICLP	1993	DBLP BibTeX RDF
1	Phil W. Grant, C. P. Jobling	A Prolog Toolkit for control System Models.	ICLP	1993	DBLP BibTeX RDF
1	Michael J. Maher	A Logic Programming View of CLP.	ICLP	1993	DBLP BibTeX RDF
1	Anthony J. Bonner, Michael Kifer	Transaction Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	Ina Kraan, David A. Basin, Alan Bundy	Middle-Out Reasoning for Logic Program Synthesis.	ICLP	1993	DBLP BibTeX RDF
1	S. Ivanets, N. Ilinsky, M. Krylov, S. Timohin	Optimum Flight Planning System for Aerodrome Zone.	ICLP	1993	DBLP BibTeX RDF
1	Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino	A Semantics for Eshghi and Kowalski's Procedure.	ICLP	1993	DBLP BibTeX RDF
1	Imrich Weigl, Milan Fico, Svitoslav Molnár, Rudolf Fiby	Istropolitan-a WAM Based Fuzzy Prolog.	ICLP	1993	DBLP BibTeX RDF
1	Anil Nerode, Wolf Kohn	Hybrid Systems and Constraint Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	Luís Moniz Pereira, José Júlio Alferes	Optative Reasoning with Scenario Semantics.	ICLP	1993	DBLP BibTeX RDF
1	Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro	A Portable and Reasonably Efficient Implementation of KL1.	ICLP	1993	DBLP BibTeX RDF
1	Kung-Kiu Lau, Mario Ornaghi	An Incompleteness Result for Deductive Synthesis of Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	Mats Carlsson, Mats Grindal	Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques.	ICLP	1993	DBLP BibTeX RDF
1	Bruno De Backer, Henri Beringer	A CLP Language Handling Disjunctions of Linear Constraints.	ICLP	1993	DBLP BibTeX RDF
1	Giorgio Levi, Davide Ramundo	A Formalization of Metaprogramming for real.	ICLP	1993	DBLP BibTeX RDF
1	Saumya K. Debray	On Copy Avoidance in Single Assignment Languages.	ICLP	1993	DBLP BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue	Negation in Disjunctive Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	Johan Bevemyr, Thomas Lindgren, Håkan Millroth	Reform Prolog: The Language and Its Implementation.	ICLP	1993	DBLP BibTeX RDF
1	Leon J. Mekly, Marjorie Passini Yuhas	A Logic Programming Approach to Requirements Modelling and Automated Test Generation.	ICLP	1993	DBLP BibTeX RDF
1	L. Thorne McCarty	Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.	ICLP	1993	DBLP BibTeX RDF
1	André Mariën	Findall without findall/3.	ICLP	1993	DBLP BibTeX RDF
1	Kalman Balogh	The SQL Interface of MProlog.	ICLP	1993	DBLP BibTeX RDF
1	Evelyne Contejean	Solving Linear Diophantine Constraints Incrementally.	ICLP	1993	DBLP BibTeX RDF
1	Ivan Futó	Prolog with Communicating Processes: From T-Prolog to CSR-Prolog.	ICLP	1993	DBLP BibTeX RDF
1	Egon Börger, Dean Rosenzweig	Full Prolog in a Nutshell.	ICLP	1993	DBLP BibTeX RDF
1	Oleg Yu. Gusikhin	Integration of Traditional Scheduling Techniques and AI on Prolog Basis.	ICLP	1993	DBLP BibTeX RDF

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