Fifth International Workshop on Temporal Representation and Reasoning

Fifth International Workshop on Temporal Representation and Reasoning
Author: Lina Khatib
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 214
Release: 1998
Genre: Computers
ISBN:

This volume addresses topics including: temporal reasoning in plan management; accounting for temporal evolutions in highly reactive decision-making; modelling problems; qualitative temporal reasoning; and quantitative structural temporal constraints on repeating events.

Proceedings of the 5th International Conference on Big Data and Internet of Things

Proceedings of the 5th International Conference on Big Data and Internet of Things
Author: Mohamed Lazaar
Publisher: Springer Nature
Total Pages: 600
Release: 2022-07-03
Genre: Computers
ISBN: 3031079698

This book is a collection of papers in the research area of big data, cloud computing, cybersecurity, machine learning, deep learning, e-learning, Internet of Things, reinforcement learning, information system, social media and natural language processing. This book includes papers presented at the 5th International Conference on Big Data Cloud and Internet of Things, BDIoT 2021 during March 17–18, 2021, at ENSIAS, Mohammed V University in Rabat, Morocco.

Current Issues in Databases and Information Systems

Current Issues in Databases and Information Systems
Author: Julius Stuller
Publisher: Springer
Total Pages: 409
Release: 2003-06-29
Genre: Computers
ISBN: 3540444726

The East European Conference on Advances in Databases and Information - stems (ADBIS) is the successor of the annual International Workshops with the same title that during 1993{1996 were organized in Russia by the Moscow ACM SIGMOD Chapter. Initiated in St. Petersburg, Russia, in 1997, it con- nued in Poznan, Poland, in 1998 and in Maribor, Slovenia, in 1999. The ADBIS Conference became the premier database and information systems conference in Eastern Europe. It intended to increase interaction and collaboration b- ween researchers from the East and the West, and to provide an internationally recognized tribune for the presentation of research results. The International Conference on Database Systems for Advanced Appli- tions (DASFAA) was rst held in Seoul, Korea, in 1989 to promote database research and development activities in Asian and Australasian countries. The Special Interest Group of Database Systems (SIGDBS) of the Information P- cessing Society of Japan (IPSJ) and the Special Interest Group of Data Base (SIGDB) of Korea Information Science Society (KISS) had important roles in the organization of DASFAA. Since that time the DASFAA has been held e- ry two years: Tokyo in 1991, Daejon in 1993, Singapore in 1995, Melbourne in 1997, and Taiwan in 1999. The DASFAA became one of the most prestigious international conferences ever held in Asia or Australasia.

Facing the Future

Facing the Future
Author: Nuel Belnap
Publisher: Oxford University Press
Total Pages: 518
Release: 2001-08-02
Genre: Philosophy
ISBN: 0195350073

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future. It is a theory that makes indeterminism not only intelligible but illuminating. Tools from philosophy of language and philosophical logic help generate a full-scale account of agents "seeing to it that." The authors then proceed to clarify a variety of action-related topics such as determinism vs. indeterminism, imperatives, promises, strategies, joint agency, "could have done otherwise," deontic constructions, and assertions about a not yet settled future.

Time-Integrative Geographic Information Systems

Time-Integrative Geographic Information Systems
Author: Thomas Ott
Publisher: Springer Science & Business Media
Total Pages: 258
Release: 2012-12-06
Genre: Science
ISBN: 3642567479

The book deals with the integration of temporal information in Geographic Information Systems. The main purpose of an historical or time-integrative GIS is to reproduce spatio- temporal processes or sequents of events in the real world in the form of a model. The model thus making them accessible for spatial query, analysis and visualization. This volume reflects both theoretical thoughts on the interrelations of space and time, as well as practical examples taken from various fields of application (e.g. business data warehousing, demographics, history and spatial analysis).

Perspectives of Systems Informatics

Perspectives of Systems Informatics
Author: Manfred Broy
Publisher: Springer Science & Business Media
Total Pages: 587
Release: 2004-01-13
Genre: Computers
ISBN: 3540208135

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

Current Topics in Artificial Intelligence

Current Topics in Artificial Intelligence
Author: Asociación Española de Inteligencia Artificial
Publisher: Springer Science & Business Media
Total Pages: 703
Release: 2004-06-17
Genre: Business & Economics
ISBN: 3540222189

This book constitutes the thoroughly refereed joint post-proceedings of the 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and the 5th Conference on Technology Transfer, TTIA 2003, held in San Sebastián, Spain, in November 2003. The 66 revised full papers presented together with one invited paper were carefully selected during two rounds of reviewing and improvement from an initial total of 214 submissions. The papers span the entire spectrum of artificial intelligence and advanced applications in various fields.

Automatically Ordering Events and Times in Text

Automatically Ordering Events and Times in Text
Author: Leon R.A. Derczynski
Publisher: Springer
Total Pages: 220
Release: 2016-10-18
Genre: Technology & Engineering
ISBN: 3319472410

The book offers a detailed guide to temporal ordering, exploring open problems in the field and providing solutions and extensive analysis. It addresses the challenge of automatically ordering events and times in text. Aided by TimeML, it also describes and presents concepts relating to time in easy-to-compute terms. Working out the order that events and times happen has proven difficult for computers, since the language used to discuss time can be vague and complex. Mapping out these concepts for a computational system, which does not have its own inherent idea of time, is, unsurprisingly, tough. Solving this problem enables powerful systems that can plan, reason about events, and construct stories of their own accord, as well as understand the complex narratives that humans express and comprehend so naturally. This book presents a theory and data-driven analysis of temporal ordering, leading to the identification of exactly what is difficult about the task. It then proposes and evaluates machine-learning solutions for the major difficulties. It is a valuable resource for those working in machine learning for natural language processing as well as anyone studying time in language, or involved in annotating the structure of time in documents.

Intelligent Agents V: Agents Theories, Architectures, and Languages

Intelligent Agents V: Agents Theories, Architectures, and Languages
Author: Jörg Müller
Publisher: Springer
Total Pages: 463
Release: 2007-04-29
Genre: Computers
ISBN: 3540490574

The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.

AI Approaches to the Complexity of Legal Systems XI-XII

AI Approaches to the Complexity of Legal Systems XI-XII
Author: Víctor Rodríguez-Doncel
Publisher: Springer Nature
Total Pages: 342
Release: 2021-11-26
Genre: Computers
ISBN: 3030898113

This book includes revised selected papers from the International Workshops on AI Approaches to the Complexity of Legal Systems, AICOL-XI@JURIX2018, held in Groningen, The Netherlands, on December 12, 2018; AICOL-XII@JURIX 2020, held in Brno, Czechia, on December 9, 2020; XAILA@JURIX 2020, held in in Brno, Czechia, on December 9, 2020.*The 17 full and 4 short papers included in this volume were carefully reviewed and selected form 39 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are logically organized in 5 blocks: ​Knowledge Representation; Logic, rules, and reasoning; Explainable AI in Law and Ethics; Law as Web of linked Data and the Rule of Law; Data protection and Privacy Modelling and Reasoning. *Due to the Covid-19 pandemic AICOL-XII@JURIX 2020 and XAILA@JURIX 2020 were held virtually.