Abstract is missing.
- Axiomatic Foundations of Acceptability SemanticsLeila Amgoud, Jonathan Ben-Naim. 2-11 [doi]
- Ranking Arguments With Compensation-Based SemanticsLeila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic. 12-21 [doi]
- Characterizing Equivalence Notions for Labelling-Based SemanticsRingo Baumann. 22-32 [doi]
- Merging of Abstract Argumentation FrameworksJérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran. 33-42 [doi]
- On the Functional Completeness of Argumentation SemanticsMassimiliano Giacomin, Thomas Linsbichler, Stefan Woltran. 43-52 [doi]
- On Partial Information and Contradictions in Probabilistic Abstract ArgumentationAnthony Hunter, Matthias Thimm. 53-62 [doi]
- Discontinuity-Free Decision Support with Quantitative Argumentation DebatesAntonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni. 63-73 [doi]
- Declarative Solver Development: Case StudiesBart Bogaerts, Tomi Janhunen, Shahab Tasharrofi. 74-83 [doi]
- A MIS Partition Based Framework for Measuring InconsistencySaïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi. 84-93 [doi]
- PP-Complete Problems Using Knowledge CompilationUmut Oztok, Arthur Choi, Adnan Darwiche. 94-103 [doi]
- Implicit Hitting Set Algorithms for Reasoning Beyond NPPaul Saikko, Johannes Peter Wallner, Matti Järvisalo. 104-113 [doi]
- Some Complexity Results on Inconsistency MeasurementMatthias Thimm, Johannes Peter Wallner. 114-124 [doi]
- Consolidating Probabilistic Knowledge Bases via Belief ContractionGlauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann. 125-134 [doi]
- The Ultimate Guide to Forgetting in Answer Set ProgrammingRicardo Gonçalves 0001, Matthias Knorr, João Leite. 135-144 [doi]
- Weighted Rules under the Stable Model SemanticsJoohyung Lee, Yi Wang. 145-154 [doi]
- Preference and Priorities: A Study Based on ContrctionMarlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer. 155-165 [doi]
- Boolean Hedonic GamesHaris Aziz, Paul Harrenstein, Jérôme Lang, Michael Wooldridge. 166-175 [doi]
- Succinctness of Languages for Judgment AggregationUlle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang. 176-186 [doi]
- Extending Consequence-Based Reasoning to SRIQAndrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks. 187-196 [doi]
- Query-Based Comparison of Mappings in Ontology-Based Data AccessMeghyn Bienvenu, Riccardo Rosati. 197-206 [doi]
- Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description LogicsPierre Bourhis, Carsten Lutz. 207-216 [doi]
- Limiting Logical Violations in Ontology Alignnment Through NegotiationErnesto Jiménez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina A. M. Tamma. 217-226 [doi]
- Anti-Unification of Concepts in Description Logic ELBoris Konev, Temur Kutsia. 227-236 [doi]
- Closed Predicates in Description Logics: Results on Combined ComplexityNhung Ngo, Magdalena Ortiz, Mantas Simkus. 237-246 [doi]
- Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description LogicsSebastian Rudolph. 247-257 [doi]
- Prompt Alternating-Time Epistemic LogicsBenjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger. 258-267 [doi]
- Building Epistemic Logic from Observations and Public AnnouncementsTristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber. 268-277 [doi]
- Sequential Equilibrium in Games of Imperfect RecallJoseph Y. Halpern, Rafael Pass. 278-287 [doi]
- Decidable Reasoning in a Logic of Limited Belief with Function SymbolsGerhard Lakemeyer, Hector J. Levesque. 288-297 [doi]
- Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular ExpressionsAlessio Lomuscio, Jakub Michaliszyn. 298-308 [doi]
- Bisimulations on Data GraphsSergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira. 309-318 [doi]
- On Referring Expressions in Query Answering over First Order Knowledge BasesAlexander Borgida, David Toman, Grant E. Weddell. 319-328 [doi]
- Regular Open APIsDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. 329-338 [doi]
- Open-World Probabilistic DatabasesIsmail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck. 339-348 [doi]
- Approximations and Refinements of Certain Answers via Many-Valued LogicsMarco Console, Paolo Guagliardo, Leonid Libkin. 349-358 [doi]
- Generalized Consistent Query Answering under Existential RulesThomas Eiter, Thomas Lukasiewicz, Livia Predoiu. 359-368 [doi]
- On Expressibility of Non-Monotone Operators in SPARQLRoman Kontchakov, Egor V. Kostylev. 369-379 [doi]
- Foundations for Generalized Planning in Unbounded Stochastic DomainsVaishak Belle, Hector J. Levesque. 380-389 [doi]
- Imperfect Information in Reactive Modules GamesJulian Gutierrez, Giuseppe Perelli, Michael Wooldridge. 390-400 [doi]
- On Logics and Semantics of Indeterminate CausationAlexander Bochman. 401-410 [doi]
- On First-Order μ-Calculus over Situation Calculus Action TheoriesDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. 411-420 [doi]
- Commonsense Causal Reasoning between Short TextsZhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-won Hwang, Zhongyuan Wang. 421-431 [doi]
- A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint NetworksJean-François Condotta, Issam Nouaouri, Michael Sioutis. 432-442 [doi]
- Quantifying Conflicts for Spatial and Temporal InformationJean-François Condotta, Badran Raddaoui, Yakoub Salhi. 443-452 [doi]
- Parameterized Complexity Results for Symbolic Model Checking of Temporal LogicsRonald de Haan, Stefan Szeider. 453-462 [doi]
- Encoding Large RCC8 Scenarios Using Rectangular Pseudo-SolutionsZhiguo Long, Steven Schockaert, Sanjiang Li. 463-472 [doi]
- Model Checking Well-Behaved Fragments of HS: The (Almost) Final PictureAlberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. 473-483 [doi]
- Bayesian Deduction with Subjective OpinionsMagdalena Ivanovska, Audun Jøsang, Francesco Sambo. 484-493 [doi]
- Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable EliminationThomas Lukasiewicz, Maria Vanina Martinez, David Poole, Gerardo Ignacio Simari. 494-504 [doi]
- Unsupervised Grounding of Textual Descriptions of Object Features and Actions in VideoMuhannad Alomari, Eris Chinellato, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn. 505-508 [doi]
- Argumentative Approaches to Reasoning with Maximal ConsistencyOfer Arieli, Christian Straßer. 509-512 [doi]
- A General Modifier-Based Framework for Inconsistency-Tolerant Query AnsweringJean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia. 513-516 [doi]
- Online Situation-Determined Agents and their SupervisionBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. 517-520 [doi]
- On the Justification of Statements in Argumentation-based ReasoningPietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret. 521-524 [doi]
- An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation FormalismsRingo Baumann, Hannes Strass. 525-528 [doi]
- Negation Without Negation in Probabilistic Logic ProgrammingDavid Buchman, David Poole. 529-532 [doi]
- An Analysis of the Equational Properties of the Well-Founded Fixed PointArnaud Carayol, Zoltán Ésik. 533-536 [doi]
- Using Defeasible Information to Obtain CoherenceGiovanni Casini, Thomas Andreas Meyer. 537-540 [doi]
- jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation FrameworksFederico Cerutti, Mauro Vallati, Massimiliano Giacomin. 541-544 [doi]
- Guiding Planning Engines by Transition-Based Domain Control KnowledgeLukás Chrpa, Roman Barták. 545-548 [doi]
- Abstract Argumentation for Case-Based ReasoningKristijonas Cyras, Ken Satoh, Francesca Toni. 549-552 [doi]
- ABA+: Assumption-Based Argumentation with PreferencesKristijonas Cyras, Francesca Toni. 553-556 [doi]
- Knowledge Graph Embedding by Flexible TranslationJun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu. 557-560 [doi]
- Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level LanguageSeyed Mehran Kazemi, David Poole. 561-564 [doi]
- Infinite Paths in the Situation Calculus: Axiomatization and PropertiesShakil M. Khan 0001, Yves Lespérance. 565-568 [doi]
- Expressive Description Logic with Instantiation MetamodellingPetra Kubincová, Jan Kluka, Martin Homola. 569-572 [doi]
- Easy OWL Drawing with the Graphol Visual Ontology LanguageDomenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo. 573-576 [doi]
- A Higher-Order Semantics for Metaquerying in OWL 2 QLMaurizio Lenzerini, Lorenzo Lepore, Antonella Poggi. 577-580 [doi]
- Using Metric Temporal Logic to Specify Scheduling ProblemsRoy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith. 581-584 [doi]
- Complexity of the Description Logic ALCMMonica Martinez, Edelweis Rohrer, Paula Severi. 585-588 [doi]
- Minimality Postulates for Ontology RevisionOezguer Luetfue Oezcep. 589-592 [doi]
- A Multi-Aspect Evaluation Framework for Comments on the Social WebTheodore Patkos, Antonis Bikakis, Giorgos Flouris. 593-596 [doi]
- Cognitive Affordance Representations in Uncertain LogicVasanth Sarathy, Matthias Scheutz. 597-600 [doi]
- Representative Solutions for Multi-Objective Constraint Optimization ProblemsNicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue. 601-604 [doi]
- Reasoning about Truthfulness of Agents Using Answer Set ProgrammingTran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini. 605-608 [doi]