LPNMR 2009 - PDF Preprint Papers

LPNMR 2009 Logic Programming and Nonmonotonic Reasoning

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LPNMR-2009 Paper

click to vote

LPNMR
2009
Springer

207views Automated Reasoning» more LPNMR 2009»

Integrating Answer Set Programming and Satisfiability Modulo Theories

13 years 11 months ago

Download www.datalog20.org

Ilkka Niemelä

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	207	Integrating Answer Set Programming and Satisfiability Modulo Theories	claim
2	181	Applying ASP to UML Model Validation	claim
3	173	Argumentation Context Systems: A Framework for Abstract Group Argumentation	claim
4	160	Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs	claim
5	156	Translating Preferred Answer Set Programs to Propositional Logic	claim
6	155	PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming	claim
7	155	Bridging the Gap between High-Level Reasoning and Low-Level Control	claim
8	150	A Default Approach to Semantics of Logic Programs with Constraint Atoms	claim
9	150	Belief Revision with Bounded Treewidth	claim
10	150	Complexity of the Stable Model Semantics for Queries on Incomplete Databases	claim
11	144	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection	claim
12	138	HAPLO-ASP: Haplotype Inference Using Answer Set Programming	claim
13	133	A Deductive System for FO(ID) Based on Least Fixpoint Logic	claim
14	123	On the Input Language of ASP Grounder Gringo	claim
15	123	On Reductive Semantics of Aggregates in Answer Set Programming	claim
16	122	SAT, SMT and Applications	claim
17	122	Splitting a CR-Prolog Program	claim
18	118	The Complexity of Circumscriptive Inference in Post's Lattice	claim
19	116	Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence	claim
20	107	Manifold Answer-Set Programs for Meta-reasoning	claim
21	105	Computing Weighted Solutions in Answer Set Programming	claim
22	101	Layer Supported Models of Logic Programs	claim
23	95	What Next for ASP? (A Not-Entirely-Well-Informed Opinion)	claim
24	94	A Module-Based Framework for Multi-language Constraint Modeling	claim
25	94	Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode	claim
26	94	Logic-Based Modeling in Systems Biology	claim
27	92	The Second Answer Set Programming Competition	claim
28	85	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs	claim
29	84	Simple Random Logic Programs	claim
30	78	Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers