Journal Article10.1007/978-3-7091-7664-1
Temporal Logic
Alasdair Urquhart
- 01 Jun 1971
229
About: The article was published on 01 Jun 1971.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
Maintaining knowledge about temporal intervals
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
7.9K
•Book
Multiagent Systems : A Modern Approach to Distributed Artificial Intelligence
Gerhard Weiss
- 31 Jul 2000
TL;DR: This is the first comprehensive introduction to multiagent systems and contemporary distributed artificial intelligence and will be a useful reference not only for computer scientists and engineers, but for social scientists and management and organization scientists as well.
4.5K
Specification and verification of concurrent systems in CESAR
Jean-Pierre Queille,Joseph Sifakis +1 more
- 06 Apr 1982
TL;DR: By an example, the alternating bit protocol, the use of CESAR, an interactive system for aiding the design of distributed applications, is illustrated.
1.6K
Languages, automata, and logic
Wolfgang Thomas
- 01 Apr 1997
TL;DR: The subject of this chapter is the study of formal languages (mostly languages recognizable by finite automata) in the framework of mathematical logic.
A temporal logic for reasoning about processes and plans
TL;DR: In this paper, a first-order temporal logic is proposed, in which it is possible to name and prove things about facts, events, plans, and world histories, as well as the persistence of facts and the relationship between tasks and actions.
883