Conferences in DBLP
Chitta Baral , Juraj Dzifcak , Luis Tari Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka Preferences, Contexts and Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter Answer Set Programming for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta , Ajay Bansal , Richard Min , Luke Simon , Ajay Mallya Coinductive Logic Programming and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Multi-paradigm Declarative Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslaw Truszczynski Logic Programming for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Sabrina Baselice , Piero A. Bonatti , Giovanni Criscuolo On Finitely Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar , David Pearce , Agustín Valverde Minimal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Torsten Schaub Generic Tableaux for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Matti Järvisalo , Emilia Oikarinen Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Greco , Cristian Molinaro Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Gulay Ünel , David Toman Logic Programming Approach to Automata-Based Decision Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau , Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] David Vaz , Michel Ferreira , Ricardo Lopes Spatial-Yap: A Logic-Based Geographic Information System. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie De Koninck , Tom Schrijvers , Bart Demoen The Correspondence Between the Logical Algorithms Language and CHR. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory J. Duck , Peter J. Stuckey , Martin Sulzmann Observable Confluence for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Raiser Graph Transformation Systems in CHR. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Andrea Formisano , Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Moreno Falaschi , Carlos Olarte , Catuscia Palamidessi , Frank Valencia Declarative Diagnosis of Temporal Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Lengning Liu , Enrico Pontelli , Tran Cao Son , Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms: The Role of Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Naish Resource-Oriented Deadlock Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Quan Phan , Gerda Janssens Static Region Analysis for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Pawel Pietrzak , Manuel V. Hermenegildo Automatic Binding-Related Error Diagnosis in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Navas , Edison Mera , Pedro López-García , Manuel V. Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Automatic Correctness Proofs for Logic Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Czenko , Sandro Etalle Core TuLiP Logic Programming for Trust Management. [Citation Graph (0, 0)][DBLP ] Conf ] Vítor Santos Costa , Konstantinos F. Sagonas , Ricardo Lopes Demand-Driven Indexing of Prolog Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Anderson Faustino da Silva , Vítor Santos Costa Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. [Citation Graph (0, 0)][DBLP ] Conf ] Rafael Caballero , Mario Rodríguez-Artalejo , Rafael del Vado Vírseda Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Calì , Thomas Lukasiewicz Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Luciano Caroprese , Irina Trubitsyna , Ester Zumpano View Updating Through Active Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Levente Hunyadi Prosper: A Framework for Extending Prolog Applications with a Web Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Mancarella , Giacomo Terreni , Francesca Toni Web Sites Verification: An Abductive Logic Programming Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei A. Morozov Visual Logic Programming Method Based on Structural Analysis and Design Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Linh Anh Nguyen Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Emilia Oikarinen , Tomi Janhunen A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Girish Keshav Palshikar Representation and Execution of a Graph Grammar in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha , Cláudio Silva , Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Sneyers , Peter Van Weert , Tom Schrijvers , Bart Demoen Aggregates in Constraint Handling Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Martine De Cock , Dirk Vermeir Computing Fuzzy Answer Sets Using dlvhex. [Citation Graph (0, 0)][DBLP ] Conf ] Margaret M. West The Use of a Logic Programming Language in the Animation of Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ka-Shu Wong A Stronger Notion of Equivalence for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser Advanced Techniques for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jonty Needham , Marina De Vos A Games Semantics of ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Emilia Oikarinen Modular Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Olarte , Catuscia Palamidessi , Frank Valencia Universal Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Van Weert Extension and Implementation of CHR. [Citation Graph (0, 0)][DBLP ] Conf ] 