Sciweavers

858 search results - page 74 / 172
» Planning and defeasible reasoning
Sort
View
223
Voted
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 2 months ago
Reasoning About Approximate Match Query Results
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...
Sudipto Guha, Nick Koudas, Divesh Srivastava, Xiao...
AEI
2004
87views more  AEI 2004»
15 years 19 days ago
Estimating the productivity of cyclic construction operations using case-based reasoning
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
Darren Graham, Simon D. Smith
132
Voted
DALT
2005
Springer
15 years 6 months ago
Agent-Oriented Programming with Underlying Ontological Reasoning
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
Álvaro F. Moreira, Renata Vieira, Rafael H....
101
Voted
IJCAI
1993
15 years 2 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
CONSTRAINTS
1998
127views more  CONSTRAINTS 1998»
15 years 13 days ago
Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...
Malek Mouhoub, François Charpillet, Jean Pa...