|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 3 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Magdalena Kacprzak, Witold Kosinski, Piotr Prokopowicz |
Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two.  |
ICAISC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski |
Using the Perseus System for Modelling Epistemic Interactions. |
T. Computational Collective Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
Update of Probabilistic Beliefs: Implementation and Parametric Verification. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Piotr Kulicki, Robert Trypuz, Katarzyna Budzynska, Pawel Garbacz, Marek Lechniak, Pawel Rembelski |
Using Perseus System for Modelling Epistemic Interactions. |
KES-AMSTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
Perseus. Software for Analyzing Persuasion Process. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
Logic for Reasoning about Components of Persuasive Actions. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
Success of persuasion, nonverbal arguments, formal models of persuasive actions |
| 1 | Katarzyna Budzynska, Magdalena Kacprzak |
A Logic for Reasoning about Persuasion. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
VerICS 2007 - a Model Checker for Knowledge and Real-Time. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
Modeling Persuasiveness: change of uncertainty through agents' interactions. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak |
A Strong Completeness Result for a MAS Logic. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Penczek |
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. |
Autonomous Agents and Multi-Agent Systems |
2005 |
DBLP DOI BibTeX RDF |
Alternating-time Temporal Logic, unbounded model checking, SAT-based verification, multi-agent systems, symbolic model checking |
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter |
Verifying Multi-agent Systems via Unbounded Model Checking. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
unbounded model checking, multi-agent systems, Model checking |
| 1 | Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek |
Verification of Multiagent Systems via Unbounded Model Checking. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak, Wojciech Penczek |
Unbounded Model Checking for Alternating-Time Temporal Logic. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Kacprzak |
Undecidability of a Multi-Agent Logic. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak |
A Complete Axiomatization of Process Temporal Logic. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Magdalena Kacprzak |
Formalization of Multiagent Reasoning. |
PARELEC |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")