Abstract is missing.
- Achieving Type Safety for Low-Level CodeJ. Gregory Morrisett. 1-2 [doi]
- Logic Information Systems for Logic ProgrammersOlivier Ridoux. 3-19 [doi]
- A Logic Programming View of Authorization in Distributed SystemsWilliam H. Winsborough. 20-46 [doi]
- Compositional Verification of Infinite State SystemsGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo. 47-48 [doi]
- A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing MethodsRolf Backofen, Sebastian Will. 49-71 [doi]
- Concurrency, Time, and ConstraintsFrank D. Valencia. 72-101 [doi]
- Symbolic Model-Checking for Biochemical SystemsFrançois Fages. 102 [doi]
- Component-Based Software Development and Logic ProgrammingKung-Kiu Lau. 103-108 [doi]
- A Tutorial on Proof Theoretic Foundations of Logic ProgrammingPaola Bruscoli, Alessio Guglielmi. 109-127 [doi]
- Objective: In Minimum ContextSalvador Abreu, Daniel Diaz. 128-147 [doi]
- Handling Existential Derived Predicates in View UpdatingCarles Farré, Ernest Teniente, Toni Urpí. 148-162 [doi]
- Efficient Evaluation of Logic Programs for Querying Data Integration SystemsThomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo. 163-177 [doi]
- Argumentation DatabasesShekhar Pradhan. 178-193 [doi]
- Order and Negation as FailureDavy Van Nieuwenborgh, Dirk Vermeir. 194-208 [doi]
- Computing Minimal Models, Stable Models, and Answer SetsZbigniew Lonc, Miroslaw Truszczynski. 209-223 [doi]
- Uniform Equivalence of Logic Programs under the Stable Model SemanticsThomas Eiter, Michael Fink. 224-238 [doi]
- Answer Set Programming Phase Transition: A Study on Randomly Generated ProgramsYuting Zhao, Fangzhen Lin. 239-253 [doi]
- Termination Analysis with Types Is More AccurateVitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey. 254-268 [doi]
- A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient ImplementationLudovic Langevine, Mireille Ducassé, Pierre Deransart. 269-283 [doi]
- Intensional Sets in CLPAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. 284-299 [doi]
- Implementing Constraint Propagation by Composition of ReductionsLaurent Granvilliers, Eric Monfroy. 300-314 [doi]
- Forward versus Backward Verification of Logic ProgramsAndy King, Lunjin Lu. 315-330 [doi]
- Native Preemptive Threads in SWI-PrologJan Wielemaker. 331-345 [doi]
- Flow Java: Declarative Concurrency for JavaFrej Drejhammar, Christian Schulte, Per Brand, Seif Haridi. 346-360 [doi]
- On the Complexity of Dependent And-Parallelism in Logic ProgrammingYao Wu, Enrico Pontelli, Desh Ranjan. 361-376 [doi]
- Higher-Order Substitution Tree IndexingBrigitte Pientka. 377-391 [doi]
- Incremental Evaluation of Tabled Logic ProgramsDiptikalyan Saha, C. R. Ramakrishnan. 392-406 [doi]
- On Deterministic Computations in the Extended Andorra ModelRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva. 407-421 [doi]
- Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTLFrank D. Valencia. 422-437 [doi]
- Is There an Optimal Generic Semantics for First-Order Equations?Jan-Georg Smaus. 438-450 [doi]
- Loop Formulas for Disjunctive Logic ProgramsJoohyung Lee, Vladimir Lifschitz. 451-465 [doi]
- Default Knowledge in Logic Programs with UncertaintyYann Loyer, Umberto Straccia. 466-480 [doi]
- A Generic Persistence Model for (C)LP SystemsJesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo. 481-482 [doi]
- Definitions in Answer Set Programming: (Extended Abstract)Selim T. Erdogan, Vladimir Lifschitz. 483-484 [doi]
- A New Mode Declaration for Tabled PredicatesHai-Feng Guo, Gopal Gupta. 485-486 [doi]
- Adding the Temporal Relations in Semantic Web OntologiesKwanho Jung, Hyunjang Kong, Junho Choi, Yoo-Jin Moon, PanKoo Kim. 487-488 [doi]
- Polynomial-Time Learnability from EntailmentM. R. K. Krishna Rao. 489-491 [doi]
- Integration of Semantic Networks for Corpus-Based Word Sense DisambiguationYoo-Jin Moon, Kyongho Min, Youngho Hwang, PanKoo Kim. 492-493 [doi]
- Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web AgentsAlexei A. Morozov. 494-495 [doi]
- A Real Implementation for Constructive NegationSusana Muñoz-Hernández, Juan José Moreno-Navarro. 496-497 [doi]
- Simulating Security Systems Based on LogigramsKaninda Musumbu. 498-499 [doi]
- Online Justification for Tabled Logic ProgramsGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan. 500-501 [doi]
- Inducing Musical Rules with ILPRafael Ramirez. 502-504 [doi]
- A Distinct-Head Folding RuleDavid A. Rosenblueth. 505-506 [doi]
- Termination Analysis of Logic Programs: Extended AbstractAlexander Serebrenik. 507-508 [doi]
- Refactoring Logic Programs: Extended AbstractAlexander Serebrenik, Bart Demoen. 509-510 [doi]
- Termination of Logic Programs for Various Dynamic Selection RulesJan-Georg Smaus. 511-512 [doi]
- Adding Preferences to Answer Set PlanningTran Cao Son, Enrico Pontelli. 513-514 [doi]
- Controlling Semi-automatic Systems with FLUXMichael Thielscher. 515-516 [doi]
- The Language Model LMNtalKazunori Ueda, Norio Kato. 517-518 [doi]