LPNMR 2005 - PDF Preprint Papers

LPNMR 2005 Logic Programming and Nonmonotonic Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LPNMR-2005 Paper

click to vote

LPNMR
2005
Springer

171views Automated Reasoning» more LPNMR 2005»

Abduction and Preferences in Linguistics

13 years 10 months ago

Download www.cs.uni-potsdam.de

Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...

Kathrin Konczak, Ralf Vogel

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	171	Abduction and Preferences in Linguistics	claim
2	158	An Algebraic Account of Modularity in ID-Logic	claim
3	154	Nonmonotonic Reasoning in FLORA-2	claim
4	147	Data Integration: a Challenging ASP Application	claim
5	133	An ID-Logic Formalization of the Composition of Autonomous Databases	claim
6	132	Answer Sets for Propositional Theories	claim
7	128	KMonitor - A Tool for Monitoring Plan Execution in Action Theories	claim
8	120	Data Integration and Answer Set Programming	claim
9	119	Nested Epistemic Logic Programs	claim
10	118	Approximating Answer Sets of Unitary Lifschitz-Woo Programs	claim
11	112	Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers	claim
12	109	Revisiting the Semantics of Interval Probabilistic Logic Programs	claim
13	105	Platypus: A Platform for Distributed Answer Set Solving	claim
14	103	A DLP System with Object-Oriented Features	claim
15	102	Inference of Gene Relations from Microarray Data by Abduction	claim
16	100	The nomore++ System	claim
17	99	SELP - A System for Studying Strong Equivalence Between Logic Programs	claim
18	97	Integrating an Answer Set Solver into Prolog: ASP-PROLOG	claim
19	97	Guarded Open Answer Set Programming	claim
20	93	On the Local Closed-World Assumption of Data-Sources	claim
21	92	Testing Strong Equivalence of Datalog Programs - Implementation and Examples	claim
22	91	On Modular Translations and Strong Equivalence	claim
23	87	Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories	claim
24	87	Loops: Relevant or Redundant?	claim
25	84	Some Logical Properties of Nonmonotonic Causal Theories	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers