Conferences in DBLP
John Alan Robinson Computational Logic: Memories of the Past and Challenges for the Future. [Citation Graph (0, 0)][DBLP ] Conf ] David Page ILP: Just Do It. [Citation Graph (0, 0)][DBLP ] Conf ] Melvin Fitting Databases and Higher Types. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt A Denotational Semantics for First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Logic, Knowledge Representation, and Bayesian Decision Theory. [Citation Graph (0, 0)][DBLP ] Conf ] David Lacey , Julian Richardson , Alan Smaill Logic Program Synthesis in a Higher-Order Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Helko Lehmann Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Hruza , Petr Stepánek Binary Speed Up for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Cabeza Gras , Manuel V. Hermenegildo A New Module System for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Heinrich Herre , Luís Moniz Pereira Partial Models of Extended Generalized Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kewen Wang , Lizhu Zhou , Fangzhen Lin Alternating Fixpoint Theory for Logic Programs with Priority. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Javier López-Fraguas , Jaime Sánchez-Hernández Proving Failure in Functional Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Sandro Etalle , Sabina Rossi Semantics of Input-Consuming Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Maher A Denotational Semantics of Defeasible Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi Isoinitial Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Abstract Syntax for Variable Binders: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] James Harland , Tatjana Lutovac , Michael Winikoff Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshitaka Kameya , Taisuke Sato Efficient EM Learning with Tabulation for Parameterized Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Hähnle , Ryuzo Hasegawa , Yasuyuki Shirai Moder Generation Theorem Proving with Finite Interval Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Echahed , Wendelin Serwe Combining Mobile Processes and Declarative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ben Curry , Geraint A. Wiggins , Gillian Hayes Representing Trees with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Denys Duchier , Joachim Niehren Dominance Constraints with Set Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Petra Hofstedt Better Communication for Tighter Cooperation. [Citation Graph (0, 0)][DBLP ] Conf ] Rosella Gennari Arc Consistency Algorithms via Iterations of Subsumed Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Audemard , Belaid Benhamou , Pierre Siegel AVAL: An Enumerative Method for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Nilsson , Johan Lübcke Constraint Logic Programming for Local and Symbolic Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Gotlieb , Bernard Botella , Michel Rueher A CLP Framework for Computing Structural Test Data. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Azevedo , Pedro Barahona Modelling Digital Circuits Problems with Set Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Müller Promoting Constraints to First-Class Status. [Citation Graph (0, 0)][DBLP ] Conf ] Kit-ying Hui , Peter M. D. Gray Developing Finite Domain Constraints - A Data Model Approach. [Citation Graph (0, 0)][DBLP ] Conf ] David Gilbert , Catuscia Palamidessi Concurrent Constraint Programming with Process Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Baoqiu Cui , David Scott Warren A System for Tabled Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Edgar Altamirano , Gonzalo Escalada-Imaz Finding Tractable Formulas in NNF. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Fabio Massacci The Taming of the (X)OR. [Citation Graph (0, 0)][DBLP ] Conf ] Regimantas Pliuskevicius On an omega -Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Benini Representing Object Code. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi A. Junttila , Ilkka Niemelä Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen , Maria-Christina Patron Certification of Compiler Optimizations Using Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Dierkes An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Supratik Mukhopadhyay , Andreas Podelski Model Checking for Timed Logic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pettorossi , Maurizio Proietti Perfect Model Checking via Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Boulton , Konrad Slind Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Erica Melis , Andreas Meier Proof Planning with Multiple Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Paliath Narendran , Michaël Rusinowitch The Theory of Total Unary RPO Is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Lonc , Miroslaw Truszczynski On the Problem of Computing the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce , Inman P. de Guzmán , Agustín Valverde Computing Equilibrium Models Using Signed Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker Extending Classical Logic with Inductive Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue A Simple Characterization of Extended Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Peter Störr , Michael Thielscher A New Equational Foundation for the Fluent Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler , Hans-Peter Störr Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Helko Lehmann , Michael Leuschel Decidability Results for the Propositional Fluent Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Pallotta A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung , Tran Cao Son Default Reasoning with Specificity. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres Planning under Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Esra Erdem , Vladimir Lifschitz , Martin D. F. Wong Wire Routing and Satisfiability Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Tommi Syrjänen Including Diagnostic Information in Configuration Models. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar , Alexander Ja. Dikovsky , Sergey Dudakov On Complexity of Updates through Integrity Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Le-Chi Tuan , Raul Trejo , Vladik Kreinovich Computational Complexity of Planning Based on Partial Information about the System's Present and Past States. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard , Raymond Rolland Smallest Equivalent Sets for Finite Propositional Formula Circumscription. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer A Semantics for Persistency in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Arenas , Leopoldo E. Bertossi , Michael Kifer Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Celle , Leopoldo E. Bertossi Querying Inconsistent Databases: Algorithms and Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Bonchi , Fosca Giannotti , Dino Pedreschi On Verification in Logic Database Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bastide , Nicolas Pasquier , Rafik Taouil , Gerd Stumme , Lotfi Lakhal Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets. [Citation Graph (0, 0)][DBLP ] Conf ] Rada Chirkova , Michael R. Genesereth Linearly Bounded Reformulations of Conjunctive Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Paolo Mancarella , Gianluca Nerbini , Alessandra Raffaetà , Franco Turini MuTACLP: A Language for Declarative GIS Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaliy L. Khizder , David Toman , Grant E. Weddell Reasoning about Duplicate Elimination with Description Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Sébastien Ferré , Olivier Ridoux A File System Based on Concept Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Franconi , Fabio Grandi , Federica Mandreoli A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Brass SLDMagic - The Real Magic (With Applications to Web Queries). [Citation Graph (0, 0)][DBLP ] Conf ] Guizhen Yang , Michael Kifer FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Hasan Davulcu , Guizhen Yang , Michael Kifer , I. V. Ramakrishnan Design and Implementation of the Physical Layer in WebBases: The XRover Experience. [Citation Graph (0, 0)][DBLP ] Conf ] James Bailey , Alexandra Poulovassilis , Peter Newson A Dynamic Approach to Termination Analysis for Active Database Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Saumya K. Debray , Timothy J. Hickey Constraint-Based Termination Analysis for Cyclic Active Database Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Geert Jan Bex , Sebastian Maneth , Frank Neven A Formal Model for an Expressive Fragment of XSLT. [Citation Graph (0, 0)][DBLP ] Conf ] Peter T. Wood On the Equivalence of XML Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Oliboni , Letizia Tanca Querying XML Specified WWW Sites: Links and Recursion in XML-GL. [Citation Graph (0, 0)][DBLP ] Conf ] Seung Jin Lim , Yiu-Kai Ng A Heuristic Approach for Converting HTML Documents to XML Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Allain , Pascal Yim Specification of an Active Database System Application Using Dynamic Relation Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Mutsumi Nakamura , Chitta Baral Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Demoen , Phuong-Lan Nguyen So Many WAM Variations, So Little Time. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy Mazur , Gerda Janssens , Maurice Bruynooghe A Module Based Analysis for Memory Reuse in Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. García de la Banda , Peter J. Stuckey , Warwick Harvey , Kim Marriott Model Checking in HAL. [Citation Graph (0, 0)][DBLP ] Conf ] Inês de Castro Dutra , Vítor Santos Costa , Ricardo Bianchini The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Barker Data Protection by Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Chuck Liang A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo Gervás A Logic Programming Application for the Analysis of Spanish Verse. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo A Documentation Generator for (C)LP Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Gartner , Terrance Swift , Allen Tien , Carlos Viegas Damásio , Luís Moniz Pereira Psychiatric Diagnosis from the Viewpoint of Computational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 