A declarative constraint logic programming language based on partial instantiation technique for inference

Simple item page
dc.contributor.authorDasgupta, Sudeshna
dc.date.accessioned2021-09-03T14:47:14Z
dc.date.available2021-09-03T14:47:14Z
dc.date.issued2000-11-22
dc.descriptionSupervisor: Prof. Vijay Chandruen_US
dc.identifier.urihttp://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/1914
dc.language.isoenen_US
dc.publisherBITS Pilanien_US
dc.subjectComputer Scienceen_US
dc.subjectArtificial Intelligenceen_US
dc.subjectAutomated Reasoningen_US
dc.subjectLogic and Functionen_US
dc.subjectHorn Formulasen_US
dc.subjectClassification of Atomen_US
dc.subjectLogic Formulasen_US
dc.titleA declarative constraint logic programming language based on partial instantiation technique for inferenceen_US
dc.typeThesisen_US

Files

Collections

Department of Computer Science and Information Systems