ICLP 2009 - PDF Preprint Papers

ICLP 2009 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-2009 Paper

click to vote

ICLP
2009
Springer

188views Automated Reasoning» more ICLP 2009»

Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs

14 years 5 months ago

Download www.cs.ust.hk

We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...

Xiaoping Chen, Jianmin Ji, Fangzhen Lin

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	188	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs	claim
2	173	Constraint Based Languages for Biological Reactions	claim
3	169	Answer Set Programming for Single-Player Games in General Game Playing	claim
4	164	Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs	claim
5	163	Constraint Answer Set Solving	claim
6	153	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework	claim
7	147	Using Histograms to Better Answer Queries to Probabilistic Logic Programs	claim
8	144	Answer Set Programming with Constraints Using Lazy Grounding	claim
9	143	Logic Programming for Multiagent Planning with Negotiation	claim
10	142	Logic Programming with Defaults and Argumentation Theories	claim
11	142	Attributed Data for CHR Indexing	claim
12	139	An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems	claim
13	137	Merging Logic Programs under Answer Set Semantics	claim
14	137	An Engine for Computing Well-Founded Models	claim
15	134	A Knowledge Base System Project for FO(.)	claim
16	123	Generative Modeling by PRISM	claim
17	123	Integration of Abductive Reasoning and Constraint Optimization in SCIFF	claim
18	123	Automating Termination Proofs for CHR	claim
19	122	Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC	claim
20	122	Optimizing Compilation and Computational Complexity of Constraint Handling Rules	claim
21	121	Incremental Answer Completion in the SLG-WAM	claim
22	118	Debugging for Model Expansion	claim
23	118	A Tabling Implementation Based on Variables with Multiple Bindings	claim
24	113	Qualified Computations in Functional Logic Programming	claim
25	111	Modular Nonmonotonic Logic Programming Revisited	claim
26	107	Metabolic Network Expansion with Answer Set Programming	claim
27	107	Finding Similar or Diverse Solutions in Answer Set Programming	claim
28	106	Proving Termination by Invariance Relations	claim
29	105	Belief Logic Programming	claim
30	105	One More Decidable Class of Finitely Ground Programs	claim
31	101	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers	claim
32	100	Logic-Statistic Models with Constraints for Biological Sequence Analysis	claim
33	100	Stabilization of Information Sharing for Queries Answering in Multiagent Systems	claim
34	98	A Language for Large Ensembles of Independently Executing Nodes	claim
35	96	Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis	claim
36	94	Logic Programs under Three-Valued Lukasiewicz Semantics	claim
37	91	Demand-Driven Normalisation for ACD Term Rewriting	claim
38	89	From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse	claim
39	68	Research Summary	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers