NDLI: The terminological logic as a tool for solving constraints systems

Content Provider	IEEE Xplore Digital Library
Author	da Silva Julia, R.M. Costa Pereira, A.E. Angoti Junior, E.
Copyright Year	1997
Description	Author affiliation: Dept. de Inf., Fed. Univ. of Uberlandia, Brazil (da Silva Julia, R.M.)
Abstract	The authors present a system that uses TL to solve a set of constraints. The expressions of the TL correspond to the types of the system. A partial evaluator orders the literals in the clauses so as to produce a new dataflow where constraints can be solved in compiling time. In this new order, the expressions of the TL, which introduce the type, are placed before any predicates where the typed object occurs. The clauses in the new order are compiled for the Java Virtual Machine (JVM). We believe that our contribution is to use TL as an efficient tool for solving constraints systems. In fact, the resulting code is as efficient as Java generated class files. Thus one has an efficient tool for using constraint logic programming in design and implementation of applets.
Starting Page	1557
Ending Page	1562
File Size	459913
Page Count	6
File Format	PDF
ISBN	0780340531
ISSN	1062922X
DOI	10.1109/ICSMC.1997.638218
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-10-12
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Java Inference algorithms Data analysis US Department of Transportation Augmented virtuality Calculus Logic programming Software tools Computer industry Engines
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Fault locator and weighting system

Evaluation of tool support for architectural evolution

Solving systems of set constraints

DynaRIA: A Tool for Ajax Web Application Comprehension

GPS: a parallel programming tool based on process groups

Solving systems of set constraints with negated subset relationships

Bottom up logic programming as an inference tool

Software visualization: The educational tool to enhance student learning

Chianti: a change impact analysis tool for Java programs

The terminological logic as a tool for solving constraints systems

Similar Documents

Fault locator and weighting system

Evaluation of tool support for architectural evolution

Solving systems of set constraints

DynaRIA: A Tool for Ajax Web Application Comprehension

GPS: a parallel programming tool based on process groups

Solving systems of set constraints with negated subset relationships

Bottom up logic programming as an inference tool

Software visualization: The educational tool to enhance student learning

Chianti: a change impact analysis tool for Java programs

The terminological logic as a tool for solving constraints systems