ICLP 2010 - PDF Preprint Papers

ICLP 2010 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-2010 Paper

click to vote

ICLP
2010
Springer

250views Automated Reasoning» more ICLP 2010»

A Logical Paradigm for Systems Biology (Invited Talk)

14 years 3 months ago

Download drops.dagstuhl.de

[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...

François Fages

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	250	A Logical Paradigm for Systems Biology (Invited Talk)	claim
2	236	Constraint Answer Set Programming Systems	claim
3	188	A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification	claim
4	183	Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions	claim
5	181	Using Generalized Annotated Programs to Solve Social Network Optimization Problems	claim
6	177	Dynamic Magic Sets for Disjunctive Datalog Programs	claim
7	171	Logic Programming Foundations of Cyber-Physical Systems	claim
8	170	Learning Domain-Specific Heuristics for Answer Set Solvers	claim
9	164	Models for Trustworthy Service and Process Oriented Systems	claim
10	163	Bisimilarity in Concurrent Constraint Programming	claim
11	160	Runtime Addition of Integrity Constraints in an Abductive Proof Procedure	claim
12	155	Efficient Solving of Time-dependent Answer Set Programs	claim
13	152	Abductive Inference in Probabilistic Logic Programs	claim
14	151	Dedicated Tabling for a Probabilistic Setting	claim
15	148	Methods and Methodologies for Developing Answer-Set Programs - Project Description	claim
16	145	Cutting-Edge Timing Analysis Techniques	claim
17	143	Towards a General Argumentation System based on Answer-Set Programming	claim
18	143	Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization	claim
19	137	Program analysis for code duplication in logic programs	claim
20	135	Implementation Alternatives for Bottom-Up Evaluation	claim
21	135	Inductive Logic Programming as Abductive Search	claim
22	132	From Relational Specifications to Logic Programs	claim
23	132	Focused Proof Search for Linear Logic in the Calculus of Structures	claim
24	129	Structured Interactive Musical Scores	claim
25	126	Communicating Answer Set Programs	claim
26	125	Circumscription and Projection as Primitives of Logic Programming	claim
27	123	HEX Programs with Action Atoms	claim
28	116	Tight Semantics for Logic Programs	claim
29	112	Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited	claim
30	107	Introduction to the Technical Communications of the 26th International Conference on Logic Programming	claim
31	99	Local Branching in a Constraint Programming Framework	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers