Abstract is missing.
- Efficient Dominance Testing for Unconditional PreferencesGanesh Ram Santhanam, Samik Basu, Vasant Honavar. [doi]
- Finding Explanations of Inconsistency in Multi-Context SystemsThomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl. [doi]
- Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set ProgrammingMartin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber. [doi]
- Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT SolversGuohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi. [doi]
- On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of InformationOfer Arieli. [doi]
- One Hundred Prisoners and a Lightbulb - Logic and ComputationHans P. van Ditmarsch, Jan van Eijck, William Wu. [doi]
- New Advances in Sequential DiagnosisSajjad Ahmed Siddiqi, Jinbo Huang. [doi]
- Paracoherent Answer Set ProgrammingThomas Eiter, Michael Fink, João Moura. [doi]
- Formalizing Psychological Knowledge in Answer Set ProgrammingMarcello Balduccini, Sara Girotto. [doi]
- An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-NetsMinyi Li, Quoc Bao Vo, Ryszard Kowalczyk. [doi]
- Set-Oriented Logical Connectives: Syntax and SemanticsStuart C. Shapiro. [doi]
- Characterizing Updates in Dynamic Epistemic LogicGuillaume Aucher. [doi]
- Independence and Functional Dependence Relations on SecretsRobert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp. [doi]
- Probabilistic Description Logics for Subjective UncertaintyCarsten Lutz, Lutz Schröder. [doi]
- Query and Predicate Emptiness in Description LogicsFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. [doi]
- Reasoning about Context in Ambient Intelligence Environments: A Report from the FieldGrigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis. [doi]
- Generalized Planning with Loops under Strong Fairness ConstraintsGiuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña. [doi]
- A Characterization of Optimality Criteria for Decision Making under Complete IgnoranceRamzi Ben Larbi, Sébastien Konieczny, Pierre Marquis. [doi]
- Taxonomy of Improvement Operators and the Problem of Minimal ChangeSébastien Konieczny, Mattia Medina Grespan, Ramón Pino Pérez. [doi]
- On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemAgata Ciabattoni, Pavel Rusnok. [doi]
- Forgetting RevisitedYan Zhang, Yi Zhou. [doi]
- The Temporal Logic of Token CausesSamantha Kleinberg, Bud Mishra. [doi]
- Modelling Combinatorial Auctions in Linear LogicDaniele Porello, Ulle Endriss. [doi]
- Distributed Nonmonotonic Multi-Context SystemsMinh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner. [doi]
- Understanding Ontological LevelsClaudio Masolo. [doi]
- State Defaults and Ramifications in the Unifying Action CalculusRingo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski. [doi]
- Reasoning with Logical ProportionsHenri Prade, Gilles Richard. [doi]
- Preferential Semantics for Plausible Subsumption in Possibility TheoryGuilin Qi, Zhizheng Zhang. [doi]
- From Preference Logics to Preference Languages, and BackMeghyn Bienvenu, Jérôme Lang, Nic Wilson. [doi]
- Improving Query Answering over DL-Lite OntologiesRiccardo Rosati, Alessandro Almatelli. [doi]
- Interpreting Topological Logics over Euclidean SpacesRoman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev. [doi]
- Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus. [doi]
- Diagnosis as Planning RevisitedShirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith. [doi]
- Horn Clause Contraction Functions: Belief Set and Belief Base ApproachesJames P. Delgrande, Renata Wassermann. [doi]
- Situation Calculus Based Programs for Representing and Reasoning about Game StructuresGiuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce. [doi]
- A Decidable Class of Groundable Formulas in the General Theory of Stable ModelsMichael Bartholomew, Joohyung Lee. [doi]
- Multi-Agent Only-Knowing RevisitedVaishak Belle, Gerhard Lakemeyer. [doi]
- Joint Revision of Beliefs and IntentionThomas Icard, Eric Pacuit, Yoav Shoham. [doi]
- Decomposing Description Logic OntologiesBoris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter. [doi]
- On the Complexity of Axiom Pinpointing in the EL Family of Description LogicsRafael Peñaloza, Baris Sertkaya. [doi]
- Maximally Paraconsistent Three-Valued LogicsOfer Arieli, Arnon Avron, Anna Zamansky. [doi]
- Pushing the Limits of Reasoning over Ontologies with Hidden ContentBernardo Cuenca Grau, Boris Motik. [doi]
- Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract)Chitta Baral. [doi]
- Decidability of a Description Logic over Infinite-Valued Product LogicMarco Cerami, Francesc Esteva, Félix Bou. [doi]
- Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic FilteringHannaneh Hajishirzi, Eyal Amir. [doi]
- Towards Runtime Support for Norm-Governed Multi-Agent SystemsVisara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis. [doi]
- Complexity of Propositional Abduction for Restricted Sets of Boolean FunctionsNadia Creignou, Johannes Schmidt, Michael Thomas. [doi]
- Towards a Logic of Feature-Based Semantic Science TheoriesDavid Poole. [doi]
- A Class of df-Consistencies for Qualitative Constraint NetworksJean-François Condotta, Christophe Lecoutre. [doi]
- Abstract Dialectical FrameworksGerhard Brewka, Stefan Woltran. [doi]
- Status QIO: Conjunctive Query Entailment Is DecidableBirte Glimm, Sebastian Rudolph. [doi]
- Novel Semantical Approaches to Relational Probabilistic ConditionalsGabriele Kern-Isberner, Matthias Thimm. [doi]
- Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and ReasoningLeonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel. [doi]
- The Combined Approach to Query Answering in DL-LiteRoman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev. [doi]
- The Modular Structure of an Ontology: An Empirical StudyBijan Parsia, Thomas Schneider 0002. [doi]
- Towards Fixed-Parameter Tractable Algorithms for ArgumentationWolfgang Dvorák, Reinhard Pichler, Stefan Woltran. [doi]
- On the Progression Semantics and Boundedness of Answer Set ProgramsYan Zhang, Yi Zhou. [doi]
- Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and ReasoningChitta Baral, Ian Horrocks, Yoav Shoham. [doi]
- Characterizing Strong Equivalence for Argumentation FrameworksEmilia Oikarinen, Stefan Woltran. [doi]
- Walking the Decidability Line for Rules with Existential VariablesJean-François Baget, Michel Leclère, Marie-Laure Mugnier. [doi]
- Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation FormalismsRonen I. Brafman, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh. [doi]
- A Correctness Result for Reasoning about One-Dimensional Planning ProblemsYuxiao Hu, Hector J. Levesque. [doi]
- Integrating Action Calculi and AgentSpeak: Closing the GapMichael Thielscher. [doi]
- A Logical Understanding of Legal InterpretationGuido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre. [doi]
- From Justifications Towards Proofs for Ontology EngineeringMatthew Horridge, Bijan Parsia. [doi]
- Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughReinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran. [doi]
- Revising General Knowledge Bases in Description LogicsZhe Wang, Kewen Wang, Rodney W. Topor. [doi]
- Interactions between Time and Knowledge in a First-order Logic for Multi-Agent SystemsFrancesco Belardinelli, Alessio Lomuscio. [doi]
- Ontologies for Dates and DurationMichael Grüninger. [doi]