⌘+K

Pulse Explore Communities Researchers Journals

Home Communities Explore

December 1, 1996Journal of Logic and Computation

Logic programming with signs and annotations

View at Publisher

Ask AI

Bookmark

Share

Abstract

Journal Article Logic Programming with Signs and Annotations Get access JAMES J. LU JAMES J. LU Department of Computer Science, Bucknell UniversityLewisburg, PA 17837, USA. E-mail: jameslu@bucknell.edu Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 6, Issue 6, December 1996, Pages 755–778, https://doi.org/10.1093/logcom/6.6.755 Published: 01 December 1996 Article history Received: 15 June 1995 Published: 01 December 1996

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

James J. Lu (1996) studied this question.

synapsesocial.com/papers/6a07a194b2d9a7d54307adfd https://doi.org/10.1093/logcom/6.6.755

View at Publisher

Ask AI

Bookmark

Share

Keep reading

Synapse has enriched 5 related papers. Consider them for comparative context:

1An expressive model for the specification and analysis of obligationsJournal of Logic and Computation · Fri,
2Applications of discrete-time interval-based temporal separationJournal of Logic and Computation · Fri,
3Recovery operators in quasi-Nelson logic: the prelinear caseJournal of Logic and Computation · Fri,
4Complexity in infinite argumentation with structural constraintsJournal of Logic and Computation · Thu,
5An argument-based model for public interest communicationJournal of Logic and Computation · Thu,

More from Journal of Logic and Computation

Totality, determinism and functionality problems in (incomplete) abstract argumentation frameworksWed,
Terminating hybrid tableaus for ordered modelsWed,
Stable canonical rules and formulas for pre-transitive logics via definable filtrationWed,
Nodes of pseudo-hoopsTue,
Limited-knowledge propositional announcement synthesis under Dalal revision: tight PH bounds, parameterized tractability and kernelizationThu,