Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Logic-based technologies for multi-agent systems: a systematic literature review
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …
them be identified with the whole AI by many non-computer-scientists and non-technical …
Multi-agent systems
Publisher Summary The discipline of knowledge representation focuses on the way to
represent and reason about environments with various different properties, usually with the …
represent and reason about environments with various different properties, usually with the …
Evolution of cooperation in stochastic games
Social dilemmas occur when incentives for individuals are misaligned with group
interests,,,,,–. According to the 'tragedy of the commons', these misalignments can lead to …
interests,,,,,–. According to the 'tragedy of the commons', these misalignments can lead to …
Contracts for system design
Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …
complements system design methodologies proposed so far to cope with the complexity of …
MCMAS: an open-source model checker for the verification of multi-agent systems
We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS
supports efficient symbolic techniques for the verification of multi-agent systems against …
supports efficient symbolic techniques for the verification of multi-agent systems against …
[HTML][HTML] Stanford encyclopedia of philosophy
E Zalta - 2012 - philpapers.org
Ed Zalta (ed.), Stanford Encyclopedia of Philosophy - PhilPapers Sign in | Create an account
PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax Advanced …
PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax Advanced …
[کتاب][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 …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
[کتاب][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 …
Synthesis for LTL and LDL on finite traces
In this paper, we study synthesis from logical specifications over finite traces expressed in
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …
[کتاب][B] The calculus of computation: decision procedures with applications to verification
AR Bradley, Z Manna - 2007 - books.google.com
Computational logic is a fast-growing field with applications in artificial intelligence,
constraint solving, and the design and verification of software and hardware systems. Written …
constraint solving, and the design and verification of software and hardware systems. Written …