Write in a clean editor, then format for Journal of Logic and Computation in one click — DocuGuru applies the official Oxford University Press template with author–year references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Journal of Logic and Computation is a peer-reviewed journal published by Oxford University Press, covering Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Logic, programming, and type systems.
| Publisher | Oxford University Press |
|---|---|
| Reference style | Author–year (OUP) Author–year — (Smith, 2023) in the text Smith, A., Jones, B. and Lee, C. (2023) 'A representative article title', Journal of Logic and Computation, 12(3), pp. 45–58.
Formats any DOI in the closest standard style — Journal of Logic and Computation has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Logic, Reasoning, and Knowledge Advanced Algebra and Logic Logic, programming, and type systems Semantic Web and Ontologies Multi-Agent Systems and Negotiation |
| ISSN | 0955-792X |
| Citation impact (2-yr) | 0.64 |
| h-index | 80 |
| i10-index | 738 |
| Total citations | 36,179 |
| Article processing charge | $4,151 |
| Top institutions publishing here | Centre National de la Recherche Scientifique |
| Journal website | logcom.oxfordjournals.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
In many cases of disagreement, particularly in situations involving practical reasoning, it is impossible to demonstrate conclusively that either party is wrong. The role of argument in such cases is to persuade rather than to prove, demonstrate or refute. Following Perelman, we argue that persuasion in such cases relies on a recognition that the strength…
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a solution to these problems by giving the agents the means to resolve their conflicting objectives, correct inconsistencies in their knowledge of other agents' world views, and coordinate a…
The deep symmetry of linear logic [18] makes it suitable for providing abstract models of computation, free from implementation details which are, by nature, oriented and non-symmetrical. I propose here one such model, in the area of logic programming, where the basic computational priciple is Computation = Proof search Proofs cinsidered here are those of…
We present a modal logic for reasoning about what groups of agents can bring about by collective action. Given a set of states, we introduce game frames which associate with every state a strategic game among the agents. Game frames are essentially extensive games of perfect information with simultaneous actions, where every action profile is…
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in…
