Conferences in DBLP
Phan Minh Dung Negations as Hypotheses: An Abductive Foundation for Logic Programming. [Citation Graph (4, 0)][DBLP ] ICLP, 1991, pp:3-17 [Conf ] Marco A. Casanova , Andrea S. Hemerly , Ramiro A. de T. Guerreiro Explaining SLDNF Resolution with Non-Normal Defaults. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:18-31 [Conf ] Alessandra Di Pierro , Maurizio Martelli , Catuscia Palamidessi Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:32-45 [Conf ] Kalyan Muthukumar , Manuel V. Hermenegildo Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:49-63 [Conf ] Baudouin Le Charlier , Kaninda Musumbu , Pascal Van Hentenryck A Generic Abstract Interpretation Algorithm and its Complexity Analysis. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:64-78 [Conf ] Michael Codish , Dennis Dams , Eyal Yardeni Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis. [Citation Graph (1, 0)][DBLP ] ICLP, 1991, pp:79-93 [Conf ] Weidong Chen , David Scott Warren An Intensional Logic of (Multi-Arity) Set Abstractions. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:97-110 [Conf ] Agostino Dovier , Eugenio G. Omodeo , Enrico Pontelli , Gianfranco Rossi {log}: A Logic Programming Language with Finite Sets. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:111-124 [Conf ] Philippe Codognet , Thierry Sola Extending the WAM for Intelligent Backtracking. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:127-141 [Conf ] Ludek Matyska , Adriana Jergová , David Toman Register Allocation in WAM. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:142-156 [Conf ] Micha Meier Recursion versus Iteration in Prolog. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:157-169 [Conf ] Eugene J. Rollins , Jeannette M. Wing Specifications as Search Keys for Software Libraries. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:173-187 [Conf ] Jean-François Monin Real-size Compiler Writing Using Prolog with Arrows. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:188-201 [Conf ] Bruno Marre Toward Automatic Test Data Set Selection Using Algebraic Specifications and Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:202-219 [Conf ] Ugo Montanari , Francesca Rossi Perfect Relaxation in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:223-237 [Conf ] Maurizio Gabbrielli , Giorgio Levi Modeling Answer Constraints in Constraint Logic Programs. [Citation Graph (1, 0)][DBLP ] ICLP, 1991, pp:238-252 [Conf ] Dale Miller Unification of Simply Typed Lamda-Terms as Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:255-269 [Conf ] Masami Hagiya Higher-Order Unification as a Theorem Proving Procedure. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:270-284 [Conf ] Anthony S. K. Cheng , Peter J. Robinson , John Staples Higher Level Meta Programming in Qu-Prolog 3: 0. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:285-298 [Conf ] Kristof Verschaetse , Danny De Schreye Deriving Termination Proofs for Logic Programs, Using Abstract Procedures. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:301-315 [Conf ] Brian J. Ross , Alan Smaill An Algebraic Semantics of Prolog Program Termination. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:316-330 [Conf ] Michael Codish , Moreno Falaschi , Kim Marriott Suspension Analysis for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:331-345 [Conf ] Yael Moscowitz , Ehud Y. Shapiro Lexical Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:349-363 [Conf ] Glenn Mansfield , Atsushi Togashi , Nobuhisa Miake , Shoichi Noguchi AMLOG-E: A New Approach towards Amalgamation. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:364-378 [Conf ] Eyal Yardeni , Thom W. Frühwirth , Ehud Y. Shapiro Polymorphically Typed Logic Programs. [Citation Graph (2, 0)][DBLP ] ICLP, 1991, pp:379-393 [Conf ] Daniele Turi Extending S-Models to Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:397-411 [Conf ] Yong Hu , Li-Yan Yuan Extended Well-Founded Model Semantics for General Logic Programs. [Citation Graph (2, 0)][DBLP ] ICLP, 1991, pp:412-425 [Conf ] Doug Palmer , Lee Naish NUA-Prolog: An Extension to the WAM for Parallel Andorra. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:429-442 [Conf ] Vítor Santos Costa , David H. D. Warren , Rong Yang The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:443-456 [Conf ] Mark Korsloot , Evan Tick Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:457-471 [Conf ] Luís Moniz Pereira , Joaquim Nunes Aparício , José Júlio Alferes Nonmonotonic Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:475-489 [Conf ] Katsumi Inoue Extended Logic Programs with Default Assumptions. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:490-504 [Conf ] Ken Satoh , Noboru Iwayama Computing Abduction by Using the TMS. [Citation Graph (3, 0)][DBLP ] ICLP, 1991, pp:505-518 [Conf ] Roland H. C. Yap Restriction Site Mapping in CLP(R). [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:521-534 [Conf ] Hiroshi Fujita , Ryuzo Hasegawa A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:535-548 [Conf ] Peter B. Reintjes A Set of Tools for VHDL Design. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:549-562 [Conf ] Raymond T. Ng , V. S. Subrahmanian A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. [Citation Graph (2, 0)][DBLP ] ICLP, 1991, pp:565-580 [Conf ] Didier Dubois , Jérôme Lang , Henri Prade Towards Possibilistic Logic Programming. [Citation Graph (4, 0)][DBLP ] ICLP, 1991, pp:581-595 [Conf ] Saumya K. Debray , Nai-Wei Lin Automatic Complexity Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:599-613 [Conf ] Jonathan M. Lever Proving Program Properties by Means of SLS-Resolution. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:614-628 [Conf ] Livio Colussi , Elena Marchiori Proving Correctness of Logic Programs Using Axiomatic Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:629-642 [Conf ] Leo Bachmair , Harald Ganzinger Perfect Model Semantics for Logic Programs with Equality. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:645-659 [Conf ] José Alberto Fernández , Jack Minker Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. [Citation Graph (2, 0)][DBLP ] ICLP, 1991, pp:660-675 [Conf ] Hai-Ping Ko , Mark E. Nadel Substitution and Refutation Revisited. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:679-692 [Conf ] Hendrik Decker On Generalized Cover Axioms. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:693-707 [Conf ] James Harland A Clausal Form for the Completion of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:711-725 [Conf ] Teodor C. Przymusinski Well-Founded Completions of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:726-741 [Conf ] Pascal Van Hentenryck , Yves Deville The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:745-759 [Conf ] Donald A. Smith Constraint Operations for CLP(FT). [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:760-774 [Conf ] Abderrahmane Aggoun , Nicolas Beldiceanu Overview of the CHIP Compiler System. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:775-789 [Conf ] Shyam Mudambi Performances of Aurora on NUMA Machines. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:793-806 [Conf ] Khayri A. M. Ali , Roland Karlsson Scheduling Or-Parallelism in Muse. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:807-821 [Conf ] Vítor Santos Costa , David H. D. Warren , Rong Yang The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:825-839 [Conf ] Arie Harsat , Ran Ginosar CARMEL-4: The Unify-Spawn Machine for FCP. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:840-854 [Conf ] Pascal Brisset , Olivier Ridoux Naïve Reverse Can be Linear. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:857-870 [Conf ] Bharat Jayaraman , Gopalan Nadathur Implementation Techniques for Scoping Constructs in Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:871-886 [Conf ] Stefan Böttcher On Transactions in Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:889- [Conf ] Bernard Migault , François Rousselot , Laurent Cervoni Prolog as a Host Language. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:890- [Conf ] M. Puchhammer , R. Schlöglhofer A Rule-oriented FSM Design System with Prototyping Capabilities. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:891- [Conf ] Toshinori Watanabe , Keiko Komatsu Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:892- [Conf ] Robert A. Ballance , Susan L. Graham Incremental Consistency Maintenance for Interactive Applications. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:895-909 [Conf ] Robert A. Kowalski Legislation as Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:910- [Conf ] Dale Miller Logics for Logic Programming: A Tutorial. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:911- [Conf ] Bernard Robinet Logic Programming at IBM: From the Lab to the Customer. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:912-921 [Conf ] R. S. Scowen An Overview of Prolog Standardization - Progress, Problems and Solutions. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:922-936 [Conf ] Hassan Aït-Kaci Warren's Abstract Machine. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:939- [Conf ] Patrick Cousot Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:940- [Conf ] Yves Deville , Leon Sterling , Pierre Deransart Software Development and Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:941- [Conf ] Gérard Ferrand Basic Concepts of Logic Programming and Prolog. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:942- [Conf ] Seif Haridi Parallel Logic Programming based on the Andorra Principle. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:943- [Conf ] Jean-Jacques Chabrier , Claudine Pradelles , Bruno Legeard Applications of Constraints Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:944- [Conf ] Giorgio Levi On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:945- [Conf ] António Porto Logic Programming Environments. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:946- [Conf ] Patrick Saint-Dizier Logic Programming for Language Processing. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:947- [Conf ] Taisuke Sato Full First Order Logic Programming and Truth Predicate. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:948- [Conf ] Kazuo Taki Parallel Programming and Large-scale Applications in the FGCS Project. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:949- [Conf ]