History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 300 total

Logics for security and privacy. (English)
Cuppens-Boulahia, Nora (ed.) et al., Data and applications security and privacy XXVI. 26th annual IFIP WG 11.3 conference, DBSec 2012, Paris, France, July 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31539-8/pbk). Lecture Notes in Computer Science 7371, 1-7 (2012).
WorldCat.org
1
Discussion paper: changing norms is changing obligation change. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 199-214 (2012).
WorldCat.org
2
Visualizing normative systems: an abstract approach. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012).
WorldCat.org
3
Ten problems of deontic logic and normative reasoning in computer science. (English)
Bezhanishvili, Nick (ed.) et al., Lectures on logic and computation. ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011. Selected lecture notes. Berlin: Springer (ISBN 978-3-642-31484-1/pbk). Lecture Notes in Computer Science 7388, 55-88 (2012).
WorldCat.org
4
Beyond maxi-consistent argumentation operators. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 424-436 (2012).
WorldCat.org
5
Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). x, 213~p. EUR~49.22 (2012).
WorldCat.org
6
Conditional labelling for abstract argumentation. (English)
Modgil, Sanjay (ed.) et al., Theory and applications of formal argumentation. First international workshop, TAFA 2011. Barcelona, Spain, July 16‒17, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29183-8/pbk). Lecture Notes in Computer Science 7132. Lecture Notes in Artificial Intelligence, 232-248 (2012).
WorldCat.org
7
Multi-sorted argumentation. (English)
Modgil, Sanjay (ed.) et al., Theory and applications of formal argumentation. First international workshop, TAFA 2011. Barcelona, Spain, July 16‒17, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29183-8/pbk). Lecture Notes in Computer Science 7132. Lecture Notes in Artificial Intelligence, 215-231 (2012).
WorldCat.org
8
Contrary-to-duties in games. (English)
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 329-348 (2012).
WorldCat.org
9
Time and defeasibility in FIPA ACL semantics. (English)
J. Appl. Log. 9, No. 4, 274-288 (2011).
WorldCat.org
10
Rules, agents and norms: guidelines for rule-based normative multi-agent systems. (English)
Bassiliades, Nick (ed.) et al., Rule-based reasoning, programming, and applications. 5th international symposium, RuleML 2011 ‒ Europe, Barcelona, Spain, July 19‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22545-1/pbk). Lecture Notes in Computer Science 6826, 52-66 (2011).
WorldCat.org
11
Argumentative agents negotiating on potential attacks. (English)
O’Shea, James (ed.) et al., Agent and multi-agent systems: technologies and applications. 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21999-3/pbk). Lecture Notes in Computer Science 6682. Lecture Notes in Artificial Intelligence, 280-290 (2011).
WorldCat.org
12
Group intention is social choice with commitment. (English)
De Vos, Marina (ed.) et al., Coordination, organizations, institutions, and norms in agent systems VI. COIN 2010 international workshops, COIN\@AAMAS 2010, Toronto, Canada, May 2010, COIN\@MALLOW 2010, Lyon, France, August 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21267-3/pbk). Lecture Notes in Computer Science 6541. Lecture Notes in Artificial Intelligence, 152-171 (2011).
WorldCat.org
13
Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17‒18, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). xv, 383~p. EUR~57.78 (2011).
WorldCat.org
14
Dynamics in delegation and revocation schemes: A logical approach. (English)
Li, Yingjiu (ed.), Data and applications security and privacy XXV. 25th annual IFIP WG 11.3 conference, DBSec 2011, Richmond, VA, USA, July 11‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22347-1/pbk). Lecture Notes in Computer Science 6818, 90-105 (2011).
WorldCat.org
15
Arguing about the trustworthiness of the information sources. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 74-85 (2011).
WorldCat.org
16
Special issue: Selected and revised papers from the 9th international conference on deontic logic in computer science, DEON 2008, Luxembourg, July 15‒18, 2008. (English)
J. Appl. Log. 9, No. 2, 81-170 (2011).
WorldCat.org
17
Modal access control logic. Axiomatization, semantics and FOL theorem proving. (English)
Ågotnes, Thomas (ed.), STAIRS 2010. Proceedings of the fifth starting AI researchers’ symposium, Lisbon, Portugal, August 16‒20, 2010. Amsterdam: IOS Press (ISBN 978-1-60750-675-1/hbk; 978-1-60750-676-8/ebook). Frontiers in Artificial Intelligence and Applications 222, 114-126 (2011).
WorldCat.org
18
Attack semantics for abstract argumentation (English)
IJCAI, 406-413 (2011).
WorldCat.org
19
Arguing about the trustworthiness of the information sources (English)
ECSQARU, 74-85 (2011).
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 300 total

Valid XHTML 1.0 Transitional Valid CSS!