Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning
KR, 2012.

@proceedings{KR-2012,
	address       = "Rome, Italy",
	editor        = "Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith",
	isbn          = "978-1-57735-560-1",
	publisher     = "{AAAI Press}",
	title         = "{Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2012,
}

Contents (72 items)

13 ×#logic
9 ×#query
8 ×#reasoning
8 ×#set
8 ×#source code
6 ×#framework
6 ×#modelling
5 ×#ontology
5 ×#programming
4 ×#complexity

KR-2012-AdarichevaSST #complexity

Horn Belief Contraction: Remainders, Envelopes and Complexity (KVA, RHS, BS, GT).

KR-2012-ArenasBCRS #knowledge base #logic

Exchanging Description Logic Knowledge Bases (MA, EB, DC, VR, ES).

KR-2012-BaaderBM #towards #unification

Extending Unification in EL Towards General TBoxes (FB, SB, BM).

KR-2012-BackstromJ #abstraction

Abstracting Abstraction in Search with Applications to Planning (CB, PJ).

KR-2012-BahmaniBKL #declarative #dependence #set #source code

Declarative Entity Resolution via Matching Dependencies and Answer Set Programs (ZB, LEB, SK, LVSL).

KR-2012-BaralD #automation #how #learning #programming #set

Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).

KR-2012-BaralL #declarative #reasoning #representation

From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP (CB, SL).

KR-2012-BartholomewL #modelling

Stable Models of Formulas with Intensional Functions (MB, JL).

KR-2012-BelardinelliLP #abstraction #verification

An Abstraction Technique for the Verification of Artifact-Centric Systems (FB, AL, FP).

KR-2012-BienvenuLW #logic #query

Query Containment in Description Logics Reconsidered (MB, CL, FW).

KR-2012-BoothFKP #logic

Credibility-Limited Revision Operators in Propositional Logic (RB, EF, SK, RPP).

KR-2012-BordeauxJSM #on the #quantifier

On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).

KR-2012-BorgwardtP #fuzzy #logic

Undecidability of Fuzzy Description Logics (SB, RP).

KR-2012-BudanLCS #framework #modelling #reliability

Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).

KR-2012-CalvaneseOSS #complexity #query

The Complexity of Explaining Negative Query Answers in DL-Lite (DC, MO, MS, GS).

KR-2012-ChaudhriS #knowledge base #programming #reasoning #set #specification #using

Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming (VKC, TCS).

KR-2012-CohnRS #analysis #representation #video

Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).

KR-2012-ConitzerX #approach #approximate #multi

Paradoxes of Multiple Elections: An Approximation Approach (VC, LX).

KR-2012-Coste-MarquisKMO #framework

Weighted Attacks in Argumentation Frameworks (SCM, SK, PM, MAO).

KR-2012-CravenTCHW #performance

Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).

KR-2012-CreignouPPW #logic

Belief Revision within Fragments of Propositional Logic (NC, OP, RP, SW).

KR-2012-DelgrandeL

Belief Revision with Sensing and Fallible Actions (JPD, HJL).

KR-2012-DohertyKS #constraints

Temporal Composite Actions with Constraints (PD, JK, AS).

KR-2012-DuboisPS #logic #modelling

Stable Models in Generalized Possibilistic Logic (DD, HP, SS).

KR-2012-DvorakJWW

Complexity-Sensitive Decision Procedures for Abstract Argumentation (WD, MJ, JPW, SW).

KR-2012-EveraereKM #composition

Compositional Belief Merging (PE, SK, PM).

KR-2012-FaberTW #equivalence #optimisation #problem

Strong Equivalence of Qualitative Optimization Problems (WF, MT, SW).

KR-2012-FebbraroLGR #framework #java #named #programming #set

JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).

KR-2012-Feier #logic programming #reasoning #source code #worst-case

Worst-Case Optimal Reasoning with Forest Logic Programs (CF).

KR-2012-FelliGL #ltl #multi #protocol #specification

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments (PF, GDG, AL).

KR-2012-Fink #hybrid

Paraconsistent Hybrid Theories (MF).

KR-2012-GebserGKOSS #programming #reasoning #set

Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).

