ICLP 2007 - PDF Preprint Papers

ICLP 2007 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-2007 Paper

click to vote

ICLP
2007
Springer

181views Automated Reasoning» more ICLP 2007»

Computing Fuzzy Answer Sets Using dlvhex

13 years 8 months ago

Download tinf2.vub.ac.be

Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...

Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...

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	181	Computing Fuzzy Answer Sets Using dlvhex	claim
2	178	Declarative Diagnosis of Temporal Concurrent Constraint Programs	claim
3	145	OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web	claim
4	144	User-Definable Resource Bounds Analysis for Logic Programs	claim
5	143	Static Region Analysis for Mercury	claim
6	138	Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming	claim
7	138	Answer Set Programming for the Semantic Web	claim
8	137	Contextual Logic Programming for Ontology Representation and Querying	claim
9	136	Automatic Correctness Proofs for Logic Program Transformations	claim
10	131	Universal Timed Concurrent Constraint Programming	claim
11	131	Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity	claim
12	129	Prolog as the Fundament for Applications on the Semantic Web	claim
13	129	ASP-PROLOG: Composition and Interoperation of Rules	claim
14	129	Web Sites Verification: An Abductive Logic Programming Tool	claim
15	128	Advanced Techniques for Answer Set Programming	claim
16	123	DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX	claim
17	123	Logic Programming for Knowledge Representation	claim
18	120	Logic Programs with Abstract Constraint Atoms: The Role of Computations	claim
19	116	Automatic Binding-Related Error Diagnosis in Logic Programs	claim
20	113	A Register-Free Abstract Prolog Machine with Jumbo Instructions	claim
21	112	Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs	claim
22	109	Minimal Logic Programs	claim
23	106	A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming	claim
24	104	HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners	claim
25	101	Combining OWL with F-Logic Rules and Defaults	claim
26	98	Core TuLiP Logic Programming for Trust Management	claim
27	96	Multivalued Action Languages with Constraints in CLP(FD)	claim
28	96	Prosper: A Framework for Extending Prolog Applications with a Web Interface	claim
29	94	Logic Programming Approach to Automata-Based Decision Procedures	claim
30	91	Aggregates in Constraint Handling Rules	claim
31	90	Visual Logic Programming Method Based on Structural Analysis and Design Technique	claim
32	90	Generic Tableaux for Answer Set Programming	claim
33	89	Demand-Driven Indexing of Prolog Clauses	claim
34	78	Preferences, Contexts and Answer Sets	claim
35	63	Multi-paradigm Declarative Languages	claim
36	61	Ontology Based Information Integration Using Logic Programming	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers