Abstract is missing.
- Representing Arithmetic Constraints with Finite Automata: An OverviewBernard Boigelot, Pierre Wolper. 1-19 [doi]
- Logic Databases on the Semantic Web: Challenges and OpportunitiesStefan Decker. 20-21 [doi]
- An Abductive Approach for Analysing Event-Based Requirements SpecificationsAlessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer. 22-37 [doi]
- Trailing Analysis for HALTom Schrijvers, Maria J. García de la Banda, Bart Demoen. 38-53 [doi]
- Access Control for Deductive Databases by Logic ProgrammingSteve Barker. 54-69 [doi]
- Reasoning about Actions with CHRs and Finite Domain ConstraintsMichael Thielscher. 70-84 [doi]
- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological SystemsAlexander Bockmayr, Arnaud Courtois. 85-99 [doi]
- Efficient Real-Time Model Checking Using Tabled Logic Programming and ConstraintsGiridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan. 100-114 [doi]
- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLPWitold Charatonik, Supratik Mukhopadhyay, Andreas Podelski. 115-129 [doi]
- A Model Theoretic Semantics for Multi-level Secure Deductive DatabasesHasan M. Jamil, Gillian Dobbie. 130-147 [doi]
- Propagation Completeness of Reactive ConstraintsMichael J. Maher. 148-162 [doi]
- On Enabling the WAM with Region SupportHenning Makholm, Konstantinos F. Sagonas. 163-178 [doi]
- A Different Look at Garbage Collection for the WAMBart Demoen. 179-193 [doi]
- Copying Garbage Collection for the WAM: To Mark or Not to Mark?Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste. 194-208 [doi]
- Logical AlgorithmsHarald Ganzinger, David A. McAllester. 209-223 [doi]
- Logical LoopsJoachim Schimpf. 224-238 [doi]
- Learning in Logic with RichPrologEric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan. 239-254 [doi]
- Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation UnificationFrançois Bry, Sebastian Schaffert. 255-270 [doi]
- A Proof-Theoretic Foundation for Tabled Higher-Order Logic ProgrammingBrigitte Pientka. 271-286 [doi]
- Proving the Equivalence of CLP ProgramsSorin Craciunescu. 287-301 [doi]
- A Purely Logical Account of Sequentiality in Proof SearchPaola Bruscoli. 302-316 [doi]
- Disjunctive ExplanationsKatsumi Inoue, Chiaki Sakama. 317-332 [doi]
- Reasoning with Infinite Stable Models II: Disjunctive ProgramsPiero A. Bonatti. 333-346 [doi]
- Computing Stable Models: Worst-Case Performance EstimatesZbigniew Lonc, Miroslaw Truszczynski. 347-362 [doi]
- Towards Local Search for Answer SetsYannis Dimopoulos, Andreas Sideris. 363-377 [doi]
- A Rewriting Method for Well-Founded Semantics with Explicit NegationPedro Cabalar. 378-392 [doi]
- Embedding Defeasible Logic into Logic ProgramsGrigoris Antoniou, Michael J. Maher. 393-404 [doi]
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary ReportDavid Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran. 405-420 [doi]
- Using Logic Programming to Detect Activities in Pervasive HealthcareHenrik Bærbak Christensen. 421-436 [doi]
- Logic Programming for Software Engineering: A Second ChanceKung-Kiu Lau, Michel Vanden Bossche. 437-451 [doi]
- A Logic-Based System for Application IntegrationTamás Benkö, Péter Krauth, Péter Szeredi. 452-466 [doi]
- The Limits of Horn Logic ProgramsShilong Ma, Yuefei Sui, Ke Xu. 467 [doi]
- Multi-adjoint Logic Programming: A Neural Net ApproachJesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego. 468 [doi]
- Fuzzy Prolog: A Simple General Implementation Using CLP(R)Claudio Vaucheret, Sergio Guadarrama, Susana Muñoz-Hernández. 469 [doi]
- Automated Analysis of CLP(FD) Program Execution TracesMireille Ducassé, Ludovic Langevine. 470-471 [doi]
- Schema-Based Transformations of Logic Programs in lambda-PrologPetr Olmer, Petr Stepánek. 472 [doi]
- Non-uniform Hypothesis in Deductive Databases with UncertaintyYann Loyer, Umberto Straccia. 473-474 [doi]
- Probabilistic Finite Domains: A Brief OverviewNicos Angelopoulos. 475 [doi]
- Modelling Multi-agent Reactive SystemsPrahladavaradan Sampath. 476 [doi]
- Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic ProgrammingHisashi Hayashi, Kenta Cho, Akihiko Ohsuga. 477 [doi]
- A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPsGérard Ferrand, Arnaud Lallouet. 478-479 [doi]
- TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLPEmmanuel Coquery, François Fages. 480 [doi]
- Logical Grammars Based on Constraint Handling RulesHenning Christiansen. 481 [doi]
- Debugging in A-Prolog: A Logical ApproachMauricio Osorio, Juan A. Navarro, José Arrazola. 482-483 [doi]