In Book or Collection
| Show abstracts (where available) BibTeX entries | ||
| 2013 | ||
| [30] |
.
2013. Logic-Based Roughification. In A. Skowron and Z. Suraj, editors, Rough Sets and Intelligent Systems - Professor ZdzisÅ‚aw Pawlak in Memoriam (vol. I), pages 517–543. In series: Intelligent Systems Reference Library #42. Springer Berlin/Heidelberg. ISBN: 978-3-642-30343-2. DOI: 10.1007/978-3-642-30344-9_19. |
|
| [29] |
.
2013. Distributed Paraconsistent Belief Fusion. In Giancarlo Fortino , Costin Badica , Michele Malgeri and Rainer Unland, editors, Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012, pages 59–69. In series: Studies in Computational Intelligence #446. Springer Berlin/Heidelberg. ISBN: 978-3-642-32523-6. DOI: 10.1007/978-3-642-32524-3_9. |
|
| 2012 | ||
| [28] |
.
2012. On the Logic of Delegation - Relating Theory and Practice. In Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli, editors, The Goals of Cognition: Essays in honour of Cristiano Castelfranchi, pages 467–496. College Publications. ISBN: 978-1848900943. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-184... |
|
| [27] |
.
2012. A Distributed Task Specification Language for Mixed-Initiative Delegation. In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 42–57. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, e-978-3-642-25920-3. DOI: 10.1007/978-3-642-25920-3_4. |
|
| [26] |
.
2012. Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study. In Nirmit Desai, Alan Liu, Michael Winikoff, editors, Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers, pages 288–303. In series: Lecture Notes in Computer Science #7057. Springer Berlin/Heidelberg. ISBN: 978-3-642-25919-7, e-978-3-642-25920-3. DOI: 10.1007/978-3-642-25920-3_20. |
|
| [25] |
.
2012. Epistemic Profiles and Belief Structures. In Gordan Jezic , Mario Kusek , Ngoc-Thanh Nguyen , Robert J. Howlett and Lakhmi C. Jain, editors, Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings, pages 360–369. In series: Lecture Notes in Computer Science #7327. Springer Berlin/Heidelberg. ISBN: 978-3-642-30946-5, e- 978-3-642-30947-2. DOI: 10.1007/978-3-642-30947-2_40. |
|
| [24] |
.
2012. Paraconsistent Reasoning for Semantic Web Agents. In Ngoc Thanh Nguyen, editor, Transactions on Compuational Collective Intelligence VI, pages 36–55. In series: Lecture Notes in Computer Science #7190. Springer Berlin/Heidelberg. ISBN: 978-3-642-29355-9, e-978-3-642-29356-6. DOI: 10.1007/978-3-642-29356-6_2. |
|
| [23] |
.
2012. Agents in Approximate Environments. In Jan Ejick and Rineke Verbrugge, editors, Games, Actions and Social Software: Multidisciplinary Aspects, pages 141–163. In series: Lecture Notes in Computer Science #7010. Springer. ISBN: 978-3-642-29325-2 (print), 978-3-642-29326-9 (online). DOI: 10.1007/978-3-642-29326-9_8. |
|
| 2011 | ||
| [22] |  |
.
2011. A Delegation-Based Architecture for Collaborative Robotics. In Danny Weyns and Marie-Pierre Gleizes, editors, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers, pages 205–247. In series: Lecture Notes in Computer Science #6788. Springer Berlin/Heidelberg. ISBN: 978-3-642-22635-9. DOI: 10.1007/978-3-642-22636-6_13. Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-3-6... |
| 2010 | ||
| [21] |
.
2010. Positioning Unmanned Aerial Vehicles As Communication Relays for Surveillance Tasks. In J. Trinkle, Y. Matsuoka and J.A. Castellanos, editors, Robotics: Science and Systems V, pages 257–264. MIT Press. ISBN: 978-0-262-51463-7. |
|
| 2009 | ||
| [20] | |
.
2009. Temporal Action Logics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation, pages 709–757. In series: Foundations of Artificial Intelligence #3. Elsevier. ISBN: 978-0-444-52211-5. DOI: 10.1016/S1574-6526(07)03018-0. |
| [19] |
.
2009. Paraconsistent Reasoning with Words. In Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday, pages 43–58. In series: Lecture Notes in Computer Science #5070. Springer. ISBN: 978-3-642-04734-3. DOI: 10.1007/978-3-642-04735-0_2. |
|
| 2008 | ||
| [18] |
.
2008. The Leordo Computation System. In From Semantics to Computer Science: Essays in Honour of Gilles Kahn, pages 309–336. Cambridge University Press. ISBN: 9780521518253. DOI: 10.1017/CBO9780511770524.015. |
|
| [17] |
.
2008. Practical Pathfinding in Dynamic Environments. In AI Game Programming Wisdom 4. Charles River. ISBN: 978-1584505235. |
|
| 2007 | ||
| [16] |
.
2007. A Four-Valued Logic for Rough Set-Like Approximate Reasoning. In James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzymala-Busse, Ewa Orlowska and Lech Polkowski, editors, Transactions on Rough Sets VI Commemorating the Life and Work of Zdzislaw Pawlak, Part I. DOI: 10.1007/978-3-540-71200-8, pages 176–190. In series: Lecture Notes in Computer Science #4374/2007. Springer. ISBN: 3-540-71198-8, 978-3-540-71198-8. DOI: 10.1007/978-3-540-71200-8_11. |
|
| 2006 | ||
| [15] | |
.
2006. Coordination of actions in an autonomous robotic system. In Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello, pages 177–191. In series: Lecture Notes in Computer Science #4155. Springer. DOI: 10.1007/11829263_10. |
| 2005 | ||
| [14] |
.
2005. Game AI: The Shrinking Gap Between Computer Games and AI Systems. In G. Riva, F. Vatalaro, F. Davide, M. Alcañiz, editors, Ambient Intelligence: The evolution of technology, communication and cognition towards the future of human-computer interaction, pages 143–155. IOS Press. Link: http://www.neurovr.org/emerging/volume6.... |
|
| 2003 | ||
| [13] | |
.
2003. Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases. In Rough-Neural Computing: Techniques for Computing with Words, pages 219–250. In series: Cognitive Technologies #??. Springer. ISBN: 978-3-540-43059-9. |
| [12] | |
.
2003. Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge. In Rough-Neural Computing: Techniques for Computing with Words, pages 189–218. In series: Cognitive Technologies #??. Springer. |
| 2002 | ||
| [11] |
.
2002. Preferential Action Semantics. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 7: Agent-Based Defeasible Control in Dynamic Environments. In series: Handbook of Defeasible Reasoning and Uncertainty Management Systems #7. Kluwer. ISBN: 978-1-4020-0834-4. |
|
| 2001 | ||
| [10] |
.
2001. On a Static Approach to Verification of Integrity Constraints in Relational Databases. In Eva Orlowska, Andrzej Szalas, editors, Relational Methods for Computer Science Applications, pages 97–109. In series: Studies in Fuzziness and Soft Computing #65. Springer Physica-Verlag. ISBN: 3-7908-1365-6. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
|
| 1999 | ||
| [9] |
.
1999. A user oriented system for developing behavior based agents. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 173–186. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 978-3-540-66320-1, e-978-3-540-48422-6, 3-540-66320-7. DOI: 10.1007/3-540-48422-1_14. |
|
| [8] |
.
1999. How to make a challenging AI course enjoyable using the RoboCup soccer simulation system. In Minoru Asada and Hiroaki Kitano, editors, RoboCup-98: Robot Soccer World Cup II, pages 120–124. In series: Lecture Notes in Computer Science #1604. Springer Berlin/Heidelberg. ISBN: 3-540-66320-7. DOI: 10.1007/3-540-48422-1_9. |
|
| 1998 | ||
| [7] |
.
1998. A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In Ewa Orlowska, editor, Logic at work: essays dedicated to the memory of Helena Rasiowa, pages 307–328. In series: Studies in Fuzziness and Soft Computing #24. Physica Verlag. ISBN: 3-7908-1164-5. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=3... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=3-7908-... |
|
| 1996 | ||
| [6] |
.
1996. A study in modal embeddings of NML3. In Partiality, Modality, and Nonmonotonicity, Studies in Logic, Language and Information., pages 145–168. CSLI Publications. |
|
| 1995 | ||
| [5] |
.
1995. Temporal Logic: A Standard Approach. In Leonard Bolc, Andrzej Szalas, editors, Time And Logic: A Computational Approach, pages 1–50. UCL Press Ltd.. ISBN: 1-85728-233-7, 978-1857282337. Find book at a Swedish library/Hitta boken i ett svenskt bibliotek: http://libris.kb.se/hitlist?d=libris&q=1... Find book in another country/Hitta boken i ett annat land: http://www.worldcat.org/search?q=978-185... |
|
| 1994 | ||
| [4] |
.
1994. Circumscribing features and fluents. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings, pages 82–100. In series: Lecture Notes in Computer Science #827. Springer Berlin/Heidelberg. ISBN: 3-540-58241-X, 0-387-58241-X. DOI: 10.1007/BFb0013982. |
|
| 1993 | ||
| [3] |
.
1993. Nonmonotonicity, fuzziness, and multi-values. In Fuzzy Logic: State of the Art. Series D: System Theory, Knowledge Engineering and Problem Soving.. In series: Volume 12 #12. Kluwer Academic Publishers. |
|
| 1992 | ||
| [2] |
.
1992. Distinguishing between facts and default assumptions. In Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood Workshops.. Ellis Horwood Ltd.. |
|
| [1] |
.
1992. A non-monotonic fuzzy logic. In Fuzzy Logic for the Management of Uncertainty, pages 171–190. John Wiley & Sons. ISBN: 0-471-54799-9. |
|
