close
1.

電子ブック
ＥＢ
1. Declarative Agent Languages and Technologies III
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Declarative Agent Languages and Technologies IV
Matteo Baldoni, Ulle Endriss, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Declarative Agent Languages and Technologies VI
Matteo Baldoni, M. Birna Riemsdijk, J?rg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
4.

電子ブック
ＥＢ
4. Declarative Agent Languages and Technologies VII
Matteo Baldoni, Jamal Bentahar, Takeo Kanade, John Lloyd, M. Birna Riemsdijk
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Playing with Rules / João Leite
Invited Papers
The Refinement of Choreographed Multi-Agent Systems / L&abrave;cr&abrave;mioara Aştef&abrave;noaei ; Frank S. de Boer ; Mehdi Dastani
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust / Célia da Costa Pereira ; Andrea G.B. Tettamanzi
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach / Henrique Lopes Cardoso ; Eugénio Oliveira
Contributed Papers
Unifying the Intentional and Institutional Semantics of Speech Acts / Carole Adam ; Andreas Herzig ; Dominique Longin ; Vincent Louis
Tableaux for Acceptance Logic / Mathijs de Boer ; Tiago de Lima ; Emiliano Lorini
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology / Nicoletta Fornara ; Marco Colombetti
Prioritized Goals and Subgoals in a Logical Account of Goal Change-A Preliminary Report / Shakil M. Khan ; Yves Lespérance
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks / Babak Khosravifar ; Jamal Bentahar ; Maziar Gomrokchi
Computing Utility from Weighted Description Logic Preference Formulas / Azzurra Rogone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games / Michal P. Sindlar ; Mehdi M. Dastani ; Frank Dignum ; John-Jules Ch. Meyer
Correctness Properties for Multiagent Systems / Munindar P. Singh ; Amit K. Chopra
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming / Tran Cao Son ; Chiaki Sakama
Social Commitments in Time: Satisfied or Compensated / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
Verifying Dribble Agents / Doan Thu Trang ; Brian Logan ; Natasha Alechina
Author Index
Invited Talk
Playing with Rules / João Leite
Invited Papers
5.

電子ブック
ＥＢ
5. Declarative Agent Languages and Technologies V
Matteo Baldoni, M. Birna Riemsdijk, J?rg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
6.

電子ブック
ＥＢ
6. Declarative Agent Languages and Technologies III
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Declarative Agent Languages and Technologies IV
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Declarative Agent Languages and Technologies V
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff, M. Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
Joint Conversation Specification and Compliance / Shamimabi Paurobally ; Michael Wooldridge
Interoperation in Protocol Enactment / Amit K. Chopra ; Munindar P. Singh
Contributed Papers: Modeling
Integrating Agent Models and Dynamical Systems / Tibor Bosse ; Alexei Sharpanskykh ; Jan Treur
Contributed Papers: Goals
Composing High-Level Plans for Declarative Agent Programming / Felipe Meneguzzi ; Michael Luck
Satisfying Maintenance Goals / Koen V. Hindriks ; M. Birna van Riemsdijk
Towards Alternative Approaches to Reasoning About Goals / Patricia H. Shaw ; Rafael H. Bordini
Contributed Papers: Foundational Concepts
Reflections on Agent Beliefs / John W. Lloyd ; Kee Siong Ng
Modeling Agents' Choices in Temporal Linear Logic / Duc Quang Pham ; James Harland ; Michael Winikoff
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints / Martin J. Kollingbaum ; Wamberto Vasconcelos ; Andres García-Camino ; Timothy J. Norman
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Contributed Papers: Communication
Structured Argumentation in a Mediator for Online Dispute Resolution / Ioan Alfred Letia ; Adrian Groza
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Component-Based Standardisation of Agent Communication / Frank Guerin
Author Index
Invited Talk
Agent-Oriented Modelling: Declarative or Procedural? / Leon Sterling
Invited Papers
9.

電子ブック
ＥＢ
9. Declarative Agent Languages and Technologies VI
Matteo Baldoni, M. Birna Riemsdijk, Jörg Siekmann, Tran Cao Son, Michael Winikoff, Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
10.

電子ブック
ＥＢ
10. Declarative Agent Languages and Technologies VII
Matteo Baldoni, Jamal Bentahar, Takeo Kanade, John Lloyd, M. Birna Riemsdijk, M. Birna van Riemsdijk
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Playing with Rules / João Leite
Invited Papers
The Refinement of Choreographed Multi-Agent Systems / L&abrave;cr&abrave;mioara Aştef&abrave;noaei ; Frank S. de Boer ; Mehdi Dastani
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust / Célia da Costa Pereira ; Andrea G.B. Tettamanzi
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach / Henrique Lopes Cardoso ; Eugénio Oliveira
Contributed Papers
Unifying the Intentional and Institutional Semantics of Speech Acts / Carole Adam ; Andreas Herzig ; Dominique Longin ; Vincent Louis
Tableaux for Acceptance Logic / Mathijs de Boer ; Tiago de Lima ; Emiliano Lorini
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology / Nicoletta Fornara ; Marco Colombetti
Prioritized Goals and Subgoals in a Logical Account of Goal Change-A Preliminary Report / Shakil M. Khan ; Yves Lespérance
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks / Babak Khosravifar ; Jamal Bentahar ; Maziar Gomrokchi
Computing Utility from Weighted Description Logic Preference Formulas / Azzurra Rogone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games / Michal P. Sindlar ; Mehdi M. Dastani ; Frank Dignum ; John-Jules Ch. Meyer
Correctness Properties for Multiagent Systems / Munindar P. Singh ; Amit K. Chopra
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming / Tran Cao Son ; Chiaki Sakama
Social Commitments in Time: Satisfied or Compensated / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
Verifying Dribble Agents / Doan Thu Trang ; Brian Logan ; Natasha Alechina
Author Index
Invited Talk
Playing with Rules / João Leite
Invited Papers
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