Conferences in DBLP
Margaret A. Boden The Logic of Creativity. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt Declarative Programming in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Gail E. Kaiser MARVEL 3: 1: A Multi-User Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray Static Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Luc De Raedt A Brief Introduction to Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Melvin Fitting Metric Methods in the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Macdonald , Peter J. Stuckey , Roland H. C. Yap Redundancy of Variables in CLP (R). [Citation Graph (0, 0)][DBLP ] Conf ] Gudjon Gudjonsson , William H. Winsborough Update In Place: Overview of the Siva Project. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Bart Demoen Analysing Logic Programs Using `Prop'-ositional Logic Programs and a Magic Wand. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , Manuel V. Hermenegildo , Kim Marriott Independence in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Danny De Schreye Representing Incomplete Knowledge in Abductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler , Michael Thielscher Actions and Specificity. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Michael Gelfond , Olga Kosheleva Approximating General Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roland N. Bol , Lars Degerstedt Tabulated Resolution for Well Founded Semantics. [Citation Graph (1, 0)][DBLP ] Conf ] James H. Andrews A Logical Semantics for Depth-First Prolog with Ground Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Teusink A Proof Procedure for Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne , Patrick Lebègue , Jean-Christophe Routier The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Georg Gottlob Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. [Citation Graph (1, 0)][DBLP ] Conf ] Naoki Kobayashi , Akinori Yonezawa ACL - A Concurrent Linear Logic Programming Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Tiziana Castagnetti , Remo Pareschi Abstract Interpretation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten Non-monotonic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Olof Nyström , Bengt Jonsson Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Ewing L. Lusk , Shyam Mudambi , Ross A. Overbeek , Péter Szeredi Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Gregory Experiments with Speculative Parallelism in Parlog. [Citation Graph (0, 0)][DBLP ] Conf ] Bo-Ming Tong , Ho-fung Leung Concurrent Constraint Logic Programming On Massively Parallel SIMD Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Raéd Yousef Sindaha Branch-Level Scheduling in Aurora: The Dharma Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Stefaan Decorte , Danny De Schreye , Massimo Fabris Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , Manuel V. Hermenegildo A Practical Approach to the Global Analysis of CLP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kjell Post , Allen Van Gelder , James Kerr Deterministic Parsing of Languages with Dynamic Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Baldoni , Laura Giordano , Alberto Martelli A Multimodal Logic to Define Modules in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kohlhase , Frank Pfenning Unification in a Lambda-Calculus with Intersection Types. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci , Andreas Podelski , Seth Copen Goldstein Order-Sorted Feature Theory Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Codognet , Daniel Diaz Boolean Constraint Solving Using clp(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Gianfranco Rossi Embedding extensional finite sets in CLP. [Citation Graph (1, 0)][DBLP ] Conf ] S. Sudarshan , Raghu Ramakrishnan Optimizations of Bottom-Up Evaluation with Non-Ground Terms. [Citation Graph (2, 0)][DBLP ] Conf ] Sergio Greco , Domenico Saccà , Carlo Zaniolo Dynamic Programming Optimization for Logic Queries with Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] S. Sudarshan , Divesh Srivastava , Raghu Ramakrishnan , Catriel Beeri Extending the Well-Founded and Valid Semantics for Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] Fangqing Dong , Laks V. S. Lakshmanan A Deductive Approach to Hypothetical Query Answering. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Kirschenbaum , Leon Sterling Enhancement Structures for Proving Prolog Programs Correct. [Citation Graph (0, 0)][DBLP ] Conf ] D. Andre de Waal , John P. Gallagher Logic Program Specialisation With Deletion of Useless Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled Bsaïes Automated Derivation of Efficient Logic Programs by Synthesizing Eureka Properties. [Citation Graph (0, 0)][DBLP ] Conf ] G. Aguzzi , U. Modigliani Termination of Logic Programs via Equivalent Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kirack Sohn Relational Groundness Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Vargas-Vera , Wamberto Weber Vasconcelos , David Stuart Robertson Building Large-Scale Prolog Programs using a Techniques Editing System. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio , Bharat Jayaraman Subset Assertions and Negation As Failure. [Citation Graph (0, 0)][DBLP ] Conf ] A. Mora , J. Piris , María José Ramírez , Moreno Falaschi A Prototype System for Equational Constructive Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquim Nunes Aparício Assumption Set Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You , Li-Yan Yuan Contradiction Resolving for Extended Logic Programs and Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz , Norman McCain , Hudson Turner Automated Reasoning About Actions: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Ben-Eliyahu Back to the Future: Program Completion, Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Drabent Completeness of SLDNF-Resolution for Non-Floundering Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Howard C. Wasserman , Keitaro Yukawa , Zhizhang Shen The Essential Inadequacy of Deductions in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Palopoli , Carlo Zaniolo Polynominal Time Computable Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Esther D. Shilcrat Id Est, A Logic Based Framework for Direct Manipulation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Nilsson Goal-directed Bottom-up Evaluation of Normal Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Jiawei Han , Laks V. S. Lakshmanan Evaluation of Regular Nonlinear Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Berry , Philippe Ézéquel Generating Goals and Their Use In Recursive Query Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Hock Chuan Chan , Keng Siau A Prolog-Based Definition of an Entity Relationship Language. [Citation Graph (0, 0)][DBLP ] Conf ] Monica D. Barback , Jorge Lobo A Proof Procedure for Default Theories with Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau An Efficient Specialization of the WAM for Continuation Passing Binary Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Podelski , Peter Van Roy The Beauty and the Beast Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Paterson-Jones , Peter T. Wood Extending the WAM for HiLog. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou On the Direct Parameter Passing Mechanism for Prolog Compilers. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg , Marcos Veloso Peixoto Concurrent Constraint Automata. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Moreno Falaschi , Germán Vidal Incremental Equational Constraint Analyses. [Citation Graph (0, 0)][DBLP ] Conf ] B. McDonald , J. Xu , M. Epstein , E. Freeman On the Denotational and Logical Semantics of CLP-Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Pesant , Michel Boyer Handling Quadratic Constraints through Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Sidebottom Optimizing Constraint Processing in CLP(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Boizumault , Yan Delon , Laurent Péridy Solving a real life exams problem using CHIP. [Citation Graph (0, 0)][DBLP ] Conf ] Bogumil Hausman Turbo Erlang. [Citation Graph (0, 0)][DBLP ] Conf ] Wenfeng Li , Zheng Lin A Distributed Parallel LP System. [Citation Graph (0, 0)][DBLP ] Conf ] Koenraad De Bosschere , Paul Tarau Blackboard-based Extensions for Parallel Programming in BinProlog. [Citation Graph (0, 0)][DBLP ] Conf ] Ernesto Pimentel L2||O2: A Concurrent Object-oriented Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Martelli , Alessandro Messora , Catuscia Palamidessi Fixpoint Semantics of L-lambda. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Hui-Bon-Hoa An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Amy P. Felty Definite Clause Grammars for Parsing Higher-Order Syntax. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet A. Orgun The Soundness and Completeness of a Temporal Extension of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brüning , Steffen Hölldobler , Ute Cornelia Sigmund , Michael Thielscher , Josef Schneeberger Disjunction In Resource-Oriented Deductive Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Lidia Moreno , Manuel Palomar , Antonio Molina The Incorporation of Logic Formalisms to Natural Language Through Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Takahashi , Frank S. K. Silbermann Prolog Interpretation of A Functional-Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Combining Lazy Narrowing and Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Meyer Logic and the Structure of Space - Towards a Visual Logic for Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Irene Pimenta Rodrigues , José Gabriel Lopes Temporal Reasoning for Temporal Information Retrieval From Text. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Maurizio Martelli A Bottom-Up Characterization of Finite Success. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland On Goal-Directed Provability in Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce Spencer The Ordered Clause Restriction of Model Elimination and SLI Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Weidong Chen , Terrance Swift , David Scott Warren Goal-Directed Evaluation of Well-Founded Sematics for XSB. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenzhong Li A pi-calculus Specification of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] 