|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abdelillah Mokkedem, Dominique Méry |
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.  |
ICTL  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugh McGuire, Zohar Manna, Richard J. Waldinger |
Annotation-Based Deduction in Temporal Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher 0001, Howard Barringer |
A Graph-Based Approach to Resolution in Temporal Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Chomicki |
Temporal Query Languages: A Survey. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Concetta Di Maio, Alberto Zanardo |
Synchronized Histories in Prior-Thomason Representation of Branching Time. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds 0001 |
Axiomatizing U and S over Integer Time. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Felder, Angelo Morzenti |
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Böhlen, Robert W. Marti |
On the Completeness of Temporal Database Query Languages. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Claire Gardent, Maarten de Rijke |
Back and Forth Through Time and Events. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Ortrun Ibens |
Improving Temporal Logic Tableaux Using Integer Constraints. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvana Badaloni, Marina Berati |
Dealing with Time Granularity in a Temporal Planning System. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Witold Lukaszewicz |
Cicumscribing Features and Fluents. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek |
A Hierarchy of Partial Order Temporal Properties. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Wooldridge, Michael Fisher 0001 |
A Decision Procedure for a Temporal Belief Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol |
A Real Time Process Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung Hee Hwang, Lenhart K. Schubert |
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher 0001 |
A Survey of Concurrent METATEM - the Language and its Applications. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Vergauwen, Johan Lewi, I. Avau, A. Poté |
Efficient Computation of Nested Fix-Points, with Applications to Model Checking. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Katz |
Global Equivalence Proofs for ISTL. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yde Venema |
Completeness through Flatness in Two-Dimensional Temporal Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehmet A. Orgun, Wanli Ma |
An Overview of Temporal and Modal Logic Programming. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Grumberg, Robert P. Kurshan |
How Linear Can Branching-Time Be? |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen |
Combining Temporal Specification Techniques. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Xu 0023 |
Decidability of Deliberative Stit Theories with Multiple Agents. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
The Abductive Event Calculus as a General Framework for Temporal Databases. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Ribeiro 0001, António Porto |
Abduction in Temporal Reasoning. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
A System for Automated Deduction in Graphical Interval Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony J. Bonner, Michael Kifer |
Applications of Transaction Logic to Knowledge Representation. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Hans Jürgen Ohlbach (eds.) |
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna |
First-Order Future Interval Logic. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Cristian Ferretti |
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko |
Temporal Logic with Reference Pointers. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Bernholtz, Orna Grumberg |
Buy One, Get One Free!!! |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license