Conferences in DBLP
Ian Horrocks OWL: A Description Logic Based Ontology Language. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi Preference Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Stuckey , Maria J. García de la Banda , Michael J. Maher , Kim Marriott , John K. Slaney , Zoltan Somogyi , Mark Wallace , Toby Walsh The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Walter G. Wilson Use of Logic Programming for Complex Business Rules. [Citation Graph (0, 0)][DBLP ] Conf ] José F. Morales , Manuel Carro , Germán Puebla , Manuel V. Hermenegildo A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia , Marco Maratea On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). [Citation Graph (0, 0)][DBLP ] Conf ] Sabrina Baselice , Piero A. Bonatti , Michael Gelfond Towards an Integration of Answer Set and Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Andrea Formisano , Enrico Pontelli A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Sneyers , Tom Schrijvers , Bart Demoen Guard and Continuation Optimization for Occurrence Representations of CHR. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Roland H. C. Yap , Kenny Qili Zhu Coordination of Many Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Thom W. Frühwirth Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Wielemaker An Optimised Semantic Web Query Language Implementation in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Bortolussi , Herbert Wiklicky A Distributed and Probabilistic Concurrent Constraint Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Christiansen , Verónica Dahl HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Maher Abduction of Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Tompits , Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Emad Saad , Enrico Pontelli Hybrid Probabilistic Logic Programs with Non-monotonic Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay Pelov , Eugenia Ternovska Reducing Inductive Definitions to Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Diptikalyan Saha , C. R. Ramakrishnan Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha , Fernando M. A. Silva , Vítor Santos Costa Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Braßel , Michael Hanus Nondeterminism Analysis of Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Gallagher , Kim S. Henriksen , Gourinath Banda Techniques for Scaling Up Analyses Based on Pre-interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] Ajay Mallya Deductive Multi-valued Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Manh Thang Nguyen , Danny De Schreye Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Vitaly Lagoon , Peter J. Stuckey Testing for Termination with Monotonicity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] João Alcântara , Carlos Viegas Damásio , Luís Moniz Pereira A Well-Founded Semantics with Disjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenhua Duan , Xiaoxiao Yang , Maciej Koutny Semantics of Framed Temporal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gopalan Nadathur , Natalie Linnell Practical Higher-Order Pattern Unification with On-the-Fly Raising. [Citation Graph (0, 0)][DBLP ] Conf ] Susmit Sarkar , Brigitte Pientka , Karl Crary Small Proof Witnesses for LF. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Coquery , François Fages A Type System for CHR. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Kleemann , Alex Sinner Decision Support for Personalization on Mobile Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Germán Puebla , Elvira Albert , Manuel V. Hermenegildo A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Ray The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Andrew E. Santosa , Razvan Voicu Modeling Systems in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Nomikos , Panos Rondogiannis , William W. Wadge A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Rocha , Ricardo Lopes , Fernando M. A. Silva , Vítor Santos Costa IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre S. Saidi Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process. [Citation Graph (0, 0)][DBLP ] Conf ] Tony Lambert , Carlos Castro , Eric Monfroy , María-Cristina Riff , Frédéric Saubion Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Ferreira The MYDDAS Project: Using a Deductive Database for Traffic Characterization. [Citation Graph (0, 0)][DBLP ] Conf ] Gergely Lukácsy , Zsolt Nagy Open World Reasoning in Datalog. [Citation Graph (0, 0)][DBLP ] Conf ] András G. Békés Optimizing Queries for Heterogeneous Information Sources. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus Vinicius Santos Denotational Semantics Using Horn Concurrent Transaction Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Langevine Gentra4cp: A Generic Trace Format for Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Schrijvers Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. [Citation Graph (0, 0)][DBLP ] Conf ] Federico Chesani Formalization and Verification of Interaction Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Corin , Ari Saptawijaya , Sandro Etalle PS-LTL for Constraint-Based Security Protocol Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Bortolussi Concurrent Methodologies for Global Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Vítor Nogueira A Temporal Programming Language for Heterogeneous Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Schindlauer Nonmonotonic Logic Programs for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Rémy Haemmerlé SiLCC Is Linear Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Sneyers Analysis and Optimization of CHR Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 