Abstract is missing.
- A Defeasible Reasoning System in Multi-Agent EnvironmentChiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh. 1-6
- Computational Logic: Memories of the Past and Challenges for the FutureJohn Alan Robinson. 1-24 [doi]
- Minimal Belief and Negation as Failure in Multi-Agent SystemRiccardo Rosati. 7-16
- Multi-dimensional Dynamic Logic ProgrammingJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira. 17-26
- ILP: Just Do ItDavid Page. 25-40 [doi]
- Dynamic Downloading of Communications Protocols Using a Logic Based Agent SystemTadashi Araragi, Kiyoshi Kogure. 27-34
- Expressing Collaborative and Competitive Coordination among AbductiveAnna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni. 35-43
- Databases and Higher TypesMelvin Fitting. 41-52 [doi]
- IMPACTing SHOP: Planning in a Multi-agent EnvironmentJürgen Dix, Héctor Muñoz-Avila, Dana S. Nau. 44-55
- A Denotational Semantics for First-Order LogicKrzysztof R. Apt. 53-69 [doi]
- A Plan Fusion Algorithm for Multi-Agent SystemsMathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen. 56-65
- On the Interplay between Reactivity and ComputationAntonio Brogi, Simone Contiero, Franco Turini. 66
- Logic, Knowledge Representation, and Bayesian Decision TheoryDavid Poole. 70-86 [doi]
- Logic Program Synthesis in a Higher-Order SettingDavid Lacey, Julian Richardson, Alan Smaill. 87-100 [doi]
- Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial DeductionMichael Leuschel, Helko Lehmann. 101-115 [doi]
- Binary Speed Up for Logic ProgramsJan Hruza, Petr Stepánek. 116-130 [doi]
- A New Module System for PrologDaniel Cabeza Gras, Manuel V. Hermenegildo. 131-148 [doi]
- Partial Models of Extended Generalized Logic ProgramsJosé Júlio Alferes, Heinrich Herre, Luís Moniz Pereira. 149-163 [doi]
- Alternating Fixpoint Theory for Logic Programs with PriorityKewen Wang, Lizhu Zhou, Fangzhen Lin. 164-178 [doi]
- Proving Failure in Functional Logic ProgramsFrancisco Javier López-Fraguas, Jaime Sánchez-Hernández. 179-193 [doi]
- Semantics of Input-Consuming Logic ProgramsAnnalisa Bossi, Sandro Etalle, Sabina Rossi. 194-208 [doi]
- A Denotational Semantics of Defeasible LogicMichael J. Maher. 209-222 [doi]
- Isoinitial Semantics for Logic ProgramsKung-Kiu Lau, Mario Ornaghi. 223-238 [doi]
- Abstract Syntax for Variable Binders: An OverviewDale Miller. 239-253 [doi]
- Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic LogicJames Harland, Tatjana Lutovac, Michael Winikoff. 254-268 [doi]
- Efficient EM Learning with Tabulation for Parameterized Logic ProgramsYoshitaka Kameya, Taisuke Sato. 269-284 [doi]
- Moder Generation Theorem Proving with Finite Interval ConstraintsReiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai. 285-299 [doi]
- Combining Mobile Processes and Declarative ProgrammingRachid Echahed, Wendelin Serwe. 300-314 [doi]
- Representing Trees with ConstraintsBen Curry, Geraint A. Wiggins, Gillian Hayes. 315-325 [doi]
- Dominance Constraints with Set OperatorsDenys Duchier, Joachim Niehren. 326-341 [doi]
- Better Communication for Tighter CooperationPetra Hofstedt. 342-358 [doi]
- Arc Consistency Algorithms via Iterations of Subsumed FunctionsRosella Gennari. 358-372 [doi]
- AVAL: An Enumerative Method for SATGilles Audemard, Belaid Benhamou, Pierre Siegel. 373-383 [doi]
- Constraint Logic Programming for Local and Symbolic Model-CheckingUlf Nilsson, Johan Lübcke. 384-398 [doi]
- A CLP Framework for Computing Structural Test DataArnaud Gotlieb, Bernard Botella, Michel Rueher. 399-413 [doi]
- Modelling Digital Circuits Problems with Set ConstraintsFrancisco Azevedo, Pedro Barahona. 414-428 [doi]
- Promoting Constraints to First-Class StatusTobias Müller. 429-447 [doi]
- Developing Finite Domain Constraints - A Data Model ApproachKit-ying Hui, Peter M. D. Gray. 448-462 [doi]
- Concurrent Constraint Programming with Process MobilityDavid Gilbert, Catuscia Palamidessi. 463-477 [doi]
- A System for Tabled Constraint Logic ProgrammingBaoqiu Cui, David Scott Warren. 478-492 [doi]
- Finding Tractable Formulas in NNFEdgar Altamirano, Gonzalo Escalada-Imaz. 493-507 [doi]
- The Taming of the (X)ORPeter Baumgartner, Fabio Massacci. 508-522 [doi]
- On an ::::omega::::-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTLRegimantas Pliuskevicius. 523-537 [doi]
- Representing Object CodeMarco Benini. 538-552 [doi]
- Towards an Efficient Tableau Method for Boolean Circuit Satisfiability CheckingTommi A. Junttila, Ilkka Niemelä. 553-567 [doi]
- Certification of Compiler Optimizations Using Kleene Algebra with TestsDexter Kozen, Maria-Christina Patron. 568-582 [doi]
- An Application of Model Building in a Resolution Decision Procedure for Guarded FormulasMichael Dierkes. 583-597 [doi]
- Model Checking for Timed Logic ProcessesSupratik Mukhopadhyay, Andreas Podelski. 598-612 [doi]
- Perfect Model Checking via Unfold/Fold TransformationsAlberto Pettorossi, Maurizio Proietti. 613-628 [doi]
- Automatic Derivation and Application of Induction Schemes for Mutually Recursive FunctionsRichard J. Boulton, Konrad Slind. 629-643 [doi]
- Proof Planning with Multiple StrategiesErica Melis, Andreas Meier. 644-659 [doi]
- The Theory of Total Unary RPO Is DecidablePaliath Narendran, Michaël Rusinowitch. 660-672 [doi]
- On the Problem of Computing the Well-Founded SemanticsZbigniew Lonc, Miroslaw Truszczynski. 673-687 [doi]
- Computing Equilibrium Models Using Signed FormulasDavid Pearce, Inman P. de Guzmán, Agustín Valverde. 688-702 [doi]
- Extending Classical Logic with Inductive DefinitionsMarc Denecker. 703-717 [doi]
- A Simple Characterization of Extended AbductionKatsumi Inoue. 718-732 [doi]
- A New Equational Foundation for the Fluent CalculusHans-Peter Störr, Michael Thielscher. 733-746 [doi]
- Solving the Entailment Problem in the Fluent Calculus Using Binary Decision DiagramsSteffen Hölldobler, Hans-Peter Störr. 747-761 [doi]
- Decidability Results for the Propositional Fluent CalculusHelko Lehmann, Michael Leuschel. 762-776 [doi]
- A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic ProgramsVincenzo Pallotta. 777-791 [doi]
- Default Reasoning with SpecificityPhan Minh Dung, Tran Cao Son. 792-806 [doi]
- Planning under Incomplete KnowledgeThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. 807-821 [doi]
- Wire Routing and Satisfiability PlanningEsra Erdem, Vladimir Lifschitz, Martin D. F. Wong. 822-836 [doi]
- Including Diagnostic Information in Configuration ModelsTommi Syrjänen. 837-851 [doi]
- Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic ProgramsTomi Janhunen. 852-866 [doi]
- On Complexity of Updates through Integrity ConstraintsMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov. 867-881 [doi]
- Computational Complexity of Planning Based on Partial Information about the System s Present and Past StatesChitta Baral, Le-Chi Tuan, Raul Trejo, Vladik Kreinovich. 882-896 [doi]
- Smallest Equivalent Sets for Finite Propositional Formula CircumscriptionYves Moinard, Raymond Rolland. 897-911 [doi]
- A Semantics for Persistency in Propositional Dynamic LogicJan Broersen, Roel Wieringa, John-Jules Ch. Meyer. 912-925 [doi]
- Applications of Annotated Predicate Calculus to Querying Inconsistent DatabasesMarcelo Arenas, Leopoldo E. Bertossi, Michael Kifer. 926-941 [doi]
- Querying Inconsistent Databases: Algorithms and ImplementationAlexander Celle, Leopoldo E. Bertossi. 942-956 [doi]
- On Verification in Logic Database LanguagesFrancesco Bonchi, Fosca Giannotti, Dino Pedreschi. 957-971 [doi]
- Mining Minimal Non-redundant Association Rules Using Frequent Closed ItemsetsYves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal. 972-986 [doi]
- Linearly Bounded Reformulations of Conjunctive DatabasesRada Chirkova, Michael R. Genesereth. 987-1001 [doi]
- MuTACLP: A Language for Declarative GIS AnalysisPaolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini. 1002-1016 [doi]
- Reasoning about Duplicate Elimination with Description LogicVitaliy L. Khizder, David Toman, Grant E. Weddell. 1017-1032 [doi]
- A File System Based on Concept AnalysisSébastien Ferré, Olivier Ridoux. 1033-1047 [doi]
- A Semantic Approach for Schema Evolution and Versioning in Object-Oriented DatabasesEnrico Franconi, Fabio Grandi, Federica Mandreoli. 1048-1062 [doi]
- SLDMagic - The Real Magic (With Applications to Web Queries)Stefan Brass. 1063-1077 [doi]
- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic EngineGuizhen Yang, Michael Kifer. 1078-1093 [doi]
- Design and Implementation of the Physical Layer in WebBases: The XRover ExperienceHasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan. 1094-1105 [doi]
- A Dynamic Approach to Termination Analysis for Active Database RulesJames Bailey, Alexandra Poulovassilis, Peter Newson. 1106-1120 [doi]
- Constraint-Based Termination Analysis for Cyclic Active Database RulesSaumya K. Debray, Timothy J. Hickey. 1121-1136 [doi]
- A Formal Model for an Expressive Fragment of XSLTGeert Jan Bex, Sebastian Maneth, Frank Neven. 1137-1151 [doi]
- On the Equivalence of XML PatternsPeter T. Wood. 1152-1166 [doi]
- Querying XML Specified WWW Sites: Links and Recursion in XML-GLBarbara Oliboni, Letizia Tanca. 1167-1181 [doi]
- A Heuristic Approach for Converting HTML Documents to XML DocumentsSeung Jin Lim, Yiu-Kai Ng. 1182-1196 [doi]
- Specification of an Active Database System Application Using Dynamic Relation NetsLaurent Allain, Pascal Yim. 1197-1209 [doi]
- Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active DatabasesMutsumi Nakamura, Chitta Baral. 1210-1224 [doi]
- Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External ObjectsPaul Tarau. 1225-1239 [doi]
- So Many WAM Variations, So Little TimeBart Demoen, Phuong-Lan Nguyen. 1240-1254 [doi]
- A Module Based Analysis for Memory Reuse in MercuryNancy Mazur, Gerda Janssens, Maurice Bruynooghe. 1255-1269 [doi]
- Model Checking in HALMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott. 1270-1284 [doi]
- The Impact of Cache Coherence Protocols on Parallel Logic Programming SystemsInês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini. 1285-1299 [doi]
- Data Protection by Logic ProgrammingSteve Barker. 1300-1314 [doi]
- A Deterministic Shift-Reduce Parser Generator for a Logic Programming LanguageChuck Liang. 1315-1329 [doi]
- A Logic Programming Application for the Analysis of Spanish VersePablo Gervás. 1330-1344 [doi]
- A Documentation Generator for (C)LP SystemsManuel V. Hermenegildo. 1345-1361 [doi]
- Psychiatric Diagnosis from the Viewpoint of Computational LogicJoseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira. 1362-1376 [doi]