Adfa - PDFSEARCH.IO - Document Search Engine

Adfa
Results: 541

#	Item
21	Analysis of a Global Contiguity Constraint Michael J. Maher School of Computing and Information Technology Griffith University, Brisbane, Australia Loyola University Chicago Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-09-19 10:53:46
22	Rewriting Unions of General Conjunctive Queries Using Views? Junhu Wang1,2 , Michael Maher1,3 , and Rodney Topor1 1 2 Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2004-07-06 04:05:22
23	Heyting Domains for Constraint Abduction Michael Maher National ICT Australia and University of NSW Sydney, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-09-06 04:32:04
24	On Computing Constraint Abduction Answers Michael Maher and Ge Huang NICTA and University of NSW Sydney, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2008-09-22 00:37:32
25	Applying Local Search to Temporal Reasoning J. Thornton, M. Beaumont and A. Sattar School of Information Technology, Griffith University Gold Coast, Southport, Qld, Australia 4215 {j.thornton, m.beaumont, a.sattar}@mailb Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2004-07-06 04:08:58
26	A Semantic Decomposition of Defeasible Logics M.J. Maher and G. Governatori School of Computing and Information Technology, Griffith University Nathan, QLD 4111, Australia mjm,guido @cit.gu.edu.au Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-11-13 20:57:30
27	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2010-04-09 11:45:20
28	Adding Constraints to Logic-based Formalisms Michael J. Maher School of Computing and Information Technology Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-05-10 00:13:32
29	Solving Over-constrained Temporal Reasoning Problems using Local Search ⋆ M. Beaumont1 , J. Thornton1 , A. Sattar1 and Michael Maher2 1 School of Information Technology, Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-09-18 23:12:12
30	Rewriting Union Queries Using Views J. Wang () INT, Griffith University, Australia R. Topor () CIT, Griffith University, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2006-01-19 02:42:08

UPDATE