KR-2012-GiacomoLP #bound #calculus #decidability #verification

Bounded Situation Calculus Action Theories and Decidable Verification (GDG, YL, FP).

KR-2012-GiordanoMD #bound #model checking

Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).

KR-2012-GottlobS #datalog #ontology #query #recursion #source code

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).

KR-2012-GrastienHT #theory and practice

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).

KR-2012-GrauHKKMMW #logic #query

Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).

KR-2012-GrauJKZ #constraints #evolution #ontology #semantics

Ontology Evolution Under Semantic Constraints (BCG, EJR, EK, DZ).

KR-2012-Grossi #fixpoint

Fixpoints and Iterated Updates in Abstract Argumentation (DG).

KR-2012-HalpernK #ambiguity #difference

Ambiguous Language and Differences in Beliefs (JYH, WK).

KR-2012-HaufeT #automation #game studies #verification

Automated Verification of Epistemic Properties for General Game Playing (SH, MT).

KR-2012-HorridgePS #ontology

Justification Masking in Ontologies (MH, BP, US).

KR-2012-Huang #reasoning

Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning (JH).

KR-2012-Huang12a #constraints #simulation

Search Strategy Simulation in Constraint Booleanization (JH).

KR-2012-KazakovKS #logic #product line #reasoning

Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).

KR-2012-KikotKZ #owl #query

Conjunctive Query Answering with OWL 2 QL (SK, RK, MZ).

KR-2012-LacknerP #algorithm #modelling #parametricity

Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).

KR-2012-LakemeyerL #logic

Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).

KR-2012-LawryD #framework

A Bipolar Framework for Combining Beliefs about Vague Propositions (JL, DD).

KR-2012-LeoneMTV #source code

Efficiently Computable Datalog∃ Programs (NL, MM, GT, PV).

KR-2012-LevesqueDM #challenge

The Winograd Schema Challenge (HJL, ED, LM).

KR-2012-Lifschitz #logic programming #source code

Logic Programs with Intensional Functions (VL).

KR-2012-LiuJN #integer #programming #set

Answer Set Programming via Mixed Integer Programming (GL, TJ, IN).

KR-2012-LutzSW #approach #approximate #logic

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).

KR-2012-LutzW #complexity #logic #query

Non-Uniform Data Complexity of Query Answering in Description Logics (CL, FW).

KR-2012-MaBL #framework

Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).

KR-2012-MorettiT #ranking #set #using

Ranking Sets of Possibly Interacting Objects Using Shapley Extensions (SM, AT).

KR-2012-Morgenstern

Lecture in Remembrance of John McCarthy (LM).

KR-2012-OetschPPST #on the #source code #testing

On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).

KR-2012-PradeR #logic #predict #similarity

Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction (HP, GR).

KR-2012-Renz #constraints #reasoning

Implicit Constraints for Qualitative Spatial and Temporal Reasoning (JR).

KR-2012-Rodriguez-MuroC #ontology #performance #query

High Performance Query Answering over DL-Lite Ontologies (MRM, DC).

KR-2012-RosatiF #ontology

Generalized Ontology-Based Production Systems (RR, EF).

KR-2012-SlotaL #equivalence #modelling #robust #semantics #source code

Robust Equivalence Models for Semantic Updates of Answer-Set Programs (MS, JL).

KR-2012-TachmazidisAFK #parallel #reasoning #towards

Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).

KR-2012-ThomazoBMR #algorithm #query #set

A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).

KR-2012-TosattoBTV #proving #semantics

Abstract Normative Systems: Semantics and Proof Theory (SCT, GB, LWNvdT, SV).

KR-2012-VlaeminckVBD #complexity #logic #order #semantics

Ordered Epistemic Logic: Semantics, Complexity and Applications (HV, JV, MB, MD).

KR-2012-WangZZZ #equivalence #logic programming #source code

Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).

KR-2012-WilsonM #axiom #diagrams #framework #order

An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).

KR-2012-WuHTW #knowledge base #query

Assertion Absorption in Object Queries over Knowledge Bases (JW, AKH, DT, GEW).

KR-2012-ZhuangP #modelling

Model Based Horn Contraction (ZQZ, MP).