AIT Asian Institute of Technology

Results For "Logic programming" in Subject

25 Results on October 1, 2026

A logic programming-based formalism for local closed world reasoning in planning

by Dinh Trung Hang

Callnumber: AIT Thesis no.CS-02-24

A metainterpreter for abductive logic programming with loop check

by Rachada Yokglin

Callnumber: AIT Thesis no. CS-91-28

A strand-based logic programming approach to analysis of authentication protocols

by Nguyen Viet Anh

Callnumber: AIT Thesis no.CS-02-15

A study on formailization of court proceeding

by Thanakorn Piroonsith

Callnumber: AIT Thesis no.CS-12-10

A study on loop checks for disjunctive logic programming

by Pham Trieu Duong

Callnumber: AIT Thesis no. CS-92-21

AIT regulations as a case study for legal reasoning in logic programming

by Nuchalee Limprasitvong

Callnumber: AIT Thesis no. CS-91-32

An extension of the simplification method for checking database integrity using abduction

by Khanal, Shailesh

Callnumber: AIT Thesis no. CS-93-03

Argument-based analysis of non-monotonic inheritance networks

by Tran Cao Son

Callnumber: AIT Thesis no. CS-93-28

Consistency check for abductive query evaluation with respect to extended logic programs

by Bharati, Devesh

Callnumber: AIT Thesis no. CS-92-2

Customer modeling for e-commerce based on Means-End Chain approach and logic programming

by Le Nhan Tam

Callnumber: AIT Thesis no.CS-08-06