KR 2010 - PDF Preprint Papers

KR 2010 International Conference on Principles and Knowledge Representation and Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KR-2010 Paper

click to vote

KR
2010
Springer

154views Automated Reasoning» more KR 2010»

A Logical Understanding of Legal Interpretation

1 years 10 months ago

Download www.governatori.net

If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...

Guido Boella, Guido Governatori, Antonino Rotolo, ...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	154	A Logical Understanding of Legal Interpretation	claim
2	100	Efficient Dominance Testing for Unconditional Preferences	claim
3	96	Status QIO: Conjunctive Query Entailment Is Decidable	claim
4	94	A Characterization of Optimality Criteria for Decision Making under Complete Ignorance	claim
5	89	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming	claim
6	89	Improving Query Answering over DL-Lite Ontologies	claim
7	87	The Temporal Logic of Token Causes	claim
8	87	State Defaults and Ramifications in the Unifying Action Calculus	claim
9	85	Modelling Combinatorial Auctions in Linear Logic	claim
10	84	Query and Predicate Emptiness in Description Logics	claim
11	83	From Preference Logics to Preference Languages, and Back	claim
12	82	The Combined Approach to Query Answering in DL-Lite	claim
13	81	Taxonomy of Improvement Operators and the Problem of Minimal Change	claim
14	81	Abstract Dialectical Frameworks	claim
15	81	Characterizing Updates in Dynamic Epistemic Logic	claim
16	80	The Modular Structure of an Ontology: An Empirical Study	claim
17	80	Set-Oriented Logical Connectives: Syntax and Semantics	claim
18	80	Towards a Logic of Feature-Based Semantic Science Theories	claim
19	78	Distributed Nonmonotonic Multi-Context Systems	claim
20	78	A Decidable Class of Groundable Formulas in the General Theory of Stable Models	claim
21	78	A Correctness Result for Reasoning about One-Dimensional Planning Problems	claim
22	77	Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms	claim
23	77	Situation Calculus Based Programs for Representing and Reasoning about Game Structures	claim
24	77	Diagnosis as Planning Revisited	claim
25	77	I Don't Want to Think About it Now: Decision Theory with Costly Computation	claim
26	76	Independence and Functional Dependence Relations on Secrets	claim
27	75	Understanding Ontological Levels	claim
28	74	Generalized Planning with Loops under Strong Fairness Constraints	claim
29	74	Towards Fixed-Parameter Tractable Algorithms for Argumentation	claim
30	74	Interpreting Topological Logics over Euclidean Spaces	claim
31	74	Pushing the Limits of Reasoning over Ontologies with Hidden Content	claim
32	73	Preferential Semantics for Plausible Subsumption in Possibility Theory	claim
33	72	One Hundred Prisoners and a Lightbulb - Logic and Computation	claim
34	70	Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2	claim
35	70	Multi-Agent Only-Knowing Revisited	claim
36	69	Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough	claim
37	68	New Advances in Sequential Diagnosis	claim
38	68	On the Complexity of Axiom Pinpointing in the EL Family of Description Logics	claim
39	68	Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems	claim
40	68	Integrating Action Calculi and AgentSpeak: Closing the Gap	claim
41	67	Maximally Paraconsistent Three-Valued Logics	claim
42	67	Probabilistic Description Logics for Subjective Uncertainty	claim
43	67	Finding Explanations of Inconsistency in Multi-Context Systems	claim
44	66	Decomposing Description Logic Ontologies	claim
45	66	Walking the Decidability Line for Rules with Existential Variables	claim
46	59	Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers	claim
47	51	On the Progression Semantics and Boundedness of Answer Set Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers