Cover Image

Time structures : formal description and algorithmic representation /

"The notion of time plays an important role in modern science. In computer science and artificial intelligence, the parameter of time is of particular importance, e.g. for planning robot activity, natural language processing, and time-varying scene analysis. This work investigates the relations...

Full description

Bibliographic Details
Main Author:	Hajnicz, Elżbieta
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1047. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer algorithms. Time. Artificial intelligence. raisonnement temporel. algorithme temporel. logique temporelle. temps. Algorithmes. Intelligence artificielle. Temps. Temporales Schlie€en. Modallogik. Temporale Logik. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-September 1, 1995 : selected papers /
Published: (1996)

Intelligent algorithms : theory and practice /
by: Huang, Han, et al.
Published: (2024)

Algomedia : the image at the time of artificial intelligence /
Published: (2026)

Algorithm engineering and experiments : 4th international workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5. 2002 : revised papers /
Published: (2002)

Constraint handling in cohort intelligence algorithm /
by: Kale, Ishaan R., et al.
Published: (2021)

Progress in artificial intelligence : IBERAMIA 98 : 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, proceedings /
Published: (1998)

Computational intelligence : theory and applications : international conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 : proceedings /
Published: (1997)

Multimodal scene understanding : algorithms, applications and deep learning /
Published: (2019)

Algorithmic learning for knowledge-based systems : GOSLER final report /
Published: (1995)

Developing new anthropomorphic learning models to study decision theory.
Published: (2019)

Algorithm engineering and experimentation : international workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers /
Published: (1999)

Evolutionary optimization algorithms /
by: Badar, Altaf Q. H.
Published: (2022)

Swarm intelligence.
Published: (2018)

A perspective of constraint-based reasoning : an introductory tutorial /
by: Güsgen, Hans Werner, 1959-
Published: (1992)

Algorithm design for computer system design /
Published: (1984)

Nonmonotonic logics : basic concepts, results, and techniques /
by: Schlechta, Karl
Published: (1997)

Handbook of moth-flame optimization algorithm : variants, hybrids, improvements, and applications /
Published: (2023)

Hidden in White sight : how AI empowers and deepens systemic racism /
by: Lawrence, Calvin (Computer scientist)
Published: (2023)

Busting the myth of 'neutral' AI.
Published: (2020)

Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers /
Published: (1998)

Algorithms--ESA 2003 : 11th annual European symposium, Budapest, Hungary, September 16-19, 2003 : proceedings /
Published: (2003)

Soft Computing for Problem Solving : Proceedings of the SocProS 2022 /
Published: (2023)

Exploiting Mental Imagery with Computers in Mathematics Education /
by: Sutherland, Rosamund
Published: (1995)

Swarm intelligence algorithms.
Published: (2020)

Algorithms /
by: Mueller, John, 1958-, et al.
Published: (2022)

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
Published: (1996)

TREAT : a new and efficient match algorithm for AI production systems /
by: Miranker, Daniel P.
Published: (1990)

Tractable reasoning in artificial intelligence /
by: Cadoli, Marco, 1965-
Published: (1995)

Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings /
Published: (2001)

Advances in temporal logic /
Published: (2000)

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings /
Published: (1994)

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization /
by: Fahringer, Thomas, 1965-
Published: (2003)

ARTIFICIAL INTELLIGENCE IN A THROUGHPUT MODEL : some major algorithms.
by: Rodgers, Waymond
Published: (2020)

Algorithms--ESA 2002 : 10th annual European symposium, Rome, Italy, September 17-21, 2002 : proceedings /
Published: (2002)

Algorithms-ESA 2001 : 9th annual European symposium, Åarhus, Denmark, August 28-31, 2001 : proceedings /
Published: (2001)

Uczenie maszynowe dla programistów /
by: Conway, Drew, et al.
Published: (2015)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Published: (2001)

Algorithmic harm : protecting people in the age of artificial intelligence /
by: Bar-Gill, Oren, et al.
Published: (2025)

Non-standard inferences in description logics /
by: Küsters, Ralf
Published: (2001)

Algorithms and architectures of artificial intelligence /
by: Tõugu, Enn, 1935-
Published: (2007)