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影響因子(影響力)學(xué)科排名




書目名稱Executable Modal and Temporal Logics網(wǎng)絡(luò)公開度




書目名稱Executable Modal and Temporal Logics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Executable Modal and Temporal Logics被引頻次




書目名稱Executable Modal and Temporal Logics被引頻次學(xué)科排名




書目名稱Executable Modal and Temporal Logics年度引用




書目名稱Executable Modal and Temporal Logics年度引用學(xué)科排名




書目名稱Executable Modal and Temporal Logics讀者反饋




書目名稱Executable Modal and Temporal Logics讀者反饋學(xué)科排名

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