Conferences in DBLP
K. Mani Chandy , Carl Kesselman The Derivation of Compositional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl Empirical Semantics for Defeasible Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Melvin Fitting Many-Valued Semantics for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Evan Tick Advanced Tutorial: Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Abiteboul Deductive and Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] A. S. Troelstra Tutorial on Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ross A. Overbeek Logic Programming and Genetic Sequence Analysis: a Tutorial. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Dumant hecking the Soundness of Resolution Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Qian , Kang Wang Higher-Order E-Unification for Arbitrary Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Livio Colussi , Elena Marchiori A Predicate Transformer for Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Rouzaud , Lan Nguyen-Phuong Integrating Modes and Subtypes into a Prolog Type-Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Jacquet , Luís Monteiro Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi A Declarative View of Inheritance in Logic Programming. [Citation Graph (3, 0)][DBLP ] Conf ] Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland On Normal Forms and Equivalence for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Ferrand , Pierre Deransart Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Große , Steffen Hölldobler , Josef Schneeberger , Ute Cornelia Sigmund , Michael Thielscher Equational Logic Programming Actions, and Change. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus On the Completeness of Residuation. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Kuchen , Francisco Javier López-Fraguas , Juan José Moreno-Navarro , Mario Rodríguez-Artalejo Implementing a Lazy Functional Logic Language with Disequality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Kirchner , Christophe Ringeissen A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka , Ralf Treinen Records for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Margarida Mamede , Luís Monteiro A Contraint Logic Programming Scheme for Taxonomic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan Controlling the Search in Bottom-Up Evaluation. [Citation Graph (10, 0)][DBLP ] Conf ] David B. Kemp , Peter J. Stuckey , Divesh Srivastava Query Restricted Bottom-Up Evaluation of Normal Logic Programs. [Citation Graph (8, 0)][DBLP ] Conf ] Fangqing Dong , Laks V. S. Lakshmanan Deductive Databases with Incomplete Information. [Citation Graph (1, 0)][DBLP ] Conf ] François Bronsard , T. K. Lakshman , Uday S. Reddy A Framework of Directionality for Proving Termination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Gröger , Lutz Plümer Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Geraint A. Wiggins Synthesis and Transformation of Logic Programs in the Whelk Proof Development System. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Older , John A. Rummell An Incremental Garbage Collector for WAM-Based Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Abreu , Luís Moniz Pereira , Philippe Codognet Improving Backward Execution in the Andorra Family of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] David Gudeman , Koenraad De Bosschere , Saumya K. Debray jc: An Efficient and Portable Sequential Implementation of Janus. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Laura Giordano , Nicola Olivetti Negation as Failure in Intuitionistic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Anil Nerode , Jeffrey B. Remmel The Stable Models of a Predicate Logic Program. [Citation Graph (1, 0)][DBLP ] Conf ] Frank S. de Boer , Catuscia Palamidessi A Process Algebra of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Paul Soper Schedule Analysis of Concurrent Logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] R. Sundararajan , A. V. S. Sastry , Evan Tick Variable Threadedness Analysis for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bern Martens , Danny De Schreye A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Taisuke Sato Meta-Programming through a Truth Predicate. [Citation Graph (0, 0)][DBLP ] Conf ] Juergen Haas , Bharat Jayaraman Interactive Synthesis of Definite-Clause Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Vladimir Lifschitz Representing Actions in Extended Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Luís Moniz Pereira On Logic Program Semantics with Two Kinds of Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Weidong Chen , David Scott Warren A Goal-Oriented Approach to Computing Well Founded Semantics. [Citation Graph (3, 0)][DBLP ] Conf ] Serenella Cerrito Herbrand Methods in Sequent Calculi: Unification in LL. [Citation Graph (0, 0)][DBLP ] Conf ] Joshua S. Hodas Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Ta Chen , I. V. Ramakrishnan , R. Ramesh Multistage Indexing Algorithms for Speeding Prolog Execution. [Citation Graph (1, 0)][DBLP ] Conf ] Saumya K. Debray , Sampath Kannan , Mukul Paithane Weighted Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Satoh , Noboru Iwayama A Query Evaluation Method for Abductive Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Marc Denecker , Danny De Schreye SLDNFA: An Abductive Procedure for Normal Abductive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Péter Szeredi Exploiting Or-Parallelism in Optimisation Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Kish Shen Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Bigot , Saumya K. Debray , Kim Marriott Understanding Finiteness Analysis Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Pascal Van Hentenryck Reexecution in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze Practical Aspects of Set Based Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello Normal Logic Programs as Open Positive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix Classifying Semantics of Disjunctive Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Rachel Ben-Eliyahu , Rina Dechter Propositional Sematics for Disjunctive Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] William J. Mitchell The Logic of Architecture: Programming the Invention of Physical Artifacts. [Citation Graph (0, 0)][DBLP ] Conf ] 