Abstract is missing.
- Foundations of Fuzzy Logic and Semantic Web LanguagesUmberto Straccia. 1 [doi]
- A Generalized Commitment Machine for 2CL Protocols and its Prolog ImplementationMatteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti. 2-16 [doi]
- On the Elimination of Quantifiers through Descriptors in Predicate LogicDomenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo. 17-31 [doi]
- Using Prolog Unification to Solve Non-standard Reasoning Problems in Description LogicsSimona Colucci, Francesco M. Donini. 32-46 [doi]
- Preferences and Priorities in ASPStefania Costantini, Andrea Formisano. 47-58 [doi]
- Temporal Meta-Axioms in Logical AgentsStefania Costantini, Panagiota Tsintza. 59-73 [doi]
- Exploiting Unexploited Computing Resources for Computational LogicsAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. 74-88 [doi]
- Software Model Checking by Program SpecializationEmanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi. 89-103 [doi]
- Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and LimitsGilles Dowek, Murdoch James Gabbay. 104-118 [doi]
- Two Extensions of FOL Horn Clauses Comparison to Interpreted PredicatesStefano Ferilli, Teresa Maria Altomare Basile, Floriana Esposito. 119-133 [doi]
- An ASP Approach for the Valves Positioning Optimization in a Water Distribution SystemMarco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini. 134-148 [doi]
- Rank-Based Simulation on Acyclic GraphsRaffaella Gentilini, Carla Piazza, Alberto Policriti. 149-160 [doi]
- A Modal Reconstruction of Rational ClosureLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 161-175 [doi]
- Verification of Action Theories in ASP: A Complete Bounded Model Checking ApproachLaura Giordano, Alberto Martelli, Daniele Theseider Dupré. 176-190 [doi]
- Learning Terminological Bayesian Classifiers - A Comparison of Alternative Approaches to Dealing with Unknown Concept-MembershipsPasquale Minervini, Claudia d'Amato, Nicola Fanizzi. 191-205 [doi]
- Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and ExclusivenessFabrizio Riguzzi. 206-220 [doi]
- Probabilistic Ontologies in Datalog+/-Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma. 221-235 [doi]
- Extending ASPIDE with User-defined PluginsOnofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca. 236-240 [doi]
- The Epistemic Structure of de Finetti's Betting ProblemTommaso Flaminio, Hykel Hosni. 241-245 [doi]
- On Checking Domain IndependenceVolha Kerhet, Enrico Franconi. 246-250 [doi]