| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
Converse-PDL with regular inclusion axioms: a framework for MAS logics.  |
Journal of Applied Non-Classical Logics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge |
Deliberation Dialogues during Multi-agent Planning. |
ISMIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge |
Modeling Deliberation in Teamwork. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas |
Tractable model checking for fragments of higher-order coalition logic. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak |
TEAMLOG in action: A case study in teamwork. |
Comput. Sci. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
A layered rule-based architecture for approximate knowledge fusion? |
Comput. Sci. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
A Framework for Graded Beliefs, Goals and Intentions. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. |
Int. J. Approx. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rineke Verbrugge, Barbara Dunin-Keplicz |
Formal approaches to multi-agent sysems. |
Autonomous Agents and Multi-Agent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
Fusing Approximate Knowledge from Distributed Sources. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge, Michal Slizak |
Case-Study for TeamLog, a Theory of Teamwork. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Introductory Essay of FAMAS'09. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (eds.) |
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz |
Complexity Issues in Multiagent Logics. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas |
Dynamics of Approximate Information Fusion. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
information fusion, approximate reasoning, similarity relation |
| 1 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz |
Reducing the complexity of logics for multiagent systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
complexity, multiagent systems, teamwork, BDI logics |
| 1 | Barbara Dunin-Keplicz, Andrzej Szalas |
Towards Approximate BGI Systems. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
Bgi systems, multimodal logics, multiagent systems, approximate reasoning |
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Awareness as a vital ingredient of teamwork. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
inter-personal awareness, intra-personal awareness, teamwork, group awareness, BDI logic |
| 1 | Barbara Dunin-Keplicz, Andrea Omicini, Julian A. Padget (eds.) |
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, Lisbon, Portugal, December 14-15, 2006 |
EUMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcin Dziubinski, Rineke Verbrugge, Barbara Dunin-Keplicz |
Complexity of a theory of collective attitudes in teamwork. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
A Tuning Machine for Cooperative Problem Solving. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jacek Brzezinski, Piotr Dunin-Keplicz, Barbara Dunin-Keplicz |
Collectively Cognitive Agents in Cooperative Teams. |
ESAW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Evolution of Collective Commitment during Teamwork. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Dialogue in teamwork. |
ISPE CE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Dynamics of Collective Attitudes during Teamwork. |
ESAW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Calibrating Collective Commitments. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Collective Intentions. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Evolution of collective commitment during reconfiguration. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
collective attitudes, reconfiguration, teamwork |
| 1 | Barbara Dunin-Keplicz, Edward Nawarecki (eds.) |
From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers |
CEEMAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge |
Creating Collective Intention through Dialogue. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge |
Dialogue in Team Formation. |
Issues in Agent Communication |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge |
Agent Theory for Team Formation by Dialogue. |
ATAL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
Collective Motivational Attitudes in Cooperative Problem Solving. |
CEEMAS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Rineke Verbrugge |
A Reconfiguration Algorithm for the Maintenance of Collective Commitments. |
ICMAS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur |
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. |
Int. J. Cooperative Inf. Syst. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Anna Radzikowska |
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge |
Modelling Internal Dynamic Behaviour of BDI Agents. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Anna Radzikowska |
Epistemic Approach to Actions with Typical Effects. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Frances M. T. Brazier, Barbara Dunin-Keplicz, Nick R. Jennings, Jan Treur |
Formal Specification of Multi-Agent Systems: A Real-World Case. |
ICMAS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Anna Radzikowska |
Actions with Typical Effects: Epistemic Characterization of Scenarios. |
ICMAS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Jan Treur |
Compositional Formal Specification of Multi-Agent Systems. |
ECAI Workshop on Agent Theories, Architectures, and Languages |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj |
CAProDel: a system for computer aided program development. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz |
An Architecture with Multiple Meta-Levels for the Development of Correct Programs. |
META |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz |
Partial Reconstruction of Coreferential Structure of Discourse. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Witold Lukaszewicz |
Towards Discourse-Oriented Nonmonotonic System. |
COLING |
1986 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz |
How To Restrict Ambiguity Of Discourse. |
EACL |
1985 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz |
Default Reasoning in Anaphora Resolution. |
ECAI |
1984 |
DBLP BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz |
Towards Better Understanding Of Anaphora. |
EACL |
1983 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")