Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning
KR, 2014.

@proceedings{KR-2014,
	address       = "Vienna, Austria",
	editor        = "Chitta Baral and Giuseppe De Giacomo and Thomas Eiter",
	ee            = "http://www.aaai.org/Library/KR/kr14contents.php",
	isbn          = "978-1-57735-657-8",
	publisher     = "{AAAI Press}",
	title         = "{Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2014,
}

Contents (87 items)

19 ×#logic
10 ×#reasoning
6 ×#semantics
5 ×#first-order
5 ×#multi
5 ×#on the
4 ×#calculus
4 ×#source code
3 ×#axiom
3 ×#bound

KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).

KR-2014-Aucher #axiom #interactive

Axioms .2 and .4 as Interaction Axioms (GA).

KR-2014-Baader #monitoring #ontology

Ontology-Based Monitoring of Dynamic Systems (FB).

KR-2014-BaazEV #logic

Vienna Summer of Logic (MB, TE, HV).

KR-2014-BaierMM #problem

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).

KR-2014-BartholomewL #modelling #multi

Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).

KR-2014-BeekSH #semantics #set #web

Rough Set Semantics for Identity on the Web (WB, SS, FvH).

KR-2014-Belardinelli #logic #satisfiability

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).

KR-2014-BelleL #how

How to Progress Beliefs in Continuous Domains (VB, HJL).

KR-2014-BelleL14a #multi #on the

On the Progression of Knowledge in Multiagent Systems (VB, GL).

KR-2014-BenferhatT #network #nondeterminism #reasoning

Reasoning with Uncertain Inputs in Possibilistic Networks (SB, KT).

KR-2014-BhattST #analysis #architecture #design #experience #industrial #user interface

Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (MB, CPLS, MT).

KR-2014-BienvenuCOS #logic #query

Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).

KR-2014-BjorndahlHP #axiom

Axiomatizing Rationality (AB, JYH, RP).

KR-2014-Bochman #calculus

Dynamic Causal Calculus (AB).

KR-2014-BoothAR

Interval Methods for Judgment Aggregation in Argumentation (RB, EA, IR).

KR-2014-BorgwardtDP #decidability #logic

Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).

KR-2014-BotoevaKRWZ #knowledge base #logic #query

Query Inseparability for Description Logic Knowledge Bases (EB, RK, VR, FW, MZ).

KR-2014-BroeckMD #first-order

Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).

KR-2014-CabalarD #equivalence

Strong Equivalence of Non-Monotonic Temporal Theories (PC, MD).

KR-2014-CeruttiGVZ #recursion

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).

KR-2014-CharalambidisR #higher-order #logic programming

Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).

KR-2014-ClercqBSCN #game studies #programming #set #using

Using Answer Set Programming for Solving Boolean Games (SDC, KB, SS, MDC, AN).

KR-2014-Coste-MarquisKMM #on the

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).

KR-2014-Delgrande #analysis #towards

Towards a Knowledge Level Analysis of Forgetting (JPD).

KR-2014-DeneckerV #induction #principle #revisited #semantics

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).

KR-2014-DiakidoyKM0 #approach #automation #comprehension

A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).

KR-2014-DistelAB #concept #difference

Concept Dissimilarity with Triangle Inequality (FD, JA, IB).

KR-2014-DoutreHP #framework #logic

A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).

KR-2014-DuckhamLLL #constraints #on the

On Redundant Topological Constraints (MD, SL, WL, ZL).

KR-2014-Dufour-LussierHBL #algebra

Belief Revision in the Propositional Closure of a Qualitative Algebra (VDL, AH, FLB, JL).

KR-2014-DunneDLW #multi

Characteristics of Multiple Viewpoints in Abstract Argumentation (PED, WD, TL, SW).

KR-2014-Dyrkolbotn #how #set #using

How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (SKD).

KR-2014-EckePT #concept #query #similarity

Answering Instance Queries Relaxed by Concept Similarity (AE, RP, AYT).

KR-2014-EveraereKM #on the

On Egalitarian Belief Merging (PE, SK, PM).

KR-2014-EwinPV #calculus #reasoning

Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).

KR-2014-FiondaGP #graph #web

Knowledge Maps of Web Graphs (VF, CG, GP).

KR-2014-GarciaLS #finite #logic #reasoning

Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).

KR-2014-GebserJR #encoding

ASP Encodings of Acyclicity Properties (MG, TJ, JR).

KR-2014-GirleaAG #game studies

Tracking Beliefs and Intentions in the Werewolf Game (CLG, EA, RG).

