Automatic analysis of fluorescence in-situ hybridization images. Khorsheed, M. Multi-font Arabic word recognition using spectral features. Structural features of cursive Arabic script. Artificial intelligence and human identity, in Cornwell, J. Consciousness and Human Identity. Oxford University Press, Springer Verlag, Berlin.
Knowledge representation and myth, in Cornwell, J. Nature's Imagination. The Calliope music publishing system.
- EasyChair Publications.
- Articles in Refereed Journals;
- Articles in Refereed Conferences.
- TIM/ISSCO Publications up to 2004!
Computing in Musicology 9 , Fourth Edition. The DelPhi multiprocessor inference machine, in Boda, K. Springer Verlag, Logic programming specification and execution of dynamic programming problems. Journal of Logic Programming 12 4 , Experiments in adaptive state-space robotics. A technique for translating clausal specifications of numerical methods into efficient programs. Journal of Logic Programming 5 , A method for efficiently executing Horn Clause programs using multiple processors.
New Generation Computing 5 , Principles of the DelPhi parallel inference machine. Computer Journal 30 5 , A Prolog primer. Byte 12 9 , Mystery object identified?. Nature , Logic programming and digital circuit analysis. Journal of Logic Programming 4 , Third Edition. Qualitative control, in DuBoulay, B. Advances in Artificial Intelligence II. North-Holland, Comments on some pitfalls in Prolog programming.
Automatic specialisation of standard designs.
Computer Journal 29 6 , Determining signal flow from CMOS transistor networks. Integration 4 1 , Qualitative control. Implementation techniques for Prolog databases. Software Practice and Experience 15 , Design and simulation of a sequential Prolog machine. New Generation Computing 3 , An implementation of model-based visual feedback for robot arc-welding of thin sheet steel.
International Journal of Robotics Research 4 , Logic programming and Prolog, in Chambers, F. Distributed Computing.
Coalgebraic semantics for derivations in logic programming
Academic Press, An introduction to Prolog, in O'Shea, T. Artificial Intelligence. Harper Row, Industrial robotics, in O'Shea, T. Second Edition.
A portable Prolog compiler. Real-time queue operations using the logical variable. Some of the solvers such as the finite-domain and set solvers are competitive in performance with the fastest solvers available now. Skip to main content Skip to sections. Advertisement Hide. International Conference on Intelligent Information Processing. Implementing Constraint Solvers in B-Prolog. Conference paper. Download to read the full conference paper text. Aggoun and N. Google Scholar. Azevedo and P. Benhamou, D.
- Roald Dahls Revolting Rhymes!
- Athenagoras: Legatio and De Resurrectione.
- The Triumph of the Antebellum Free Trade Movement.
- Manolis Gergatsoulis?
- The Science of Liberty: Democracy, Reason, and the Laws of Nature?
- The Age of Pithecanthropus.
McAllester, P. International Symposium on Logic Programming , pp.
Benhamou and W. Carlsson, G. Ottosson, and B. Programming Languages and Logic Programming , pp. Codognet and D. Dincbas, P.
Publications and Invited Talks
Simonis, A. Aggoun, T. Graf, and F. Dincbas, H. Simonis, P. Journal of Logic Programming , 8 1 , pp. Eidhammer, D. Gilbert, I. Jonassen, and M. Harvey and P. MIT Press,