Abstract is missing.
- From Logic Programming to Argumentation and BackFrancesca Toni. 11 [doi]
- Tractable Approaches to Consistent Query Answering in Ontology-Based-Data AccessRiccardo Rosati. 12 [doi]
- Set Graphs VI: Logic Programming and BisimulationAgostino Dovier. 14-29 [doi]
- Exploiting Prolog for Projecting Agent Interaction ProtocolsDavide Ancona, Daniela Briola, Amal El Fallah-Seghrouchni, Viviana Mascardi, Patrick Taillibert. 30-45 [doi]
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau CalculiMauro Ferrari, Camillo Fiorentini, Guido Fiorino. 46-53 [doi]
- Multi-Criteria Optimal Planning for Energy Policies in CLPMarco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa Marengo, Paolo Cagnoli. 54-68 [doi]
- Query Answering in Resource-Based Answer Set SemanticsStefania Costantini, Andrea Formisano. 69-83 [doi]
- Specification and Verification of Commitment-Regulated Data-Aware Multiagent SystemsMarco Montali, Diego Calvanese, Giuseppe De Giacomo. 84-98 [doi]
- Toward an Improved Downward Refinement Operator for Inductive Logic ProgrammingStefano Ferilli. 99-113 [doi]
- Program Verification using Constraint Handling Rules and Array Constraint GeneralizationsEmanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. 114-131 [doi]
- Defeasibility in Contextual Reasoning with CKRLoris Bozzato, Thomas Eiter, Luciano Serafini. 132-146 [doi]
- A Mechanism for Ontology ConfidentialityPiero A. Bonatti, Luigi Sauro, Iliana Petrova. 147-161 [doi]
- Herbrand-Satisfiability of a Quantified Set-theoretical FragmentDomenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. 162-177 [doi]
- Semantic Web Services for Integrated Tourism in the Apulia RegionFrancesca Alessandra Lisi, Floriana Esposito. 178-193 [doi]
- A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal RelationDomenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska. 194-209 [doi]
- Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using AcyclicityMathew Joseph, Gabriel M. Kuper, Luciano Serafini. 210-224 [doi]
- Revising Description Logic Terminologies to Handle Exceptions: a First StepRoberto Micalizio, Gian Luca Pozzato. 225-240 [doi]
- Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent SystemsStefania Costantini, Giovanni De Gasperis. 241-255 [doi]
- Complex Events and Actions in Logical AgentsStefania Costantini, Régis Riveret. 256-271 [doi]
- Argumentation for Propositional Logic and Nonmonotonic ReasoningAntonis C. Kakas, Francesca Toni, Paolo Mancarella. 272-286 [doi]
- The Representation of Boolean Algebras in the Spotlight of a Proof CheckerRodica Ceterchi, Eugenio G. Omodeo, Alexandru I. Tomescu. 287-301 [doi]
- A Framework for the Verification of Parameterized Infinite-State SystemsFrancesco Alberti, Silvio Ghilardi, Natasha Sharygina. 303-308 [doi]
- On Relating Voting Systems and Argumentation FrameworksIrene Benedetti, Stefano Bistarelli, Paolo Piersanti. 309-313 [doi]
- A First Study of the Horn Fragment of the Modal Logic of Time IntervalsDavide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco. 314-318 [doi]
- Distributed Runtime Verification of JADE and Jason Multiagent Systems with PrologDaniela Briola, Viviana Mascardi, Davide Ancona. 319-323 [doi]
- Finding Commonalities in Linked Open DataSimona Colucci, Silvia Giannini, Francesco M. Donini, Eugenio Di Sciascio. 324-329 [doi]
- Keeping Interval-Based Functional Dependencies Up-to-DateCarlo Combi, Pietro Sala. 330-334 [doi]
- A Computational Model for Mapreduce Job FlowTommaso Di Noia, Marina Mongiello, Eugenio Di Sciascio. 335-340 [doi]
- Hyper-Extensionality and One-Node Elimination on Membership GraphsEugenio G. Omodeo, Carla Piazza, Alberto Policriti, Alexandru I. Tomescu. 341-346 [doi]