258 search results - page 10 / 52 » Hybrid Logics on Linear Structures: Expressivity and Complex... |
IJCAI
2001
13 years 10 months ago
2001
In the last decade, there has been several studies on the computational complexity of planning. These studies normally assume that the goal of planning is to make a certain fluent...
DEON
2010
Springer
13 years 10 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
AI
2000
Springer
13 years 8 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
AUTOMATICA
1999
13 years 8 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
SIGIR
1996
ACM
14 years 25 days ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...