Conferences in DBLP
Nachum Dershowitz Goal Solving as Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Wadler How to Declare an Imperative. [Citation Graph (0, 0)][DBLP ] Conf ] William J. McClay Surviving the AI Winter. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Michael J. Maher , Gustaf Neumann Logic Programming and Object Modelling: A Case Study (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bekkers , Paul Tarau Monadic Constructs for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Winikoff , James Harland Implementing the Linear Logic Programming Language Lygon. [Citation Graph (0, 0)][DBLP ] Conf ] Mengchi Liu Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David Toman Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Maurizio Martelli Objects in Forum. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan M. Jamil , Laks V. S. Lakshmanan A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. [Citation Graph (2, 0)][DBLP ] Conf ] Christian Prehofer A Call-by-Need Strategy for Higher-Order Functional-Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Rachid Echahed Abstraction of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Hui-Bon-Hoa Clause-based proofs for hereditary Harrop formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Dawson , C. R. Ramakrishnan , I. V. Ramakrishnan , Terrance Swift Optimizing Clause Resolution: Beyond Unification Factoring. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Ferrand , Arnaud Lallouet A Compositional Proof Method of Partial Correctness for Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Carlson , Mats Carlsson , Sverker Janson The implementation of AKL(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Conway , Fergus Henderson , Zoltan Somogyi Code Generation for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Bigot , Saumya K. Debray A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi , Giuliana Vitiello Declarative Diagnosis Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund , Pierangelo Dell'Acqua , Stefania Costantini , Gaetano Aurelio Lanzarone Semantical Properties of Encodings in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Brzoska Temporal Logic Programming in Dense Time. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi , Francesco Ranzato Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Gerda Janssens , Maurice Bruynooghe , Veroniek Dumortier A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher , Dmitri Boulanger , Hüseyin Saglam Practical Model-Based Static Analysis for Definite Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Dimopoulos , Antonis C. Kakas Logic Programming without Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You , Suryanil Ghosh , Li-Yan Yuan , Randy Goebel An Introspective Framework for Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Leone , Francesco Scarcello Declarative and Fixpoint Characterizations of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , Kim Marriott , Peter J. Stuckey Efficient Analysis of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lindgren Control Flow Analysis of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Marchiori , Frank Teusink Proving Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Conf ] Morten Heine Sørensen , Robert Glück An Algorithm of Generalization in Positive Supercompilation. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi , Alberto Pettorossi , Maurizio Proietti Correctness of Logic Program Transformations Based on Existential Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Bern Martens Partial Deduction of the Ground Representation and its Application to Integrity Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget , Michel Leconte Beyond the Glass Box: Constraints as Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Maurizio Gabbrielli Modelling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi A Formal Approach to Deductive Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi , Maria Chiara Meo Compositionality in SLD-Derivations and their Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Malfon , Gérard Ferrand Type Correct programs: A semantic approach. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Andrews A Paralogical Semantics for the Prolog Cut. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Moss Logic and Objects (Tutorial Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Kuchen Implementation Issues for Functional Logic Programming (Tutorial Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Håkan Millroth Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Danny De Schreye , Michael Leuschel , Bern Martens Tutorial on Program Specialisation (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John W. Lloyd Integration of Functional and Logic Programming Languages (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy Bridging the gap between logic and functional programming (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mario Rodríguez-Artalejo The Challenge of Declarative Programming (Panel Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Kuchen , Josef Anastasiadis Higher Order Babel. [Citation Graph (0, 0)][DBLP ] Conf ] Vasco Pedro , Luís Monteiro An Approach to Verification in Contextual Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Alon Y. Levy , Marie-Christine Rousset Combining Rules and Description Logics: An Overview of CARIN. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland , David J. Pym , Michael Winikoff Programming in Lygon: A Brief Overview. [Citation Graph (0, 0)][DBLP ] Conf ] Kannan Govindarajan , Bharat Jayaraman , Surya Mantha Relaxation in Constraint Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Messing , Peter v. Stackelberg Regular Signed Resolution Applied to Annotated Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Corin A. Gurr Declarative Annotations for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Man-lai Tse , Wing-hang Wong , Ho-fung Leung P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Lubos Brim , David Gilbert , Jean-Marie Jacquet , Mojmír Kretínský Synchronisation in Scc. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau , Verónica Dahl , Andrew Fall Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] 