Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

KER
DBLP
Scholar
Full names Links ISxN
@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)

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).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.