|
Showing 1 - 4 of
4 matches in All Departments
|
Advances in Artificial Intelligence - IBERAMIA 2018 - 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings (Paperback, 1st ed. 2018)
Guillermo R. Simari, Eduardo Ferme, Flabio Gutierrez Segura, Jose Antonio Rodriguez Melquiades
|
R1,673
Discovery Miles 16 730
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th
Ibero-American Conference on Artificial Intelligence, IBERAMIA
2018, held in Trujillo, Peru,in November 2018. The 41 papers
presented were carefully reviewed and selected from 92 submissions.
The papers are organized in the following topical sections:
Knowledge Engineering, Knowledge Representation and Reasoning under
Uncertainty., Multiagent Systems., Game Theory and Economic
Paradigms, Game Playing and Interactive Entertainment, Ambient
Intelligence, Machine Learning Methods, Cognitive Modeling,General
AI, Knowledge Engineering, Computational Sustainability and AI,
Heuristic Search and Optimization and much more.
This book explains how the logic of theory change employs formal
models in the investigation of changes in belief states and
databases. The topics covered include equivalent characterizations
of AGM operations, extended representations of the belief states,
change operators not included in the original framework, iterated
change, applications of the model, its connections with other
formal frameworks, and criticism of the model.
|
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Paperback, 2014 ed.)
Eduardo Ferme, Joao Leite
|
R1,728
Discovery Miles 17 280
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 14th European
Conference on Logics in Artificial Intelligence, JELIA 2014, held
in Funchal, Madeira, Portugal, in September 2014. The 35 full
papers and 14 short papers included in this volume were carefully
reviewed and selected from 121 submissions. They are organized in
topical sections named: description logics; automated reasoning;
logics for uncertain reasoning; non-classical logics; answer-set
programming; belief revision; dealing with inconsistency in ASP and
DL; reason about actions and causality; system descriptions; short
system descriptions; and short papers. The book also contains 4
full paper invited talks.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R369
Discovery Miles 3 690
|