Abstract is missing.
- SAT, SMT and ApplicationsArmin Biere. 1 [doi]
- Logic-Based Modeling in Systems BiologyAlexander Bockmayr. 2 [doi]
- Integrating Answer Set Programming and Satisfiability Modulo TheoriesIlkka Niemelä. 3 [doi]
- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASPMarcello Balduccini. 4-16 [doi]
- Splitting a CR-Prolog ProgramMarcello Balduccini. 17-29 [doi]
- Contextual Argumentation in Ambient IntelligenceAntonis Bikakis, Grigoris Antoniou. 30-43 [doi]
- Argumentation Context Systems: A Framework for Abstract Group ArgumentationGerhard Brewka, Thomas Eiter. 44-57 [doi]
- A Revised Concept of Safety for General Answer Set ProgramsPedro Cabalar, David Pearce, AgustÃn Valverde. 58-70 [doi]
- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive ProgramsFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. 71-86 [doi]
- Relevance-Driven Evaluation of Modular Nonmonotonic Logic ProgramsMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. 87-100 [doi]
- Complexity of the Stable Model Semantics for Queries on Incomplete DatabasesJos de Bruijn, Stijn Heymans. 101-114 [doi]
- A Deductive System for FO(ID) Based on Least Fixpoint LogicPing Hou, Marc Denecker. 129-141 [doi]
- Computing Stable Models via Reductions to Difference LogicTomi Janhunen, Ilkka Niemelä, Mark Sevalnev. 142-154 [doi]
- A Module-Based Framework for Multi-language Constraint ModelingMatti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä. 155-168 [doi]
- Induction on Failure: Learning Connected Horn TheoriesTim Kimber, Krysia Broda, Alessandra Russo. 169-181 [doi]
- On Reductive Semantics of Aggregates in Answer Set ProgrammingJoohyung Lee, Yunsong Meng. 182-195 [doi]
- A First Order Forward Chaining Approach for Answer Set ComputingClaire Lefèvre, Pascal Nicolas. 196-208 [doi]
- Knowledge Qualification through ArgumentationLoizos Michael, Antonis C. Kakas. 209-222 [doi]
- Simple Random Logic ProgramsGayathri Namasivayam, Miroslaw Truszczynski. 223-235 [doi]
- Max-ASP: Maximum Satisfiability of Answer Set ProgramsEmilia Oikarinen, Matti Järvisalo. 236-249 [doi]
- Belief Revision with Bounded TreewidthReinhard Pichler, Stefan Rümmele, Stefan Woltran. 250-263 [doi]
- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with ProjectionJörg Pührer, Hans Tompits. 264-276 [doi]
- A Default Approach to Semantics of Logic Programs with Constraint AtomsYi-Dong Shen, Jia-Huai You. 277-289 [doi]
- The Complexity of Circumscriptive Inference in Post s LatticeMichael Thomas. 290-302 [doi]
- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic ProgramsMiroslaw Truszczynski. 303-315 [doi]
- Belief Logic Programming: Uncertainty Reasoning with Correlation of EvidenceHui Wan, Michael Kifer. 316-328 [doi]
- Weight Constraint Programs with FunctionsYisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang. 329-341 [doi]
- Bridging the Gap between High-Level Reasoning and Low-Level ControlOzan Caldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu. 342-354 [doi]
- A General Approach to the Verification of Cryptographic Protocols Using Answer Set ProgrammingJames P. Delgrande, Torsten Grote, Aaron Hunter. 355-367 [doi]
- An ASP-Based System for e-TourismSalvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca. 368-381 [doi]
- ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment SolutionsJohannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran. 382-395 [doi]
- Translating Preferred Answer Set Programs to Propositional LogicVernon Asuncion, Yan Zhang. 396-401 [doi]
- CR-Prolog as a Specification Language for Constraint Satisfaction ProblemsMarcello Balduccini. 402-408 [doi]
- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using Chitta Baral, Tran Cao Son, Enrico Pontelli. 409-415 [doi]
- Computing Weighted Solutions in Answer Set ProgrammingDuygu Çakmak, Esra Erdem, Halit Erdogan. 416-422 [doi]
- Representing Multi-agent Planning in CLPAgostino Dovier, Andrea Formisano, Enrico Pontelli. 423-429 [doi]
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary ResultsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 430-436 [doi]
- AQL: A Query Language for Action Domains Modelled Using Answer Set ProgrammingLuke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget. 437-443 [doi]
- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate ProgramsGuohua Liu. 444-449 [doi]
- Layer Supported Models of Logic ProgramsLuÃs Moniz Pereira, Alexandre Miguel Pinto. 450-456 [doi]
- Applying ASP to UML Model ValidationMario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano. 457-463 [doi]
- The Logical Consequence Role in LPNMR: A Parameterized Computation ApproachMauricio Osorio, Simone Pascucci. 464-469 [doi]
- Social Default TheoriesChiaki Sakama. 470-476 [doi]
- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and SolverAnnamaria Bria, Wolfgang Faber, Nicola Leone. 477-482 [doi]
- An ASP System with Functions, Lists, and SetsFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. 483-489 [doi]
- A Simple Distributed Conflict-Driven Answer Set SolverEnrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor. 490-495 [doi]
- An Implementation of Belief Change Operations Based on Probabilistic Conditional LogicMarc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner. 496-501 [doi]
- On the Input Language of ASP Grounder GringoMartin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele. 502-508 [doi]
- The Conflict-Driven Answer Set Solver clasp: Progress ReportMartin Gebser, Benjamin Kaufmann, Torsten Schaub. 509-514 [doi]
- System f2lp - Computing Answer Sets of First-Order FormulasJoohyung Lee, Ravi Palla. 515-521 [doi]
- The First Version of a New ASP Solver : ASPeRiXClaire Lefèvre, Pascal Nicolas. 522-527 [doi]
- An ASP-Based Data Integration SystemNicola Leone, Francesco Ricca, Giorgio Terracina. 528-534 [doi]
- Gorgias-C: Extending Argumentation with Constraint SolvingVictor Noël, Antonis C. Kakas. 535-541 [doi]
- ANTON: Composing Logic and Logic ComposingGeorg Boenn, Martin Brain, Marina De Vos, John Fitch. 542-547 [doi]
- Modelling Normative Frameworks Using Answer Set ProgramingOwen Cliffe, Marina De Vos, Julian A. Padget. 548-553 [doi]
- Generating Optimal Code Using Answer Set ProgrammingTom Crick, Martin Brain, Marina De Vos, John Fitch. 554-559 [doi]
- Logic Programming Techniques in Protein Structure Determination: Methodologies and ResultsAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. 560-566 [doi]
- PHYLO-ASP: Phylogenetic Systematics with Answer Set ProgrammingEsra Erdem. 567-572 [doi]
- HAPLO-ASP: Haplotype Inference Using Answer Set ProgrammingEsra Erdem, Ozan Erdem, Ferhan Türe. 573-578 [doi]
- Using Answer Set Programming to Enhance Operating System DiscoveryFrançois Gagnon, Babak Esfandiari. 579-584 [doi]
- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI SystemAlessandra Mileo, Davide Merico, Roberto Bisiani. 585-590 [doi]
- Some DLV Applications for Knowledge ManagementGiovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca. 591-597 [doi]
- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel ProgramsHarold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub. 598-603 [doi]
- Optimal Multicore Scheduling: An Application of ASP TechniquesViren Kumar, James P. Delgrande. 604-609 [doi]
- From Data Integration towards Knowledge MediationGerhard Brewka, Thomas Eiter. 610-612 [doi]
- Integrating Answer Set Modules into Agent ProgramsStefania Costantini. 613-615 [doi]
- Using Lightweight Inference to Solve Lightweight ProblemsMarc Denecker, Joost Vennekens. 619-621 [doi]
- Present and Future Challenges for ASP SystemsAgostino Dovier, Enrico Pontelli. 622-624 [doi]
- ASP: The Future Is BrightMarina De Vos. 625-627 [doi]
- Exploiting ASP in Real-World Applications: Main Strengths and ChallengesNicola Leone. 628-630 [doi]
- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production ModeTorsten Schaub. 631-633 [doi]
- The Second Answer Set Programming CompetitionMarc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski. 637-654 [doi]