Publisher: Oxford University Press
Founded in: 1990
Total resources: 4
E-ISSN: 1465-363X
ISSN: 1465-363X
Subject: TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Logic and Computation
Menu
Dependency in Cooperative Boolean Games
By Sauro Luigi,Villata Serena in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
By Derakhshan Farnaz,Bench-Capon Trevor,McBurney Peter in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.THOMAS: An agent platform for supporting normative multi-agent systems
By Criado Natalia,Argente Estefania,Botti Vicente in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.Towards a model of UAVs navigation in urban canyon through defeasible logic
By Lam Ho-Pun,Governatori Guido in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.A logic for normative multi-agent programs
By Dastani Mehdi,Meyer John-Jules Ch.,Grossi Davide in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.Introduction to the special issue on NorMAS 2009
By Boella Guido,Noriega Pablo,Pigozzi Gabriella,Verhagen Harko in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.Situated normative infrastructures: the normative object approach
By Okuyama Fabio Yoshimitsu,Bordini Rafael H.,da Rocha Costa Antnio Carlos in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 2, 2013-04 , pp.On the existence of a modal-logical basis for monadic second-order logic
By Hella Lauri,Tulenheimo Tero in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 1, 2013-02 , pp.Generalized constraint diagrams and the classical decision problem
By Burton Jim,Stapleton Gem,Howse John in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 1, 2013-02 , pp.Prime implicates and relevant belief revision
By Van De Putte Frederik in (2013)
Journal of Logic and Computation , Vol. 23, Iss. 1, 2013-02 , pp.