Period of time： 2013年5期
Publisher： Oxford University Press
Founded in： 1990
Total resources： 4
ISSN： 1465-363X
Subject： TP Automation Technology , Computer Technology
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.
Access to resources
Recommend
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.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.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.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.Embedding-based approaches to paraconsistent and temporal description logics
Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp.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.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.Cut Elimination and Realization for Epistemic Logics with Justification
Journal of Logic and Computation,volume 22,issue 5 , Vol. 22, Iss. 5, 2012-10 , pp.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.
Previous
Next