Sciweavers

858 search results - page 129 / 172
» Planning and defeasible reasoning
Sort
View
ICDE
2010
IEEE
248views Database» more  ICDE 2010»
14 years 25 days ago
MashRank: Towards uncertainty-aware and rank-aware mashups
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
Mohamed A. Soliman, Mina Saleeb, Ihab F. Ilyas
ELPUB
2007
ACM
14 years 13 days ago
Ontologies At Work: Publishing Multilingual Recreational Routes Using Ontologies
Even though there is nothing new about the idea, ontologies are a hot topic. Built for many reasons and appliances, the use of ontologies in real-life applications remains limited...
Bert Paepen
CAV
2006
Springer
164views Hardware» more  CAV 2006»
14 years 7 days ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
AAAI
2007
13 years 10 months ago
A Logic of Agent Programs
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
AAAI
2007
13 years 10 months ago
Towards an Integrated Robot with Multiple Cognitive Functions
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zi...