Abstract is missing.
- Experiences Using Logic Programming in BioinformaticsChris Mungall. 1-21 [doi]
- From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and ReusePaulo Moura. 23 [doi]
- Generative Modeling by PRISMTaisuke Sato. 24-35 [doi]
- Untangling Reverse Engineering with Logic and AbstractionAndy King. 37 [doi]
- (C)LP Tracing and DebuggingMireille Ducassé. 38 [doi]
- Probabilistic Logic Learning - A Tutorial AbstractLuc De Raedt. 39 [doi]
- Using Histograms to Better Answer Queries to Probabilistic Logic ProgramsMatthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian. 40-54 [doi]
- Non-discriminating Arguments and Their UsesHenning Christiansen, John P. Gallagher. 55-69 [doi]
- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence AnalysisHenning Christiansen, Ole Torp Lassen. 70-83 [doi]
- Stabilization of Information Sharing for Queries Answering in Multiagent SystemsPhan Minh Dung, Do Duc Hanh, Phan Minh Thang. 84-98 [doi]
- Logic Programming for Multiagent Planning with NegotiationTran Cao Son, Enrico Pontelli, Chiaki Sakama. 99-114 [doi]
- Answer Set Programming with Constraints Using Lazy GroundingAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. 115-129 [doi]
- Computing Loops with at Most One External Support Rule for Disjunctive Logic ProgramsXiaoping Chen, Jianmin Ji, Fangzhen Lin. 130-144 [doi]
- Modular Nonmonotonic Logic Programming RevisitedMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. 145-159 [doi]
- Merging Logic Programs under Answer Set SemanticsJames P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran. 160-174 [doi]
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic ProgramsMiroslaw Truszczynski. 175-189 [doi]
- A Tabling Implementation Based on Variables with Multiple BindingsPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo. 190-204 [doi]
- A Term-Based Global Trie for Tabled Logic ProgramsJorge Costa, João Raimundo, Ricardo Rocha. 205-219 [doi]
- A New Approach to Non-termination Analysis of Logic ProgramsDean Voets, Danny De Schreye. 220-234 [doi]
- Constraint Answer Set SolvingMartin Gebser, Max Ostrowski, Torsten Schaub. 235-249 [doi]
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP SolversMartin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. 250-264 [doi]
- A Language for Large Ensembles of Independently Executing NodesMichael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell. 265-280 [doi]
- Integrating Software Testing and Run-Time Checking in an Assertion Verification FrameworkEdison Mera, Pedro López-GarcÃa, Manuel V. Hermenegildo. 281-295 [doi]
- Debugging for Model ExpansionJohan Wittocx, Hanne Vlaeminck, Marc Denecker. 296-311 [doi]
- Metabolic Network Expansion with Answer Set ProgrammingTorsten Schaub, Sven Thiele. 312-326 [doi]
- Answer Set Programming for Single-Player Games in General Game PlayingMichael Thielscher. 327-341 [doi]
- Finding Similar or Diverse Solutions in Answer Set ProgrammingThomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink. 342-356 [doi]
- Attributed Data for CHR IndexingBeata Sarna-Starosta, Tom Schrijvers. 357-371 [doi]
- User Defined IndexingDavid Vaz, VÃtor Santos Costa, Michel Ferreira. 372-386 [doi]
- Integration of Abductive Reasoning and Constraint Optimization in SCIFFMarco Gavanelli, Marco Alberti, Evelina Lamma. 387-401 [doi]
- Encoding Table Constraints in CLP(FD) Based on Pair-Wise ACNeng-Fa Zhou. 402-416 [doi]
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint ProgrammingThomas Hildebrandt, Hugo A. López. 417-431 [doi]
- Logic Programming with Defaults and Argumentation TheoriesHui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang. 432-448 [doi]
- Qualified Computations in Functional Logic ProgrammingRafael Caballero, Mario RodrÃguez-Artalejo, Carlos A. Romero-DÃaz. 449-463 [doi]
- Logic Programs under Three-Valued Lukasiewicz SemanticsSteffen Hölldobler, Carroline Dewi Puspa Kencana Ramli. 464-478 [doi]
- Execution Control for CHRLeslie De Koninck. 479-483 [doi]
- Demand-Driven Normalisation for ACD Term RewritingLeslie De Koninck, Gregory J. Duck, Peter J. Stuckey. 484-488 [doi]
- One More Decidable Class of Finitely Ground ProgramsYuliya Lierler, Vladimir Lifschitz. 489-493 [doi]
- Optimizing Compilation and Computational Complexity of Constraint Handling RulesJon Sneyers. 494-498 [doi]
- Proving Termination by Invariance RelationsPaolo Pilozzi, Danny De Schreye. 499-503 [doi]
- Automating Termination Proofs for CHRPaolo Pilozzi, Danny De Schreye. 504-508 [doi]
- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent SystemsJesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia. 509-513 [doi]
- An Engine for Computing Well-Founded ModelsTerrance Swift. 514-518 [doi]
- Incremental Answer Completion in the SLG-WAMTerrance Swift, Alexandre Miguel Pinto, LuÃs Moniz Pereira. 519-524 [doi]
- Research Summary: Logic Programming for Massively Distributed SystemsMichael P. Ashley-Rollman. 527-529 [doi]
- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per InequalityChendong Li. 530-531 [doi]
- Research SummaryJianmin Ji. 532-533 [doi]
- Research Summary: Termination of CHRPaolo Pilozzi. 534-535 [doi]
- Research Summary: Intelligent Natural Language Processing Techniques and ToolsAlessio Paolucci. 536-537 [doi]
- Stochastic Reasoning with Models of Agent BehaviorGerardo I. Simari. 538-539 [doi]
- Research SummaryFrank Raiser. 540-541 [doi]
- Modular Action Language ::::ALM::::{/cal ALM}Daniela Inclezan. 542-543 [doi]
- Answering Questions from Natural Language Using A-PrologYana Todorova. 544-546 [doi]
- Belief Logic ProgrammingHui Wan. 547-548 [doi]
- Logic-Statistic Models with Constraints for Biological Sequence AnalysisChristian Theil Have. 549-550 [doi]
- Fusion of Logic Programming and Description LogicsMantas Simkus. 551-552 [doi]
- Research Summary: Non-termination Analysis of Logic ProgramsDean Voets. 553-554 [doi]
- Study of Random Logic ProgramsGayathri Namasivayam. 555-556 [doi]
- Locally Distributed Predicates: A Programming Facility for Distributed State DetectionMichael De Rosa. 557-558 [doi]
- Capturing Fair Computations on Concurrent Constraint LanguagePaola Campli, Stefano Bistarelli. 559-560 [doi]
- Constraint Based Languages for Biological ReactionsMarco Bottalico, Stefano Bistarelli. 561-562 [doi]