Executable modal and temporal logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
| 000 | 02229camuu2200325 a 4500 | |
| 001 | 000000805322 | |
| 005 | 20030224164653 | |
| 008 | 950104s1995 gw a b 100 0 eng | |
| 010 | ▼a 95001416 | |
| 020 | ▼a 3540589767 (Berlin : acid-free paper) | |
| 020 | ▼a 0387589767 (New York : acid-free paper) | |
| 040 | ▼a DLC ▼c DLC ▼d PMC ▼d OCL ▼d 211009 | |
| 049 | ▼a KUBA ▼l 111236409 | |
| 050 | 0 0 | ▼a QA76.63 ▼b .I566 1995 |
| 082 | 0 0 | ▼a 005.13/1 ▼2 20 |
| 090 | ▼a 005.131 ▼b I61e | |
| 111 | 2 | ▼a International Joint Conference on Artificial Intelligence ▼d (1993 : ▼c Chambery, France) |
| 245 | 1 0 | ▼a Executable modal and temporal logics: ▼b IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / ▼c Michael Fisher, Richard Owens, eds. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer , ▼c c1995. | |
| 300 | ▼a 180 p. : ▼b ill. ; ▼c 24 cm. | |
| 490 | 1 | ▼a Lecture notes in computer science ; ▼v 897. ▼a Lecture notes in artificial intelligence |
| 500 | ▼a Updated papers presented at the Workshop on Executable Modal and Temporal Logics. | |
| 505 | 0 0 | ▼t An introduction to executable modal and temporal logics / ▼r Michael Fisher Richard Owens -- ▼t Temporal logic programming with metric and past operators / ▼r Christoph Brzoska -- ▼t A combination of clausal and non clausal temporal logic programs / ▼r Shinji Kono -- ▼t Temporal logic and annotated constraint logic programming / ▼r Thom Fru<hwirth -- ▼t Efficiently executable temporal logic programs / ▼r Stephan Merz -- ▼t Towards a semantics for concurrent METATEM / ▼r Michael Fisher -- ▼t Constraint deduction in an interval-based temporal logic / ▼r Jana Koehler Ralf Treinen -- ▼t Towards first-order concurrent METATEM / ▼r Mark Reynolds -- ▼t Soving air-traffic problems with "possible worlds" / ▼r Marcos Cavalcanti -- ▼t Investigations into the application of deontic logic / ▼r Nienke den Haan. |
| 650 | 0 | ▼a Logic programming ▼v Congresses. |
| 650 | 0 | ▼a Prolog (Computer program language) ▼v Congresses. |
| 700 | 1 | ▼a Fisher, Michael ▼d 1962- |
| 700 | 1 | ▼a Owens, Richard ▼d 1965- |
| 830 | 0 | ▼a Lecture notes in computer science ; ▼v 897. |
| 830 | 0 | ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 005.131 I61e | 등록번호 111236409 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.
The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.
This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.
정보제공 :
목차
An introduction to executable modal and temporal logics.- Temporal logic programming with metric and past operators.- A combination of clausal and non clausal temporal logic programs.- Temporal logic and annotated constraint logic programming.- Efficiently executable temporal logic programs.- Towards a semantics for concurrent MetateM.- Constraint deduction in an interval-based temporal logic.- Towards first-order concurrent MetateM.- Solving air-traffic problems with "possible worlds".- Investigations into the application of deontic logic.
정보제공 :