Conferences in DBLP
Monica S. Lam Why Use Datalog to Analyze Programs? [Citation Graph (0, 0)][DBLP ] Conf ] Christopher A. Welty Semantic Web: The Story of the RIFt so Far. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Pientka Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Torsten Schaub Tableau Calculi for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luciano Caroprese , Sergio Greco , Cristina Sirangelo , Ester Zumpano Declarative Semantics of Production Rules for Integrity Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Rémy Haemmerlé , François Fages Modules for Prolog Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Diptikalyan Saha , C. R. Ramakrishnan A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Sneyers , Tom Schrijvers , Bart Demoen Memory Reuse for CHR. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy , Michael Hanus Overlapping Rules and Logic Variables in Functional Logic Programs . [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Brand , Roland H. C. Yap Towards "Propagation = Logic + Control". [Citation Graph (0, 0)][DBLP ] Conf ] Gregory J. Duck , Peter J. Stuckey , Sebastian Brand ACD Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Andy King , Lunjin Lu , Samir Genaim Detecting Determinacy in Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Xuan Li , Andy King , Lunjin Lu Collapsing Closures. [Citation Graph (0, 0)][DBLP ] Conf ] Elvira Albert , Puri Arenas-Sánchez , Germán Puebla , Manuel V. Hermenegildo Reduced Certificates for Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Pontelli , Tran Cao Son Justifications for Logic Programs Under Answer Set Semantics.Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Chiaki Sakama Generality Relations in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Stijn Heymans , Dirk Vermeir Cooperating Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Wittocx , Joost Vennekens , Maarten Mariën , Marc Denecker , Maurice Bruynooghe Predicate Introduction Under Stable and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Szabó , Péter Szeredi Improving the ISO Prolog Standard by Analyzing Compliance Test Results. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Brain , Tom Crick , Marina De Vos , John Fitch TOAST: Applying Answer Set Programming to Superoptimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Grell , Torsten Schaub , Joachim Selbig Modelling Biological Networks by Action Languages Via Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Petra Schwaiger , Burkhard Freitag Using Answer Set Programming for the Automatic Compilation of Assessment Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten H. van Emden Compositional Semantics for the Procedural Interpretation of Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Luke Simon , Ajay Mallya , Ajay Bansal , Gopal Gupta Coinductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce , Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. [Citation Graph (0, 0)][DBLP ] Conf ] James Cheney The Semantics of Nominal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Juraj Dzifcak , Hiro Takahashi Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] C. R. Ramakrishnan , I. V. Ramakrishnan , David Scott Warren Deductive Spreadsheets Using Tabled Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Quintano , Irene Pimenta Rodrigues Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Caballero , Mario Rodríguez-Artalejo , Rafael del Vado Vírseda Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thi-Bich-Hanh Dao , Khalil Djelloul Solving First-Order Constraints in the Theory of the Evaluated Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Feng Guo , Miao Liu , Bharat Jayaraman Relaxation on Optimization Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha Handling Incomplete and Complete Tables in Tabled Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Cláudio Silva , Ricardo Rocha , Ricardo Lopes An External Module for Implementing Linear Tabling in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Edison Mera , Pedro López-García , Germán Puebla , Manuel Carro , Manuel V. Hermenegildo Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. [Citation Graph (0, 0)][DBLP ] Conf ] Quan Phan , Gerda Janssens Towards Region-Based Memory Management for Mercury Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Abreu , Vítor Nogueira Towards Structured Contexts and Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Vítor Nogueira , Salvador Abreu Towards Temporal Contextual Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Verónica Dahl , Baohua Gu Semantic Property Grammars for Knowledge Extraction from Biomedical Text. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Fernández Ortiz , Jørgen Villadsen Natural Language Processing Using Lexical and Logical Combinators. [Citation Graph (0, 0)][DBLP ] Conf ] Dulce Aguilar-Solis Learning Semantic Parsers: A Constraint Handling Rule Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Hugo A. López , Catuscia Palamidessi , Jorge Andrés Pérez , Camilo Rueda , Frank D. Valencia A Declarative Framework for Security: Secure Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Mantsivoda , Vladimir Lipovchenko , Anton Malykh Logic Programming in Knowledge Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Moura , Vincent Marchetti Logtalk Processing of STEP Part 21 Files. [Citation Graph (0, 0)][DBLP ] Conf ] Edna Ruckhaus , Vladimir Kolovski , Bijan Parsia , Bernardo Cuenca Grau Integrating Datalog with OWL: Exploring the AL-log Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda , Norio Kato , Koji Hara , Ken Mizuno LMNtal as a Unifying Declarative Language: Live Demonstration. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Brain Declarative Problem Solving Using Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Anderson Faustino da Silva , Vítor Santos Costa The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gergely Lukácsy Description Logic Reasoning in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Quan Phan Static Memory Management for Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tiago Soares Deductive Databases: Implementation, Parallelism and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Huy Tu Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Ka-Shu Wong Deducing Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 