Publications

Results 1-8 of 8 (Search time: 0.142 seconds).

	Issue Date	Title	Author(s)
1	2005	Automated reasoning, knowledge representation and management	Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
2	2009	Efficient data management in wireless sensor networks using peer-to-peer techniques	Awad, Abdalkarim
3	21-Jul-2000	A parameterized procedure for model computations in disjunctive theories	Yahya, Adnan
4	2004	Models and inference methods for clinical systems: A principled approach	Taweel, Adel; Rector, Alan L.; Rogers, Jeremy
5	May-2006	Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering	Jarrar, Mustafa
6	2009	Power Management for Acoustic Underwater Networks	Tumar, Iyad; Sehgal, Anuj; Schonwalder, Jurgen
7	4-Mar-2001	Incorporating bidirectional relevancy into model generation theorem provers	Yahya, Adnan
8	1-Mar-2002	Ordered semantic hypertableaux	Yahya, Adnan; Plaisted, David A.