Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ijcai/ijcai1993em.bht:"
@proceedings{DBLP:conf/ijcai/1993em, editor = {Michael Fisher and Richard Owens}, title = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-58976-7}, doi = {10.1007/3-540-58976-7}, isbn = {3-540-58976-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/1993em.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Brzoska93, author = {Christoph Brzoska}, editor = {Michael Fisher and Richard Owens}, title = {Temporal Logic Programming with Metric and Past Operators}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {21--39}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_2}, doi = {10.1007/3-540-58976-7\_2}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Brzoska93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Cavalcanti93, author = {Marcos Cavalcanti}, editor = {Michael Fisher and Richard Owens}, title = {Solving Air-Traffic Problems with "Possible Worlds"}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {144--156}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_9}, doi = {10.1007/3-540-58976-7\_9}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Cavalcanti93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Fisher93, author = {Michael Fisher}, editor = {Michael Fisher and Richard Owens}, title = {Towards a Semantics for Concurrent {METATEM}}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {86--102}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_6}, doi = {10.1007/3-540-58976-7\_6}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/Fisher93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FisherO93, author = {Michael Fisher and Richard Owens}, editor = {Michael Fisher and Richard Owens}, title = {An Introduction to Executable Modal and Temporal Logics}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {1--20}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_1}, doi = {10.1007/3-540-58976-7\_1}, timestamp = {Tue, 20 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/FisherO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Fruhwirth93, author = {Thom W. Fr{\"{u}}hwirth}, editor = {Michael Fisher and Richard Owens}, title = {Temporal Logic and Annotated Constraint Logic Programming}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {58--68}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_4}, doi = {10.1007/3-540-58976-7\_4}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Fruhwirth93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Haan93, author = {Nienke den Haan}, editor = {Michael Fisher and Richard Owens}, title = {Investigations into the Applications of Deontic Logic}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {157--178}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_10}, doi = {10.1007/3-540-58976-7\_10}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Haan93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KoehlerT93, author = {Jana Koehler and Ralf Treinen}, editor = {Michael Fisher and Richard Owens}, title = {Constraint Deduction in an Interval-based Temporal Logic}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {103--117}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_7}, doi = {10.1007/3-540-58976-7\_7}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KoehlerT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Kono93, author = {Shinji Kono}, editor = {Michael Fisher and Richard Owens}, title = {A Combination of Clausal and Non Clausal Temporal Logic Programs}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {40--57}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_3}, doi = {10.1007/3-540-58976-7\_3}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Kono93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Merz93, author = {Stephan Merz}, editor = {Michael Fisher and Richard Owens}, title = {Efficiently Executable Temporal Logic Programs}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {69--85}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_5}, doi = {10.1007/3-540-58976-7\_5}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Merz93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Reynolds93, author = {Mark Reynolds}, editor = {Michael Fisher and Richard Owens}, title = {Towards First-Order Concurrent {METATEM}}, booktitle = {Executable Modal and Temporal Logics, {IJCAI} '93, Workshop, Chamb{\'{e}}ry, France, August 28, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {897}, pages = {118--143}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-58976-7\_8}, doi = {10.1007/3-540-58976-7\_8}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Reynolds93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.