Titlebook: Executable Modal and Temporal Logics; IJCAI ‘93 Workshop, Michael Fisher,Richard Owens Conference proceedings 1995 Springer-Verlag Berlin

FLAK

书目名称Executable Modal and Temporal Logics影响因子(影响力)




书目名称Executable Modal and Temporal Logics影响因子(影响力)学科排名




书目名称Executable Modal and Temporal Logics网络公开度




书目名称Executable Modal and Temporal Logics网络公开度学科排名




书目名称Executable Modal and Temporal Logics被引频次




书目名称Executable Modal and Temporal Logics被引频次学科排名




书目名称Executable Modal and Temporal Logics年度引用




书目名称Executable Modal and Temporal Logics年度引用学科排名




书目名称Executable Modal and Temporal Logics读者反馈




书目名称Executable Modal and Temporal Logics读者反馈学科排名

Limerick

粘

600

Temporal logic and annotated constraint logic programming,antial parts of temporal logic. Given a logic in our framework, there is a systematic way to make it executable as a constraint logic program. Thus we can study and compare various temporal logics and their executable fragments. Our approach allows for different models of time, different temporal op

UNT

阴郁

阴郁

,Solving air-traffic problems with “possible worlds”, of . that provides an efficient implementation of the possible worlds and, as it showed, is well suited for nonmonotonic reasoning..As an example of the use of . in real life situations we present its solution to the aircraft sequencing problem.

CEDE

知道

https://doi.org/10.1007/978-3-7091-4328-5 use of non-classical logics provides a powerful basis for the representation and implementation of a range of dynamic behaviours. Though many of these languages are still experimental, they are beginning to be applied, not only in Computer Science and AI, but also in less obvious areas such as proc

IST