KR-2014-GottlobHKL #logic #semantics

Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).

KR-2014-GottlobLP #datalog

Datalog+/-: Questions and Answers (GG, TL, AP).

KR-2014-GottlobMP #polynomial

Polynomial Combined Rewritings for Existential Rules (GG, MM, AP).

KR-2014-GrossiH

Justified Beliefs by Justified Arguments (DG, WvdH).

KR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic

Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).

KR-2014-GutierrezHW #concurrent #reasoning

Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).

KR-2014-HaanS #complexity #problem #reasoning

The Parameterized Complexity of Reasoning Problems Beyond NP (RdH, SS).

KR-2014-Halpern #modelling

Appropriate Causal Models and Stability of Causation (JYH).

KR-2014-HaririCD #bound

State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).

KR-2014-HarrisonLY #semantics

The Semantics of Gringo and Infinitary Propositional Formulas (AJH, VL, FY).

KR-2014-Herzig #logic

Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (AH).

KR-2014-HuangM #logic

A Temporal Logic of Strategic Knowledge (XH, RvdM).

KR-2014-IanovskiO #game studies

EGuaranteeNash for Boolean Games Is NEXP-Hard (EI, LO).

KR-2014-KazemiBKNP #relational

Relational Logistic Regression (SMK, DB, KK, SN, DP).

KR-2014-KisaBCD #diagrams #probability

Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).

KR-2014-KonevLOW #learning #lightweight #logic #ontology

Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).

KR-2014-KrotzschR #logic

Nominal Schemas in Description Logics: Complexities Clarified (MK, SR).

KR-2014-LakemeyerL #calculus #decidability #reasoning

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (GL, HJL).

KR-2014-Libkin

Certain Answers as Objects and Knowledge (LL).

KR-2014-Lin #first-order #formal method #linear #logic #source code

A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).

KR-2014-Lin14a #axiom #first-order #higher-order #induction #semantics

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).

KR-2014-LomuscioM #abstraction #atl #multi #specification #verification

An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).

KR-2014-LomuscioM14a #bound #model checking

Model Checking Unbounded Artifact-Centric Systems (AL, JM).

KR-2014-LomuscioMOR

Tutorials (AL, LSM, EO, RR).

KR-2014-LudwigK #difference #logic

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).

KR-2014-MarrellaMS #adaptation #calculus #named #process

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).

KR-2014-Michael #learning #predict

Simultaneous Learning and Prediction (LM).

KR-2014-Morgenstern #concept #reasoning #representation

Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).

KR-2014-OveisiDPP #dependence

Belief Change and Base Dependence (MO, JPD, FJP, FP).

KR-2014-ParentT #reasoning

Aggregative Deontic Detachment for Normative Reasoning (XP, LvdT).

KR-2014-PatriziV #constraints #database #similarity

Action Theories over Generalized Databases with Equality Constraints (FP, SV).

KR-2014-PeppasW

Belief Change and Semiorders (PP, MAW).

KR-2014-PereiraDH #abduction #approach #bias #reasoning

An Abductive Reasoning Approach to the Belief Bias Effect (LMP, EAD, SH).

KR-2014-Potyka #consistency #linear #logic #nondeterminism #probability #source code

Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).

KR-2014-RajaratnamLPT

Forgetting in Action (DR, HJL, MP, MT).

KR-2014-Razgon #bound #on the

On OBDDs for CNFs of Bounded Treewidth (IR).

KR-2014-RibeiroW #logic

Minimal Change in AGM Revision for Non-Classical Logics (MMR, RW).

KR-2014-SazonauSB #owl #performance #predict #question

Predicting Performance of OWL Reasoners: Locally or Globally? (VS, US, GB).

KR-2014-Schuller #formal method #graph

Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PS).

KR-2014-ShenZ #canonical #logic programming #source code

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (YS, XZ).

KR-2014-SiderisD #heuristic #optimisation

Heuristic Guided Optimization for Propositional Planning (AS, YD).

KR-2014-StrassW #approximate #complexity #fixpoint #framework

Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).

KR-2014-TasharrofiT #multi

Generalized Multi-Context Systems (ST, ET).

KR-2014-Thimm #aspect-oriented #information management #java #library #logic #named #representation

Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (MT).

KR-2014-WirthS

David Poole’s Specificity Revised (CPW, FS).

KR-2014-ZhangR #algebra #reasoning #representation

Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra (PZ, JR).

KR-2014-Zhou #first-order #logic #revisited

First-Order Default Logic Revisited (YZ).