|
Showing 1 - 8 of
8 matches in All Departments
This volume brings together a group of philosophically oriented
logicians and logic-minded philosophers, mainly from Asia, to
address a variety of logical and philosophical topics, such as
modal logic and related directions (e.g. temporal logic, epistemic
logic, deontic logic, logic of conditionals, and modal proof
theory), theory of truth, paradoxes, intentionality, and social
networks. New approaches are also proposed, such as extended modal
logic with planarity of graphs, extended branching time temporal
logic with conditional operators, and a relational treatment of
language and logical systems, to name but a few.Given the variety
of topics and issues discussed here, the book will appeal to
readers from a broad range of disciplines, from
mathematical/philosophical logic, computing science, cognitive
science and artificial intelligence, to linguistics, game theory
and beyond.
This volume brings together a group of philosophically oriented
logicians and logic-minded philosophers, mainly from Asia, to
address a variety of logical and philosophical topics, such as
modal logic and related directions (e.g. temporal logic, epistemic
logic, deontic logic, logic of conditionals, and modal proof
theory), theory of truth, paradoxes, intentionality, and social
networks. New approaches are also proposed, such as extended modal
logic with planarity of graphs, extended branching time temporal
logic with conditional operators, and a relational treatment of
language and logical systems, to name but a few.Given the variety
of topics and issues discussed here, the book will appeal to
readers from a broad range of disciplines, from
mathematical/philosophical logic, computing science, cognitive
science and artificial intelligence, to linguistics, game theory
and beyond.
"Efficient Computation of Argumentation Semantics" addresses
argumentation semantics and systems, introducing readers to
cutting-edge decomposition methods that drive increasingly
efficient logic computation in AI and intelligent systems. Such
complex and distributed systems are increasingly used in the
automation and transportation systems field, and particularly
autonomous systems, as well as more generic intelligent computation
research.
The Series in Intelligent Systems publishes titles that cover
state-of-the-art knowledge and the latest advances in research and
development in intelligent systems. Its scope includes theoretical
studies, design methods, and real-world implementations and
applications. The series publishes titles in three core sub-topic
areas: intelligent automation, intelligent transportation systems,
and intelligent computing.
The first book to cover new methods for computing static, dynamic,
and partial argumentation systemsMethods are applicable to
development of systems and research areas in both AI and broader
intelligent systemsProvides the AI and IS community with insight
into the critical field of efficient computation, with a focus on
intelligent automation, intelligent transportation systems, and
intelligent computing
This volume collects selected papers presented at the Second
Chinese Conference on Logic and Argumentation in 2018 held in
Hangzhou, China. The papers presented reflect recent advances in
logic and argumentation, as well as the connections between the
two, and also include invited papers contributed by leading experts
in these fields. The book covers a wide variety of topics related
to dynamics, uncertainty and reasoning. It continues discussions on
the interplay between logic and argumentation which has a long
history from Aristotle's ancient logic to very recent formal
argumentation in AI.
|
PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings (Paperback, 1st ed. 2019)
Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern
|
R3,120
Discovery Miles 31 200
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 22nd
International Conference on Principles and Practice of Multi-Agent
Systems, PRIMA 2019, held in Turin, Italy, in October 2019. The 25
full papers presented and 25 short papers were carefully reviewed
and selected from 112 submissions. The papers presented at the
PRIMA 2019 conference focus on the following topics: Logic and
Reasoning, Engineering Multi-Agent Systems, Agent-Based Modeling
and Simulation, Collaboration and Coordination, Economic Paradigms,
Human-Agent Interaction, Decentralized Paradigms, and Application
Domains for Multi-Agent Systems.
This volume collects selected papers presented at the Second
Chinese Conference on Logic and Argumentation in 2018 held in
Hangzhou, China. The papers presented reflect recent advances in
logic and argumentation, as well as the connections between the
two, and also include invited papers contributed by leading experts
in these fields. The book covers a wide variety of topics related
to dynamics, uncertainty and reasoning. It continues discussions on
the interplay between logic and argumentation which has a long
history from Aristotle's ancient logic to very recent formal
argumentation in AI.
|
You may like...
Southern Man
Greg Iles
Paperback
R420
R280
Discovery Miles 2 800
Only The Brave
Danielle Steel
Paperback
R365
R260
Discovery Miles 2 600
Hauntings
Niq Mhlongo
Paperback
R250
R195
Discovery Miles 1 950
|