[图书][B] Logical dynamics of information and interaction

J Van Benthem - 2011 - books.google.com
This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

[图书][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

[PDF][PDF] Stanford encyclopedia of philosophy

EN Zalta, U Nodelman, C Allen… - See http://plato. stanford …, 2002 - academia.edu
After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

[图书][B] Temporal Logics

V Goranko - 2023 - cambridge.org
Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

Modal logics of space

J van Benthem, G Bezhanishvili - Handbook of spatial logics, 2007 - Springer
Despite historical links between the foundations of mathematics and development of
axiomatic geometry, substantial logics for significant spatial structures have been scarce …

Merging frameworks for interaction: DEL and ETL

J Van Benthem, J Gerbrandy, E Pacuit - Proceedings of the 11th …, 2007 - dl.acm.org
Many logical systems today describe intelligent interacting agents over time. Frameworks
include Interpreted Systems (IS, Fagin et al.[5]), Epistemic-Temporal Logic (ETL, Parikh & …

[图书][B] An introduction to practical formal methods using temporal logic

M Fisher - 2011 - books.google.com
The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Temporal representation and reasoning

M Fisher - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary This chapter presents many ways in which temporal phenomena can be
modeled, described, reasoned about, and applied. The chapter describes the use of …

The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures

A Armando, W Arsac, T Avanesov, M Barletta… - … 2012, Held as Part of the …, 2012 - Springer
The AVANTSSAR Platform is an integrated toolset for the formal specification and
automated validation of trust and security of service-oriented architectures and other …

Dynamic logics of belief change

J van Benthem, S Smets - 2015 - eprints.illc.uva.nl
This chapter gives an overview of current dynamic logics that describe belief update and
revision, both for single agents and in multi-agent settings. We employ a mixture of ideas …