Logic Programming and Nonmonotonic Reasoning

Contextual Argumentation in Ambient Intelligence

Pages 30-43

Bikakis, Antonis (et al.)

Argumentation Context Systems: A Framework for Abstract Group Argumentation

Pages 44-57

Brewka, Gerhard (et al.)

A Revised Concept of Safety for General Answer Set Programs

Pages 58-70

Cabalar, Pedro (et al.)

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

Pages 71-86

Calimeri, Francesco (et al.)

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Pages 87-100

Dao-Tran, Minh (et al.)

Complexity of the Stable Model Semantics for Queries on Incomplete Databases

Pages 101-114

Bruijn, Jos (et al.)

Manifold Answer-Set Programs for Meta-reasoning

Pages 115-128

Faber, Wolfgang (et al.)

A Deductive System for FO(ID) Based on Least Fixpoint Logic

Pages 129-141

Hou, Ping (et al.)

Computing Stable Models via Reductions to Difference Logic

Pages 142-154

Janhunen, Tomi (et al.)

A Module-Based Framework for Multi-language Constraint Modeling

Pages 155-168

Järvisalo, Matti (et al.)

Induction on Failure: Learning Connected Horn Theories

Pages 169-181

Kimber, Tim (et al.)

On Reductive Semantics of Aggregates in Answer Set Programming

Pages 182-195

Lee, Joohyung (et al.)

A First Order Forward Chaining Approach for Answer Set Computing

Pages 196-208

Lefèvre, Claire (et al.)

Knowledge Qualification through Argumentation

Pages 209-222

Michael, Loizos (et al.)

Simple Random Logic Programs

Pages 223-235

Namasivayam, Gayathri (et al.)

Max-ASP: Maximum Satisfiability of Answer Set Programs

Pages 236-249

Oikarinen, Emilia (et al.)

Belief Revision with Bounded Treewidth

Pages 250-263

Pichler, Reinhard (et al.)

Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection

Pages 264-276

Pührer, Jörg (et al.)

A Default Approach to Semantics of Logic Programs with Constraint Atoms

Pages 277-289

Shen, Yi-Dong (et al.)

The Complexity of Circumscriptive Inference in Post’s Lattice

Pages 290-302

Thomas, Michael

Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs

Pages 303-315

Truszczyński, Mirosław

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

Pages 316-328

Wan, Hui (et al.)

Weight Constraint Programs with Functions

Pages 329-341

Wang, Yisong (et al.)

Bridging the Gap between High-Level Reasoning and Low-Level Control

Pages 342-354

Caldiran, Ozan (et al.)

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming

Pages 355-367

Delgrande, James P. (et al.)

An ASP-Based System for e-Tourism

Pages 368-381

Ielpa, Salvatore Maria (et al.)

cc⊤ on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions

Pages 382-395

Oetsch, Johannes (et al.)

Translating Preferred Answer Set Programs to Propositional Logic

Pages 396-401

Asuncion, Vernon (et al.)

CR-Prolog as a Specification Language for Constraint Satisfaction Problems

Pages 402-408

Balduccini, Marcello

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using $\mathcal{C}$

Pages 409-415

Baral, Chitta (et al.)

Computing Weighted Solutions in Answer Set Programming

Pages 416-422

Çakmak, Duygu (et al.)

Representing Multi-agent Planning in CLP

Pages 423-429

Dovier, Agostino (et al.)

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

Pages 430-436

Giordano, Laura (et al.)

AQL: A Query Language for Action Domains Modelled Using Answer Set Programming

Pages 437-443

Hopton, Luke (et al.)

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs

Pages 444-449

Liu, Guohua

Layer Supported Models of Logic Programs

Pages 450-456

Moniz Pereira, Luís (et al.)

Applying ASP to UML Model Validation

Pages 457-463

Ornaghi, Mario (et al.)

The Logical Consequence Role in LPNMR: A Parameterized Computation Approach

Pages 464-469

Osorio Galindo, Mauricio (et al.)

Social Default Theories

Pages 470-476

Sakama, Chiaki

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver

Pages 477-482

Bria, Annamaria (et al.)

An ASP System with Functions, Lists, and Sets

Pages 483-489

Calimeri, Francesco (et al.)

A Simple Distributed Conflict-Driven Answer Set Solver

Pages 490-495

Ellguth, Enrico (et al.)

An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic

Pages 496-501

Finthammer, Marc (et al.)

On the Input Language of ASP Grounder Gringo

Pages 502-508

Gebser, Martin (et al.)

The Conflict-Driven Answer Set Solver clasp: Progress Report

Pages 509-514

Gebser, Martin (et al.)

System f2lp – Computing Answer Sets of First-Order Formulas

Pages 515-521

Lee, Joohyung (et al.)

The First Version of a New ASP Solver : ASPeRiX

Pages 522-527

Lefèvre, Claire (et al.)

An ASP-Based Data Integration System

Pages 528-534

Leone, Nicola (et al.)

Gorgias-C: Extending Argumentation with Constraint Solving

Pages 535-541

Noël, Victor (et al.)

ANTON: Composing Logic and Logic Composing

Pages 542-547

Boenn, Georg (et al.)

Modelling Normative Frameworks Using Answer Set Programing

Pages 548-553

Cliffe, Owen (et al.)

Generating Optimal Code Using Answer Set Programming

Pages 554-559

Crick, Tom (et al.)

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results

Pages 560-566

Palù, Alessandro (et al.)

PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming

Pages 567-572

Erdem, Esra

HAPLO-ASP: Haplotype Inference Using Answer Set Programming

Pages 573-578

Erdem, Esra (et al.)

Using Answer Set Programming to Enhance Operating System Discovery

Pages 579-584

Gagnon, François (et al.)

Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System

Pages 585-590

Mileo, Alessandra (et al.)

Some DLV Applications for Knowledge Management

Pages 591-597

Grasso, Giovanni (et al.)

Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs

Pages 598-603

Ishebabi, Harold (et al.)

Optimal Multicore Scheduling: An Application of ASP Techniques

Pages 604-609

Kumar, Viren (et al.)

From Data Integration towards Knowledge Mediation

Pages 610-612

Brewka, Gerhard (et al.)

Integrating Answer Set Modules into Agent Programs

Pages 613-615

Costantini, Stefania

What Next for ASP? (A Not-Entirely-Well-Informed Opinion)

Pages 616-618

Delgrande, James

Using Lightweight Inference to Solve Lightweight Problems

Pages 619-621

Denecker, Marc (et al.)

Present and Future Challenges for ASP Systems

Pages 622-624

Dovier, Agostino (et al.)

ASP: The Future Is Bright

Pages 625-627

Vos, Marina

Exploiting ASP in Real-World Applications: Main Strengths and Challenges

Pages 628-630

Leone, Nicola

Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

Pages 631-633

Schaub, Torsten

Towards an Embedded Approach to Declarative Problem Solving in ASP

Pages 634-636

You, Jia-Huai

The Second Answer Set Programming Competition

Pages 637-654

Denecker, Marc (et al.)