default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/ictl:"
download as .bib file
@inproceedings{DBLP:conf/ictl/BadaloniB94,
author = {Silvana Badaloni and
Marina Berati},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Dealing with Time Granularity in a Temporal Planning System},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {101--116},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013983},
doi = {10.1007/BFB0013983},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BadaloniB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BaetenBB94,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Roland N. Bol},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Real Time Process Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {30--47},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013979},
doi = {10.1007/BFB0013979},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BaetenBB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BelleghemDS94,
author = {Kristof Van Belleghem and
Marc Denecker and
Danny De Schreye},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {The Abductive Event Calculus as a General Framework for Temporal Databases},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {301--316},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013995},
doi = {10.1007/BFB0013995},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BelleghemDS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BernholtzG94,
author = {Orna Bernholtz and
Orna Grumberg},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Buy One, Get One Free!!!},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {210--224},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013990},
doi = {10.1007/BFB0013990},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BernholtzG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BertossiF94,
author = {Leopoldo E. Bertossi and
Cristian Ferretti},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {{SCDBR:} {A} Reasoner for Specifications in the Situation Calculus
of Database Updates},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {543--545},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014009},
doi = {10.1007/BFB0014009},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BertossiF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BlackburnGR94,
author = {Patrick Blackburn and
Claire Gardent and
Maarten de Rijke},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Back and Forth Through Time and Events},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {225--237},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013991},
doi = {10.1007/BFB0013991},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BlackburnGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BohlenM94,
author = {Michael H. B{\"{o}}hlen and
Robert W. Marti},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {On the Completeness of Temporal Database Query Languages},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {283--300},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013994},
doi = {10.1007/BFB0013994},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BohlenM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BonnerK94,
author = {Anthony J. Bonner and
Michael Kifer},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Applications of Transaction Logic to Knowledge Representation},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {67--81},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013981},
doi = {10.1007/BFB0013981},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/BonnerK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Chomicki94,
author = {Jan Chomicki},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Temporal Query Languages: {A} Survey},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {506--534},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014006},
doi = {10.1007/BFB0014006},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Chomicki94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/DixonFB94,
author = {Clare Dixon and
Michael Fisher and
Howard Barringer},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Graph-Based Approach to Resolution in Temporal Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {415--429},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014002},
doi = {10.1007/BFB0014002},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictl/DixonFB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/DohertyL94,
author = {Patrick Doherty and
Witold Lukaszewicz},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Cicumscribing Features and Fluents},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {82--100},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013982},
doi = {10.1007/BFB0013982},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictl/DohertyL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FelderM94,
author = {Miguel Felder and
Angelo Morzenti},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Temporal Logic Approach to Implementation and Refinement in Timed
Petri Nets},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {365--381},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013999},
doi = {10.1007/BFB0013999},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/FelderM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FiadeiroM94,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal
Logic of Objects},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {48--66},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013980},
doi = {10.1007/BFB0013980},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/FiadeiroM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Fisher94,
author = {Michael Fisher},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Survey of Concurrent {METATEM} - the Language and its Applications},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {480--505},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014005},
doi = {10.1007/BFB0014005},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictl/Fisher94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Goranko94,
author = {Valentin Goranko},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Temporal Logic with Reference Pointers},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {133--148},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013985},
doi = {10.1007/BFB0013985},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Goranko94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/GrumbergK94,
author = {Orna Grumberg and
Robert P. Kurshan},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {How Linear Can Branching-Time Be?},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {180--194},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013988},
doi = {10.1007/BFB0013988},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/GrumbergK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/HahnleI94,
author = {Reiner H{\"{a}}hnle and
Ortrun Ibens},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Improving Temporal Logic Tableaux Using Integer Constraints},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {535--539},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014007},
doi = {10.1007/BFB0014007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/HahnleI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/HwangS94,
author = {Chung Hee Hwang and
Lenhart K. Schubert},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Interpreting Tense, Aspect and Time Adverbials: {A} Compositional,
Unified Approach},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {238--264},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013992},
doi = {10.1007/BFB0013992},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/HwangS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Katz94,
author = {Shmuel Katz},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Global Equivalence Proofs for {ISTL}},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {17--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013978},
doi = {10.1007/BFB0013978},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Katz94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/KuttyMMDR94,
author = {George Kutty and
Louise E. Moser and
P. M. Melliar{-}Smith and
Laura K. Dillon and
Y. S. Ramakrishna},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {First-Order Future Interval Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {195--209},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013989},
doi = {10.1007/BFB0013989},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/KuttyMMDR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/KwiatkowskaPP94,
author = {Marta Z. Kwiatkowska and
Doron A. Peled and
Wojciech Penczek},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Hierarchy of Partial Order Temporal Properties},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {398--414},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014001},
doi = {10.1007/BFB0014001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/KwiatkowskaPP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/MaioZ94,
author = {Maria Concetta Di Maio and
Alberto Zanardo},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Synchronized Histories in Prior-Thomason Representation of Branching
Time},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {265--282},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013993},
doi = {10.1007/BFB0013993},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/MaioZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/McGuireMW94,
author = {Hugh McGuire and
Zohar Manna and
Richard J. Waldinger},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Annotation-Based Deduction in Temporal Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {430--444},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014003},
doi = {10.1007/BFB0014003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/McGuireMW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Melliar-SmithMRKD94,
author = {P. M. Melliar{-}Smith and
Louise E. Moser and
Y. S. Ramakrishna and
George Kutty and
Laura K. Dillon},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A System for Automated Deduction in Graphical Interval Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {540--542},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014008},
doi = {10.1007/BFB0014008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Melliar-SmithMRKD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/MokkedemM94,
author = {Abdelillah Mokkedem and
Dominique M{\'{e}}ry},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent
Programs},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {382--397},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014000},
doi = {10.1007/BFB0014000},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/MokkedemM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/OrgunM94,
author = {Mehmet A. Orgun and
Wanli Ma},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {An Overview of Temporal and Modal Logic Programming},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {445--479},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014004},
doi = {10.1007/BFB0014004},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictl/OrgunM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Reynolds94,
author = {Mark Reynolds},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Axiomatizing \emph{U} and \emph{S} over Integer Time},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {117--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013984},
doi = {10.1007/BFB0013984},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Reynolds94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/RibeiroP94,
author = {Cristina Ribeiro and
Ant{\'{o}}nio Porto},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Abduction in Temporal Reasoning},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {349--364},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013998},
doi = {10.1007/BFB0013998},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/RibeiroP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/SorensenHL94,
author = {Morten Ulrik S{\o}rensen and
Odd Erik Hansen and
Hans Henrik L{\o}vengreen},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Combining Temporal Specification Techniques},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {1--16},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013977},
doi = {10.1007/BFB0013977},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/SorensenHL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Venema94,
author = {Yde Venema},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Completeness through Flatness in Two-Dimensional Temporal Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {149--164},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013986},
doi = {10.1007/BFB0013986},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Venema94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/VergauwenLAP94,
author = {Bart Vergauwen and
Johan Lewi and
I. Avau and
A. Pot{\'{e}}},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Efficient Computation of Nested Fix-Points, with Applications to Model
Checking},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {165--179},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013987},
doi = {10.1007/BFB0013987},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/VergauwenLAP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/WooldridgeF94,
author = {Michael J. Wooldridge and
Michael Fisher},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A Decision Procedure for a Temporal Belief Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {317--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013996},
doi = {10.1007/BFB0013996},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/WooldridgeF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Xu94,
author = {Ming Xu},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Decidability of Deliberative \emph{Stit} Theories with Multiple Agents},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {332--348},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013997},
doi = {10.1007/BFB0013997},
timestamp = {Thu, 21 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Xu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictl/1994,
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013976},
doi = {10.1007/BFB0013976},
isbn = {3-540-58241-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/1994.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.
retrieved on 2025-01-29 05:23 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
