Conferences in DBLP
Teodor C. Przymusinski On Constructive Negation in Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] Molly Wilson , Alan Borning Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Maher , Peter J. Stuckey Expanding Query Power in Constraint Logic Programming Languages. [Citation Graph (4, 0)][DBLP ] Conf ] Jean-Louis Lassez , Tien Huynh , Ken McAloon Simplification and Elimination of Redundant Linear Arithmetic Constraints. [Citation Graph (6, 0)][DBLP ] Conf ] Nevin Heintze , Spiro Michaylov , Peter J. Stuckey , Roland H. C. Yap On Meta-Programming in CLR(R). [Citation Graph (1, 0)][DBLP ] Conf ] Marc Bezem Characterizing Termination of Logic Programs with Level Mappings. [Citation Graph (1, 0)][DBLP ] Conf ] Marek A. Suchenek A Syntactic Characterization of Minimal Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Marco A. Casanova , Ramiro A. de T. Guerreiro , Andrea Silva Computing Answers to Logic Programs with Weak Model Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiro Wakayama Monadic Cases: Rediscovering Input Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Winsborough Path-Dependent Reachability Analysis for Multiple Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Jacobs , Anno Langen Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kalyan Muthukumar , Manuel V. Hermenegildo Determination of Variable Dependence Information through Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Searls Investigating the Linguistics of DNA with Definite Clause Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoping He , George W. Ernst , Fred Discenzo An Expert System which Intelligently Accesses an External Database. [Citation Graph (0, 0)][DBLP ] Conf ] Shaul Markovitch , Paul D. Scott Automatic Ordering of Subgoals - A Machine Learning Approach. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Miroslaw Truszczynski Stable Semantics for Logic Programs and Default Theories. [Citation Graph (1, 0)][DBLP ] Conf ] Aïda Batarekh Convergence Issues and Fixed Points of Non-Monotone Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen G. Pimentel , John L. Cuadrado A Truth Maintenance System Based on Stable Models. [Citation Graph (1, 0)][DBLP ] Conf ] Jia-Huai You , Liwu Li Supported Circumscription and Its Relation to Logic Programming with Negation. [Citation Graph (1, 0)][DBLP ] Conf ] Balkrishna Ramkumar , Laxmikant V. Kalé Compiled Execution of the Reduce-OR Process Model on Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta , Bharat Jayaraman Combined And-Or Parallelism on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Si-En Chang , Y. Paul Chiang Restricted AND-Parallelism Execution Model with Side-Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo , Francesca Rossi On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vikram A. Saletore , Laxmikant V. Kalé Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Deville , Jean Burnay Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arun Lakhotia Incorporating `Programming Techniques' into Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Mello , Antonio Natali , Cristina Ruggieri Logic Programming in a Software Engineering Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Maluszynski , Torbjörn Näslund Fail Substitutions for Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] David Chan An Extension of Constructive Negation and its Application in Coroutining. [Citation Graph (0, 0)][DBLP ] Conf ] Ian T. Foster , Stephen Taylor Strand: A Practical Parallel Programming Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth M. Kahn , William A. Kornfeld Money as a Concurrent Logic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Olof Nyström Variable-Free Execution of Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Haim Gaifman , Michael J. Maher , Ehud Y. Shapiro Reactive Behaviour Semantics for Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Arcot Rajasekar , Jack Minker A Stratification Semantics for General Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung , Kanchana Kanchanasut On the Generalized Predicate Completion of Non-Horn Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung , Kanchana Kanchanasut A Fixpoint Approach to Declarative Semantics of Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] James Harland A Kripke-like Model for Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , F. Russo Partial Evaluation in Prolog: Some Improvements about Cut. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa , Hiroshi Fujita , Toramatsu Shintani Deriving an Efficient Production System by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng Lin Expected Performance of the Randomized Parallel Backtracking Method. [Citation Graph (0, 0)][DBLP ] Conf ] Shyam Mudambi Performance Analysis of Aurora on a Switch-Based Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Péter Szeredi Performance Analysis of the Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP ] Conf ] H. Lewis Chau Narrowing Grammar: A Comparison with Other Logic Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Arendse Bernth Discourse Understanding in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Srinivas R. Sataluri , Arthur C. Fleck Semantic Specification Using Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Krishnamurthy , Shamim A. Naqvi , Carlo Zaniolo Database Transactions in LDL. [Citation Graph (3, 0)][DBLP ] Conf ] Jiawei Han , Ling Liu Processing Multiple Linear Recursions. [Citation Graph (1, 0)][DBLP ] Conf ] Anthony J. Bonner , L. Thorne McCarty , Kumar V. Vadaparty Expressing Database Queries with Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Weidong Chen , David Scott Warren Abductive Resoning with Structured Data. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier Event Handling in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] V. S. Madan , C.-J. Peng , Gurindar S. Sohi On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Inamura , Nobuyuki Ichiyoshi , Kazuaki Rokusawa , Katsuto Nakajima Optimizing Techniques Using the MRB and Their Evaluation on the Multi-PSI/V2. [Citation Graph (0, 0)][DBLP ] Conf ] Lu Xu , Hanpei Koike , Hidehiko Tanaka Distributed Garbage Collection for the Parallel Inference Engine PIE64. [Citation Graph (0, 0)][DBLP ] Conf ] A. Richard Helm On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution. [Citation Graph (1, 0)][DBLP ] Conf ] Michael J. Maher , Raghu Ramakrishnan Déjà Vu in Fixpoints of Logic Programs. [Citation Graph (9, 0)][DBLP ] Conf ] David B. Kemp , Kotagiri Ramamohanarao , Isaac Balbin , Krishnamurthy Meenakshi Propagating Constraints in Recusive Deduction Databases. [Citation Graph (16, 0)][DBLP ] Conf ] Bart Demoen , André Mariën , Alain Callebaut Indexing Prolog Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Damir Jamsek , Kevin J. Greene , Shiu-Kai Chin , Paul R. Humenn WINTER: WAMS in Tim Expression Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] André Mariën , Bart Demoen On the Management of Choicepoint and Environment Frames in the WAM. [Citation Graph (0, 0)][DBLP ] Conf ] Bharat Jayaraman , David A. Plaisted Programming with Equations, Subsets, and Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kifer , V. S. Subrahmanian On the Expressive Power of Annotated Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Weidong Chen , Michael Kifer , David Scott Warren HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. [Citation Graph (21, 0)][DBLP ] Conf ] Changwoo Pyo , Uday S. Reddy Inference of Polymorphic Types for Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Ashok Singhal , Yale N. Patt Unification Parallelism: How Much Can We Exploit? [Citation Graph (0, 0)][DBLP ] Conf ] Peter Van Roy An Intermediate Language to Support Prolog's Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Akihiko Konagaya , Shinichi Habata , Atsushi Atarashi , Minoru Yokota Performance Evaluation of a Sequential Inference Machine CHI. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Bharat Jayaraman Towards a WAM Model for Lambda-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] E. W. Elcock Absys: The Historical Inevitability of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Minker Toward A Foundation of Disjunctive Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] 