Deontic Logic in Computer Science [[electronic resource] ] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / / edited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 215 p. 21 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer logic Application software Computer programming Computer science—Mathematics Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Computer Appl. in Administrative Data Processing Programming Techniques Discrete Mathematics in Computer Science |
ISBN | 3-642-31570-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465323403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Knowledge Representation for Agents and Multi-Agent Systems [[electronic resource] ] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / / edited by John-Jules Meyer, Jan M. Broersen |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (VII, 162 p.) |
Disciplina | 004n/a |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Computers Mathematical logic Data mining Application software Artificial Intelligence User Interfaces and Human Computer Interaction Theory of Computation Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) |
Soggetto genere / forma |
Kongress.
Sydney (2008) |
ISBN | 3-642-05301-7 |
Classificazione |
DAT 709f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reasoning about Other Agents’ Beliefs under Bounded Resources -- Normative Multi-agent Programs and Their Logics -- Modal Logics for Preferences and Cooperation: Expressivity and Complexity -- Simulation and Information: Quantifying over Epistemic Events -- On the Dynamics of Institutional Agreements -- From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic -- Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms -- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments -- Information-Based Argumentation -- Mediation = Information Revelation + Analogical Reasoning. |
Record Nr. | UNISA-996465840203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|