Journal of Logic and Computation,volume 22,issue 5  (10-2013)

Period of time： 2013年5期

Publisher： Oxford University Press

Founded in： 1990

Total resources： 4

ISSN： 1465-363X

Subject： TP Automation Technology , Computer Technology

Favorite

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,volume 22,issue 5

Menu

Special Issue on Argumentation in Agreement Technologies

By Modgil S.,Toni F. in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 953-956

Oxford University Press

Abstract Access to resources Recommend Favorite

A formal analysis of the role of argumentation in negotiation dialogues

By Amgoud Leila,Vesic Srdjan in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 957-978

Oxford University Press

Abstract Access to resources Recommend Favorite

Using argumentation to reason about trust and belief 1

By Tang Yuqing,Cai Kai,McBurney Peter,Sklar Elizabeth,Parsons Simon in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 979-1018

Oxford University Press

Abstract Access to resources Recommend Favorite

Revising option status in argument-based decision systems 1

By Amgoud Leila,Vesic Srdjan in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1019-1058

Oxford University Press

Abstract Access to resources Recommend Favorite

Temporal Logics of Repeating Values

By Demri Stphane,DSouza Deepak,Gascon Rgis in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1059-1096

Oxford University Press

Abstract Access to resources Recommend Favorite

Embedding-based approaches to paraconsistent and temporal description logics

By Kamide Norihiro in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1097-1124

Oxford University Press

Abstract Access to resources Recommend Favorite

Expressible preferential logics

By Ferreira Francicleber Martins,Martins Ana Teresa in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1125-1143

Oxford University Press

Abstract Access to resources Recommend Favorite

Complexity Classifications for Propositional Abduction in Post's Framework

By Creignou Nadia,Schmidt Johannes,Thomas Michael in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1145-1170

Oxford University Press

Abstract Access to resources Recommend Favorite

Cut Elimination and Realization for Epistemic Logics with Justification

By Ghari Meghdad in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1171-1198

Oxford University Press

Abstract Access to resources Recommend Favorite

Writing out Unifiers in Linear Temporal Logic

By Rybakov Vladimir V. in (2012)

Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp. 1199-1206

Oxford University Press

Abstract Access to resources Recommend Favorite

Previous 1 2 Next Display item(s) per page Total 12 item(s)