[图书][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 …
interaction between many agents-with conversation, argumentation and games as guiding …
[图书][B] Handbook of knowledge representation
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 …
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 …
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 …
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 …
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 & …
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 …
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 …
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 …
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 …
revision, both for single agents and in multi-agent settings. We employ a mixture of ideas …