1928 search results - page 126 / 386 » Integrity Constraints in OWL |
95
Voted
AIPS
1994
15 years 2 months ago
1994
Thispaperdescribesthe use of superveniencein integrating planningand reaction in complex,dynamicenvironments. ienceis a formof abstractionwithaffinities both action in AIplannings...
101
Voted
IJIS
2010
14 years 10 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Extending 2-D planar topologies in integrated circuits (ICs) to a 3-D implementation has the obvious benefits of reducing the overall footprint and average interconnection length,...
101
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
103
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Recent years are seeing a renewed interest in general multi-robot architectures, capable of automating coordination. However, few architectures explore integration of multiple ...