Abstract is missing.
- Nonmonotonic Tools for ArgumentationGerhard Brewka. 1-6 [doi]
- Relax, Compensate and Then Recover: A Theory of Anytime, Approximate InferenceAdnan Darwiche. 7-9 [doi]
- Counter Systems for Data LogicsStéphane Demri. 10 [doi]
- Similarity-Based Inconsistency-Tolerant LogicsOfer Arieli, Anna Zamansky. 11-23 [doi]
- Decomposition of Distributed Nonmonotonic Multi-Context SystemsSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. 24-37 [doi]
- Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered BasesSalem Benferhat, Sylvain Lagrue, Safa Yahi. 38-50 [doi]
- A Decidable Constructive Description LogicLoris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. 51-63 [doi]
- A Normal Form for Linear Temporal Equilibrium LogicPedro Cabalar. 64-76 [doi]
- Rational Closure for Defeasible Description LogicsGiovanni Casini, Umberto Straccia. 77-90 [doi]
- Extensional Higher-Order Logic ProgrammingAngelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, William W. Wadge. 91-103 [doi]
- dl2asp: Implementing Default Logic via Answer Set ProgrammingYin Chen, Hai Wan, Yan Zhang, Yi Zhou. 104-116 [doi]
- Sets of Boolean Connectives That Make Argumentation EasierNadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran. 117-129 [doi]
- Retroactive Subsumption-Based Tabled Evaluation of Logic ProgramsFlávio Cruz, Ricardo Rocha. 130-142 [doi]
- Preference-Based Inconsistency Assessment in Multi-Context SystemsThomas Eiter, Michael Fink, Antonius Weinzierl. 143-155 [doi]
- A Logical Semantics for Description Logic ProgramsMichael Fink, David Pearce. 156-168 [doi]
- An Incremental Answer Set Programming Based System for Finite ModelComputationMartin Gebser, Orkunt Sabuncu, Torsten Schaub. 169-181 [doi]
- Parametrized Logic ProgrammingRicardo Gonçalves, José Júlio Alferes. 182-194 [doi]
- Counterexample Guided Abstraction Refinement Algorithm for Propositional CircumscriptionMikolás Janota, Radu Grigore, João Marques-Silva. 195-207 [doi]
- ::::ALC::::::::::ALC::::::: A Context Description LogicSzymon Klarman, Víctor Gutiérrez-Basulto. 208-220 [doi]
- Stable Belief Sets RevisitedCostas D. Koutras, Yorgos Zikos. 221-233 [doi]
- Efficient Inferencing for OWL ELMarkus Krötzsch. 234-246 [doi]
- Translating First-Order Causal Theories into Answer Set ProgrammingVladimir Lifschitz, Fangkai Yang. 247-259 [doi]
- Preprocessing Boolean Formulae for BDDs in a Probabilistic ContextTheofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, Gerda Janssens. 260-272 [doi]
- Minimal Knowledge and Belief via Minimal TopologyDavid Pearce, Levan Uridia. 273-285 [doi]
- A Logical Account of LyingChiaki Sakama, Martin Caminada, Andreas Herzig. 286-299 [doi]
- Tabling with Answer Subsumption: Implementation, Applications and PerformanceTerrance Swift, David Scott Warren. 300-312 [doi]
- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-LogicJoost Vennekens, Maurice Bruynooghe, Marc Denecker. 313-325 [doi]
- An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability ProblemsHanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe. 326-338 [doi]
- Horn Contraction via Epistemic EntrenchmentZhi Qiang Zhuang, Maurice Pagnucco. 339-351 [doi]
- The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsSeif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. 352-355 [doi]
- The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsMarkus Bögl, Thomas Eiter, Michael Fink, Peter Schüller. 356-359 [doi]
- Coala: A Compiler from Action Languages to ASPMartin Gebser, Torsten Grote, Torsten Schaub. 360-364 [doi]
- DLV:::::::MC:::::::: Enhanced Model Checking in DLVMarco Maratea, Francesco Ricca, Pierfrancesco Veltri. 365-368 [doi]
- A Dynamic-Programming Based ASP-SolverMichael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran. 369-372 [doi]