Conferences in DBLP
J. Gregory Morrisett Achieving Type Safety for Low-Level Code. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Ridoux Logic Information Systems for Logic Programmers. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Winsborough A Logic Programming View of Authorization in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Maurizio Gabbrielli , Maria Chiara Meo Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Backofen , Sebastian Will A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Frank D. Valencia Concurrency, Time, and Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages Symbolic Model-Checking for Biochemical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau Component-Based Software Development and Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Bruscoli , Alessio Guglielmi A Tutorial on Proof Theoretic Foundations of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Abreu , Daniel Diaz Objective: In Minimum Context. [Citation Graph (0, 0)][DBLP ] Conf ] Carles Farré , Ernest Teniente , Toni Urpí Handling Existential Derived Predicates in View Updating. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Gianluigi Greco , Domenico Lembo Efficient Evaluation of Logic Programs for Querying Data Integration Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shekhar Pradhan Argumentation Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Dirk Vermeir Order and Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Lonc , Miroslaw Truszczynski Computing Minimal Models, Stable Models, and Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink Uniform Equivalence of Logic Programs under the Stable Model Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Yuting Zhao , Fangzhen Lin Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaly Lagoon , Frédéric Mesnard , Peter J. Stuckey Termination Analysis with Types Is More Accurate. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Langevine , Mireille Ducassé , Pierre Deransart A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Enrico Pontelli , Gianfranco Rossi Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Granvilliers , Eric Monfroy Implementing Constraint Propagation by Composition of Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Lunjin Lu Forward versus Backward Verification of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Wielemaker Native Preemptive Threads in SWI-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Frej Drejhammar , Christian Schulte , Per Brand , Seif Haridi Flow Java: Declarative Concurrency for Java. [Citation Graph (0, 0)][DBLP ] Conf ] Yao Wu , Enrico Pontelli , Desh Ranjan On the Complexity of Dependent And-Parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Pientka Higher-Order Substitution Tree Indexing. [Citation Graph (0, 0)][DBLP ] Conf ] Diptikalyan Saha , C. R. Ramakrishnan Incremental Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Lopes , Vítor Santos Costa , Fernando M. A. Silva On Deterministic Computations in the Extended Andorra Model. [Citation Graph (0, 0)][DBLP ] Conf ] Frank D. Valencia Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Georg Smaus Is There an Optimal Generic Semantics for First-Order Equations?. [Citation Graph (0, 0)][DBLP ] Conf ] Joohyung Lee , Vladimir Lifschitz Loop Formulas for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Loyer , Umberto Straccia Default Knowledge in Logic Programs with Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Correas , J. M. Gómez , Manuel Carro , Daniel Cabeza Gras , Manuel V. Hermenegildo A Generic Persistence Model for (C)LP Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Selim T. Erdogan , Vladimir Lifschitz Definitions in Answer Set Programming: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Feng Guo , Gopal Gupta A New Mode Declaration for Tabled Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Kwanho Jung , Hyunjang Kong , Junho Choi , Yoo-Jin Moon , PanKoo Kim Adding the Temporal Relations in Semantic Web Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. K. Krishna Rao Polynomial-Time Learnability from Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Yoo-Jin Moon , Kyongho Min , Youngho Hwang , PanKoo Kim Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei A. Morozov Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Susana Muñoz-Hernández , Juan José Moreno-Navarro A Real Implementation for Constructive Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Kaninda Musumbu Simulating Security Systems Based on Logigrams. [Citation Graph (0, 0)][DBLP ] Conf ] Giridhar Pemmasani , Hai-Feng Guo , Yifei Dong , C. R. Ramakrishnan , I. V. Ramakrishnan Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Ramirez Inducing Musical Rules with ILP. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Rosenblueth A Distinct-Head Folding Rule. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Serebrenik Termination Analysis of Logic Programs: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Serebrenik , Bart Demoen Refactoring Logic Programs: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Georg Smaus Termination of Logic Programs for Various Dynamic Selection Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Enrico Pontelli Adding Preferences to Answer Set Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Thielscher Controlling Semi-automatic Systems with FLUX. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda , Norio Kato The Language Model LMNtal. [Citation Graph (0, 0)][DBLP ] Conf ] 