Search results for "ICLP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001	Extracting Determinacy in Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	Michael Hanus	Analysis of Nonlinear Constraints in CLP(R).	ICLP	1993	DBLP BibTeX RDF
1	Kish Shen	Implementing Dynamic Dependent And-Parallelism.	ICLP	1993	DBLP BibTeX RDF
1	Marc-Michel Corsini, Antoine Rauzy	Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.	ICLP	1993	DBLP BibTeX RDF
1	Michael Reviakin	Logic Programming System Prolog-plus.	ICLP	1993	DBLP BibTeX RDF
1	Pascal Brisset, Olivier Ridoux	Continuations in Lambda-Prolog.	ICLP	1993	DBLP BibTeX RDF
1	Christoph Brzoska	Temporal Logic Programming with Bounded Universal Modality Goals.	ICLP	1993	DBLP BibTeX RDF
1	Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland	Status of the Aditi Deductive Database System.	ICLP	1993	DBLP BibTeX RDF
1	Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann	Memory Management of Constraint in Flang.	ICLP	1993	DBLP BibTeX RDF
1	Serge Le Huitouze, Pascale Louvet, Olivier Ridoux	Logic Grammars and Lambda-Prolog.	ICLP	1993	DBLP BibTeX RDF
1	Phan Minh Dung	Representing Actions in Logic Programming and Its Applications in Database Updates.	ICLP	1993	DBLP BibTeX RDF
1	David B. Kemp, Peter J. Stuckey	Analysis Based Constraint Query Optimization.	ICLP	1993	DBLP BibTeX RDF
1	Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo	Some Paradigms for Visualizing Parallel Execution of Logic Programs.	ICLP	1993	DBLP BibTeX RDF
1	Javier Pinto, Raymond Reiter	Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.	ICLP	1993	DBLP BibTeX RDF
1	Donald A. Smith	MultiLog: Data Or-Parallel Logic Programming.	ICLP	1993	DBLP BibTeX RDF
1	Roger S. Scowen	An Overview of Prolog Standardization - Progress, Problems and Solutions.	ICLP	1991	DBLP BibTeX RDF
1	Shyam Mudambi	Performances of Aurora on NUMA Machines.	ICLP	1991	DBLP BibTeX RDF
1	Koichi Furukawa (eds.)	Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991	ICLP	1991	DBLP BibTeX RDF
1	Dale Miller 0001	Logics for Logic Programming: A Tutorial.	ICLP	1991	DBLP BibTeX RDF
1	Glenn Mansfield, Atsushi Togashi, Nobuhisa Miake, Shoichi Noguchi	AMLOG-E: A New Approach towards Amalgamation.	ICLP	1991	DBLP BibTeX RDF
1	Yves Deville, Leon Sterling, Pierre Deransart	Software Development and Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	M. Puchhammer, R. Schlöglhofer	A Rule-oriented FSM Design System with Prototyping Capabilities.	ICLP	1991	DBLP BibTeX RDF
1	Dale Miller 0001	Unification of Simply Typed Lamda-Terms as Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Doug Palmer, Lee Naish	NUA-Prolog: An Extension to the WAM for Parallel Andorra.	ICLP	1991	DBLP BibTeX RDF
1	Patrick Saint-Dizier	Logic Programming for Language Processing.	ICLP	1991	DBLP BibTeX RDF
1	Katsumi Inoue	Extended Logic Programs with Default Assumptions.	ICLP	1991	DBLP BibTeX RDF
1	Didier Dubois, Jérôme Lang, Henri Prade	Towards Possibilistic Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Seif Haridi	Parallel Logic Programming based on the Andorra Principle.	ICLP	1991	DBLP BibTeX RDF
1	Arie Harsat, Ran Ginosar	CARMEL-4: The Unify-Spawn Machine for FCP.	ICLP	1991	DBLP BibTeX RDF
1	Giorgio Levi	On the Semantics of Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Livio Colussi, Elena Marchiori	Proving Correctness of Logic Programs Using Axiomatic Semantics.	ICLP	1991	DBLP BibTeX RDF
1	Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi	Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Robert A. Ballance, Susan L. Graham	Incremental Consistency Maintenance for Interactive Applications.	ICLP	1991	DBLP BibTeX RDF
1	Ugo Montanari, Francesca Rossi 0001	Perfect Relaxation in Constraint Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Taisuke Sato	Full First Order Logic Programming and Truth Predicate.	ICLP	1991	DBLP BibTeX RDF
1	Bharat Jayaraman, Gopalan Nadathur	Implementation Techniques for Scoping Constructs in Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Ludek Matyska, Adriana Jergová, David Toman 0001	Register Allocation in WAM.	ICLP	1991	DBLP BibTeX RDF
1	José Alberto Fernández, Jack Minker	Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases.	ICLP	1991	DBLP BibTeX RDF
1	Patrick Cousot	Abstract Interpretation of Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Bruno Marre	Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Hendrik Decker	On Generalized Cover Axioms.	ICLP	1991	DBLP BibTeX RDF
1	Kristof Verschaetse, Danny De Schreye	Deriving Termination Proofs for Logic Programs, Using Abstract Procedures.	ICLP	1991	DBLP BibTeX RDF
1	Michael Codish, Dennis Dams, Eyal Yardeni	Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.	ICLP	1991	DBLP BibTeX RDF
1	Pascal Van Hentenryck, Yves Deville	The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.	ICLP	1991	DBLP BibTeX RDF
1	Phan Minh Dung	Negations as Hypotheses: An Abductive Foundation for Logic Programming. (long version: JLP 22(2): 151-171 (1995))	ICLP	1991	DBLP BibTeX RDF
1	Bernard Migault, François Rousselot, Laurent Cervoni	Prolog as a Host Language.	ICLP	1991	DBLP BibTeX RDF
1	Vítor Santos Costa, David H. D. Warren, Rong Yang	The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.	ICLP	1991	DBLP BibTeX RDF
1	Mark Korsloot, Evan Tick	Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages.	ICLP	1991	DBLP BibTeX RDF
1	Donald A. Smith	Constraint Operations for CLP(FT).	ICLP	1991	DBLP BibTeX RDF
1	Hassan Aït-Kaci	Warren's Abstract Machine.	ICLP	1991	DBLP BibTeX RDF
1	Micha Meier	Recursion versus Iteration in Prolog.	ICLP	1991	DBLP BibTeX RDF
1	Eyal Yardeni, Thom W. Frühwirth, Ehud Shapiro	Polymorphically Typed Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Yael Moscowitz, Ehud Shapiro	Lexical Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Leo Bachmair, Harald Ganzinger	Perfect Model Semantics for Logic Programs with Equality.	ICLP	1991	DBLP BibTeX RDF
1	Jean-François Monin	Real-size Compiler Writing Using Prolog with Arrows.	ICLP	1991	DBLP BibTeX RDF
1	Khayri A. M. Ali, Roland Karlsson	Scheduling Or-Parallelism in Muse.	ICLP	1991	DBLP BibTeX RDF
1	Stefan Böttcher	On Transactions in Logic Programming Languages.	ICLP	1991	DBLP BibTeX RDF
1	Yong Hu, Li-Yan Yuan	Extended Well-Founded Model Semantics for General Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Vítor Santos Costa, David H. D. Warren, Rong Yang	The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.	ICLP	1991	DBLP BibTeX RDF
1	Bernard J. Robinet	Logic Programming at IBM: From the Lab to the Customer.	ICLP	1991	DBLP BibTeX RDF
1	Daniele Turi	Extending S-Models to Logic Programs with Negation.	ICLP	1991	DBLP BibTeX RDF
1	Saumya K. Debray, Nai-Wei Lin	Automatic Complexity Analysis of Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Roland H. C. Yap	Restriction Site Mapping in CLP(R).	ICLP	1991	DBLP BibTeX RDF
1	Masami Hagiya	Higher-Order Unification as a Theorem Proving Procedure.	ICLP	1991	DBLP BibTeX RDF
1	Raymond T. Ng, V. S. Subrahmanian	A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases.	ICLP	1991	DBLP BibTeX RDF
1	Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro	Explaining SLDNF Resolution with Non-Normal Defaults.	ICLP	1991	DBLP BibTeX RDF
1	Abderrahmane Aggoun, Nicolas Beldiceanu	Overview of the CHIP Compiler System.	ICLP	1991	DBLP BibTeX RDF
1	Pascal Brisset, Olivier Ridoux	Naïve Reverse Can be Linear.	ICLP	1991	DBLP BibTeX RDF
1	Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes	Nonmonotonic Reasoning with Well Founded Semantics.	ICLP	1991	DBLP BibTeX RDF
1	Robert A. Kowalski	Legislation as Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Kazuo Taki	Parallel Programming and Large-scale Applications in the FGCS Project.	ICLP	1991	DBLP BibTeX RDF
1	Peter B. Reintjes	A Set of Tools for VHDL Design.	ICLP	1991	DBLP BibTeX RDF
1	Hai-Ping Ko, Mark E. Nadel	Substitution and Refutation Revisited.	ICLP	1991	DBLP BibTeX RDF
1	Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck	A Generic Abstract Interpretation Algorithm and its Complexity Analysis.	ICLP	1991	DBLP BibTeX RDF
1	Anthony S. K. Cheng, Peter J. Robinson 0001, John Staples	Higher Level Meta Programming in Qu-Prolog 3: 0.	ICLP	1991	DBLP BibTeX RDF
1	António Porto	Logic Programming Environments.	ICLP	1991	DBLP BibTeX RDF
1	Jonathan M. Lever	Proving Program Properties by Means of SLS-Resolution.	ICLP	1991	DBLP BibTeX RDF
1	Philippe Codognet, Thierry Sola	Extending the WAM for Intelligent Backtracking.	ICLP	1991	DBLP BibTeX RDF
1	Michael Codish, Moreno Falaschi, Kim Marriott	Suspension Analysis for Concurrent Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Toshinori Watanabe, Keiko Komatsu	Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine.	ICLP	1991	DBLP BibTeX RDF
1	Ken Satoh, Noboru Iwayama	Computing Abduction by Using the TMS.	ICLP	1991	DBLP BibTeX RDF
1	Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi	{log}: A Logic Programming Language with Finite Sets.	ICLP	1991	DBLP BibTeX RDF
1	Kalyan Muthukumar, Manuel V. Hermenegildo	Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.	ICLP	1991	DBLP BibTeX RDF
1	Eugene J. Rollins, Jeannette M. Wing	Specifications as Search Keys for Software Libraries.	ICLP	1991	DBLP BibTeX RDF
1	Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard	Applications of Constraints Logic Programming Languages.	ICLP	1991	DBLP BibTeX RDF
1	James Harland	A Clausal Form for the Completion of Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Gérard Ferrand	Basic Concepts of Logic Programming and Prolog.	ICLP	1991	DBLP BibTeX RDF
1	Hiroshi Fujita 0002, Ryuzo Hasegawa	A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm.	ICLP	1991	DBLP BibTeX RDF
1	Teodor C. Przymusinski	Well-Founded Completions of Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Weidong Chen 0005, David Scott Warren	An Intensional Logic of (Multi-Arity) Set Abstractions.	ICLP	1991	DBLP BibTeX RDF
1	Brian J. Ross, Alan Smaill	An Algebraic Semantics of Prolog Program Termination.	ICLP	1991	DBLP BibTeX RDF
1	Maurizio Gabbrielli, Giorgio Levi	Modeling Answer Constraints in Constraint Logic Programs.	ICLP	1991	DBLP BibTeX RDF
1	Mark Korsloot, Hans M. Mulder	Sequential Architecture Models for Prolog: A Performance Comparison.	ICLP	1990	DBLP BibTeX RDF
1	Pascal Van Hentenryck	Incremental Constraint Satisfaction in Logic Programming.	ICLP	1990	DBLP BibTeX RDF
1	Vijay A. Saraswat	The Paradigm of Concurrent Constraint Programming.	ICLP	1990	DBLP BibTeX RDF
1	Arie Harsat, Ran Ginosar	An Extended RISC Methodology and its Application to FCP.	ICLP	1990	DBLP BibTeX RDF
1	Kalyan Muthukumar, Manuel V. Hermenegildo	The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism.	ICLP	1990	DBLP BibTeX RDF
1	Neng-Fa Zhou, Toshihisa Takagi, Kazuo Ushijima	A Matching Tree Oriented Abstract Machine for Prolog.	ICLP	1990	DBLP BibTeX RDF
1	Michael Gelfond, Vladimir Lifschitz	Logic Programs with Classical Negation.	ICLP	1990	DBLP BibTeX RDF
1	Oded Shmueli, Shalom Tsur	Logical Diagnosis of LDL Programs.	ICLP	1990	DBLP BibTeX RDF

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