Conferences in DBLP
Edmund M. Clarke Temporal Logic Model Checking (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas W. Reps Program Analysis via Graph Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Mannila Inductive Databases and Condensed Representations for Data Mining. [Citation Graph (1, 0)][DBLP ] Conf ] Paul Tarau Logic Programming Tools for Advanced Internet Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Podelski Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka Constraint Programming in Oz (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rob Gerth Model Checking (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Verónica Dahl Logic Programming for Processing Natural Language (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Multi-Paradigm Declarative Programming (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kifer Transaction Logic: An Introduction (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo Programming with Global Analysis (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Mario Rodríguez-Artalejo A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Zhang , Norman Y. Foo Answer Sets for Prioritized Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Joeri Engelfriet , Heinrich Herre Generated Preferred Models and Extensions of Nonmonotonic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eneia Todoran , Jerry den Hartog , Erik P. de Vink Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Eduardo Correia , Fernando M. A. Silva , Vítor Santos Costa The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Montelius , Peter S. Magnusson Using SimICS to Evaluate the Penny System. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Müller , Jörg Würtz Extending a Concurrent Constraint Language by Propagators. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrabose Aravindan , Peter Baumgartner A Rational and Efficient Algorithm for View Deletion in Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Greco , Domenico Saccà NP Optimization Problems in Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin N. Grosof Prioritized Conflict Handling for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Bressan , Cheng Hian Goh , Thomas Lee , Stuart E. Madnick , Michael Siegel A Procedure for Mediation of Queries to Sources in Disparate Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Ulrich Furbach Calculi for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Seipel , Jack Minker , Carolina Ruiz A Characterization of the Partial Stable Models For Disjunctive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Kish Shen , Florence Benoy Lower-bound Time-complexity Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jichang Tan , I-Peng Lin Recursive Modes for Precise Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray , Pedro López-García , Manuel V. Hermenegildo , Nai-Wei Lin Lower Bound Cost Estimation for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Leach , Susana Nieva , Mario Rodríguez-Artalejo Constraint Logic Programming with Hereditary Harrop Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Andrea Formisano , Alberto Policriti On T Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien , Patrice Boizumault Best-First Search for Property Maintenance in Reactive Constraint Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Alfredo Gabaldon From Functional Specifications to Logic Programms. [Citation Graph (0, 0)][DBLP ] Conf ] Sofie Verbaeten , Marc Denecker , Danny De Schreye Compositionality of Normal Open Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Tran Cao Son Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. [Citation Graph (1, 0)][DBLP ] Conf ] Jürgen Dix , Mauricio Osorio On Well-Behaved Semantics Suitable for Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] Jacinto A. Dávila OPENLOG: A Logic Language to Program Reactive and Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Pietrzak Type Inference for CLP(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Seidl , Christian Fecht Disjuntive Completion Is Not "Optimal". [Citation Graph (0, 0)][DBLP ] Conf ] Juliana Freire , David Scott Warren Controlling the Search in Tabled Evaluations. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel Specialization of Declarative Programs and Its Applications (Workshop Overview). [Citation Graph (0, 0)][DBLP ] Conf ] Anthony J. Bonner , Burkhard Freitag , Laura Giordano , Robert A. Kowalski Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Germán Puebla , Marco Comini , Wlodzimierz Drabent , Mireille Ducassé , Massimo Fabris , Christian Schulte Tools and Environments for (Constraint) Logic Programming (Workshop Overview). [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Teodor C. Przymusinski , Luís Moniz Pereira Logic Programming and Knowledge Representation (LPKR'97). [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Dennis Dams , Gilberto Filé , Elena Marchiori Verification, Model Checking and Abstract Interpretation (Workshop Overview). [Citation Graph (0, 0)][DBLP ] Conf ] 